05590nam 22008055 450 991048321650332120251226195746.01-280-94423-497866109442313-540-73031-110.1007/978-3-540-73031-6(CKB)1000000000490919(EBL)3061585(SSID)ssj0000308171(PQKBManifestationID)11274962(PQKBTitleCode)TC0000308171(PQKBWorkID)10251036(PQKB)10841488(DE-He213)978-3-540-73031-6(MiAaPQ)EBC3061585(MiAaPQ)EBC6705946(Au-PeEL)EBL6705946(PPN)12372791X(BIP)46133745(BIP)14226287(EXLCZ)99100000000049091920100301d2007 u| 0engur|n|---|||||txtccrRequirements Engineering: Foundation for Software Quality 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007, Proceedings /edited by Pete Sawyer, Barbara Paech, Patrick Heymans1st ed. 2007.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2007.1 online resource (390 p.)Programming and Software Engineering,2945-9168 ;4542Description based upon print version of record.3-540-73030-3 Includes bibliographical references and index.REFSQ 2007 International Working Conference on Requirements Engineering: Foundation for Software Quality -- Comparing Goal Modelling Languages: An Experiment -- Automatically Generating Requirements from i* Models: Experiences with a Complex Airport Operations System -- Structuring the Co-design of Requirements and Architecture -- A Template for Requirement Elicitation of Dependable Product Lines -- A Flexible Requirements Analysis Approach for Software Product Lines -- Integrated Requirement Selection and Scheduling for the Release Planning of a Software Product -- A Value-Based Approach in Requirements Engineering: Explaining Some of the Fundamental Concepts -- Value-Based Requirements Engineering for Value Webs -- A Quantitative Assessment of Requirements Engineering Publications – 1963–2006 -- Handshaking Between Software Projects and Stakeholders Using Implementation Proposals -- Generating Fast Feedback in Requirements Elicitation -- Informing the Specification of a Large-Scale Socio-technical System with Models of Human Activity -- Integration Use Cases – An Applied UML Technique for Modeling Functional Requirements in Service Oriented Architecture -- Optimal-Constraint Lexicons for Requirements Specifications -- Integrating All Stages of Information Systems Development by Means of Natural Language Processing -- Information Flow Between Requirement Artifacts. Results of an Empirical Study -- Imperfect Requirements in Software Development -- Towards a Tomographic Framework for Structured Observation of Communicative Behaviour in Hospital Wards -- A Quality Performance Model for Cost-Benefit Analysis of Non-functional Requirements Applied to the Mobile Handset Domain -- Security Requirements for Civil Aviation with UML and Goal Orientation -- Challenges for RequirementsEngineering and Management in Software Product Line Development -- ElicitO: A Quality Ontology-Guided NFR Elicitation Tool -- Exploring the Characteristics of NFR Methods – A Dialogue About Two Approaches -- Defining Reference Models for Modelling Qualities: How Requirements Engineering Techniques Can Help -- Integrating an Improvement Model of Handling Capacity Requirements with the OpenUP/Basic Process -- Mal-Activity Diagrams for Capturing Attacks on Business Processes -- Towards Feature-Oriented Specification and Development with Event-B.This critical history explores the concept of the multi-generational interstellar space voyage in science fiction between 1934, the year of its appearance, into the 21st century. It defines and analyzes what became known as the "generation starship" idea and examines the science and technology behind it, also charting the ways in which generation starships manifest themselves in various sf scenarios. It then traces the history of the generation starship as a reflection of the political, historical, and cultural context of science fiction's development.Programming and Software Engineering,2945-9168 ;4542Software engineeringComputer scienceElectronic data processingManagementBusiness information servicesSoftware EngineeringComputer Science Logic and Foundations of ProgrammingIT OperationsIT in BusinessSoftware engineering.Computer science.Electronic data processingManagement.Business information services.Software Engineering.Computer Science Logic and Foundations of Programming.IT Operations.IT in Business.005.1Paech BarbaraSawyer Pete(Pete H.),1958-Heymans PatrickMiAaPQMiAaPQMiAaPQBOOK9910483216503321Requirements Engineering2143744UNINA