Skip header Section
Skip Bibliometrics Section
Requirements Engineering: From System Goals to UML Models to Software SpecificationsFebruary 2009
- Author:
- Axel van Lamsweerde
Skip Abstract Section
Abstract
Essential comprehensive coverage of the fundamentals of requirements engineering Requirements engineering (RE) deals with the variety of prerequisites that must be met by a software system within an organization in order for that system to produce stellar results. With that explanation in mind, this must-have book presents a disciplined approach to the engineering of high-quality requirements. Serving as a helpful introduction to the fundamental concepts and principles of requirements engineering, this guide offers a comprehensive review of the aim, scope, and role of requirements engineering as well as best practices and flaws to avoid. Shares state-of-the-art techniques for domain analysis, requirements elicitation, risk analysis, conflict management, and more Features in-depth treatment of system modeling in the specific context of engineering requirements Presents various forms of reasoning about models for requirements quality assurance Discusses the transitions from requirements to software specifications to software architecture In addition, case studies are included that complement the many examples provided in the book in order to show you how the described method and techniques are applied in practical situations.
Cited By
Feng N, Marsso L, Getir Yaman S, Baatartogtokh Y, Ayad R, De Mello V, Townsend B, Standen I, Stefanakos I, Imrie C, Rodrigues G, Cavalcanti A, Calinescu R and Chechik M Analyzing and Debugging Normative Requirements via Satisfiability Checking Proceedings of the IEEE/ACM 46th International Conference on Software Engineering, (1-12)- Carvalho L, Degiovanni R, Cordy M, Aguirre N, Le Traon Y and Papadakis M SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions Proceedings of the IEEE/ACM 46th International Conference on Software Engineering, (1-13)
- Shen Y and Breaux T (2024). Stakeholder Preference Extraction From Scenarios, IEEE Transactions on Software Engineering, 50:1, (69-84), Online publication date: 1-Jan-2024.
- Blouin D, Crisafulli P, Maxim C and Caron F (2023). An Introduction to ALISA and Its Usage for an Industrial Railway System Case Study, ACM SIGAda Ada Letters, 43:1, (69-72), Online publication date: 30-Oct-2023.
- Brizzio M, Cordy M, Papadakis M, Sánchez C, Aguirre N and Degiovanni R Automated Repair of Unrealisable LTL Specifications Guided by Model Counting Proceedings of the Genetic and Evolutionary Computation Conference, (1499-1507)
- Ezzini S, Abualhaija S, Arora C and Sabetzadeh M AI-Based Question Answering Assistance for Analyzing Natural-Language Requirements Proceedings of the 45th International Conference on Software Engineering, (1277-1289)
- Zhang C, Saluja T, Meira-Góes R, Bolton M, Garlan D and Kang E Robustification of Behavioral Designs against Environmental Deviations Proceedings of the 45th International Conference on Software Engineering, (423-434)
- Shalom R and Maoz S Which of My Assumptions are Unnecessary for Realizability and Why Should I Care? Proceedings of the 45th International Conference on Software Engineering, (221-232)
- Hohm J, Heinemann A and Wiesmaier A Towards a Maturity Model for Crypto-Agility Assessment Foundations and Practice of Security, (104-119)
- Peng Z, Rathod P, Niu N, Bhowmik T, Liu H, Shi L and Jin Z (2022). Testing software’s changing features with environment-driven abstraction identification, Requirements Engineering, 27:4, (405-427), Online publication date: 1-Dec-2022.
- Ebrahimi F and Mahmoud A Unsupervised Summarization of Privacy Concerns in Mobile Application Reviews Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, (1-12)
- Keegan M, Braberman V, D'Ippolito N, Piterman N and Uchitel S (2022). Control and Discovery of Environment Behaviour, IEEE Transactions on Software Engineering, 48:6, (1965-1978), Online publication date: 1-Jun-2022.
- Fredericks E, DeVries B and Moore J Towards self-adaptive game logic Proceedings of the 6th International ICSE Workshop on Games and Software Engineering: Engineering Fun, Inspiration, and Motivation, (24-29)
- Oni O and Letier E (2021). Analyzing Uncertainty in Release Planning: A Method and Experiment for Fixed-Date Release Cycles, ACM Transactions on Software Engineering and Methodology, 31:2, (1-39), Online publication date: 30-Apr-2022.
- Dąbrowski J, Letier E, Perini A and Susi A (2022). Analysing app reviews for software engineering: a systematic literature review, Empirical Software Engineering, 27:2, Online publication date: 1-Mar-2022.
- Amaral G, Guizzardi R, Guizzardi G and Mylopoulos J Trustworthiness Requirements: The Pix Case Study Conceptual Modeling, (257-267)
- Kherissi F (2021). VORDi*, International Journal of Information System Modeling and Design, 12:4, (1-20), Online publication date: 1-Oct-2021.
- Grubb A and Chechik M (2021). Formal reasoning for analyzing goal models that evolve over time, Requirements Engineering, 26:3, (423-457), Online publication date: 1-Sep-2021.
- Daun M, Brings J, Krajinski L, Stenkova V and Bandyszak T (2021). A GRL-compliant iStar extension for collaborative cyber-physical systems, Requirements Engineering, 26:3, (325-370), Online publication date: 1-Sep-2021.
- Mendil I, Aït-Ameur Y, Singh N, Méry D and Palanque P Standard Conformance-by-Construction with Event-B Formal Methods for Industrial Critical Systems, (126-146)
- Gleirscher M, Foster S and Woodcock J (2019). New Opportunities for Integrated Formal Methods, ACM Computing Surveys, 52:6, (1-36), Online publication date: 30-Nov-2020.
- Faily S, Iacob C, Ali R and Ki-Aries D Identifying Implicit Vulnerabilities Through Personas as Goal Models Computer Security, (185-202)
- Alrajeh D, Cailliau A and van Lamsweerde A Adapting requirements models to varying environments Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering, (50-61)
- Dalpiaz F and Sturm A Conceptualizing Requirements Using User Stories and Use Cases: A Controlled Experiment Requirements Engineering: Foundation for Software Quality, (221-238)
- Sutcliffe A, Sawyer P, Stringer G, Couth S, Brown L, Gledson A, Bull C, Rayson P, Keane J, Zeng X and Leroi I (2018). Known and unknown requirements in healthcare, Requirements Engineering, 25:1, (1-20), Online publication date: 1-Mar-2020.
- Kaiya H, Muto R, Nagano K and Yoshida M Mutual requirements evolution by combining different information systems Proceedings of the 23rd Pan-Hellenic Conference on Informatics, (159-162)
- Tueno Fotso S, Laleau R, Frappier M, Mammar A, Thibodeau F and Nsangou Mouchili M Assessment of a Formal Requirements Modeling Approach on a Transportation System Formal Methods and Software Engineering, (470-486)
- Ponsard C, Darimont R and Touzani M Robust Design of a Collaborative Platform for Model-Based System Engineering: Experience from an Industrial Deployment Model and Data Engineering, (333-347)
- Rudolph S, Tomforde S and Hähner J (2019). Mutual Influence-aware Runtime Learning of Self-adaptation Behavior, ACM Transactions on Autonomous and Adaptive Systems, 14:1, (1-37), Online publication date: 18-Sep-2019.
- Nassour J, Elhadad M, Sturm A and Yu E (2019). Evaluating the comprehension of means-ends maps, Software and Systems Modeling (SoSyM), 18:3, (1885-1903), Online publication date: 1-Jun-2019.
- Lutz J, Lutz N, Lutz R and Riley M Robustness and games against nature in molecular programming Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, (65-68)
- Bennaceur A, Zisman A, McCormick C, Barthaud D and Nuseibeh B Won't take no for an answer Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, (77-88)
- Ellis S, Klinge T, Lathrop J, Lutz J, Lutz R, Miner A and Potter H (2019). Runtime Fault Detection in Programmed Molecular Systems, ACM Transactions on Software Engineering and Methodology, 28:2, (1-20), Online publication date: 30-Apr-2019.
- Daun M, Stenkova V, Krajinski L, Brings J, Bandyszak T and Weyer T Goal modeling for collaborative groups of cyber-physical systems with GRL Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, (1600-1609)
- Degiovanni R, Molina F, Regis G and Aguirre N A genetic algorithm for goal-conflict identification Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, (520-531)
- Bennaceur A, Tun T, Bandara A, Yu Y and Nuseibeh B (2018). Feature-Driven Mediator Synthesis, ACM Transactions on Cyber-Physical Systems, 2:3, (1-25), Online publication date: 31-Jul-2018.
- Duffau C, Polacsek T and Blay-Fornarino M Support of Justification Elicitation: Two Industrial Reports Advanced Information Systems Engineering, (71-86)
- Tenbergen B, Weyer T and Pohl K (2018). Hazard Relation Diagrams, Requirements Engineering, 23:2, (291-329), Online publication date: 1-Jun-2018.
- Fredericks E An empirical analysis of the mutation operator for run-time adaptive testing in self-adaptive systems Proceedings of the 11th International Workshop on Search-Based Software Testing, (59-66)
- DeVries B and Cheng B Run-time monitoring of self-adaptive systems to detect N-way feature interactions and their causes Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems, (94-100)
- Ponsard C, De Landtsheer R and Germeau F Building sustainable software for sustainable systems Proceedings of the 6th International Workshop on Green and Sustainable Software, (31-34)
- Degiovanni R, Castro P, Arroyo M, Ruiz M, Aguirre N and Frias M Goal-conflict likelihood assessment based on model counting Proceedings of the 40th International Conference on Software Engineering, (1125-1135)
- Gastel P, Gastel B and Eekelen M Detecting energy bugs and hotspots in control software using model checking Companion Proceedings of the 2nd International Conference on the Art, Science, and Engineering of Programming, (93-98)
- Silva E and Batista T Formal modeling systems-of-systems missions with mKAOS Proceedings of the 33rd Annual ACM Symposium on Applied Computing, (1674-1679)
- Jayatilleke S and Lai R (2018). A systematic review of requirements change management, Information and Software Technology, 93:C, (163-185), Online publication date: 1-Jan-2018.
- Rahimi M, Xiong W, Cleland-Huang J and Lutz R Diagnosing assumption problems in safety-critical products Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, (473-484)
- Sutcliffe A Conflict, Costs and Trade-Offs in User Interface Design Global Thoughts, Local Designs, (71-82)
- Famelis M, Rubin J, Czarnecki K, Salay R and Chechik M Software product lines with design choices Proceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, (93-100)
- Kaiya H and Haga K (2017). A CASE tool for Goal Dependency Model with Attributes based on An Existing UML Editor, Procedia Computer Science, 112:C, (1196-1205), Online publication date: 1-Sep-2017.
- Bulusu S, Laborde R, Wazan A, Barrère F and Benzekri A Which Security Requirements Engineering Methodology Should I Choose? Proceedings of the 12th International Conference on Availability, Reliability and Security, (1-6)
- Regis G, Cornejo C, Gutiérrez Brida S, Politano M, Raverta F, Ponzio P, Aguirre N, Galeotti J and Frias M DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, (969-973)
- Abdellaoui S, Nader F and Chalal R (2017). QDflows, Journal of Data and Information Quality, 8:3-4, (1-39), Online publication date: 17-Jul-2017.
- da Silva A Linguistic Patterns and Linguistic Styles for Requirements Specification (I) Proceedings of the 22nd European Conference on Pattern Languages of Programs, (1-27)
- Zagouras P, Kalloniatis C and Gritzalis S Managing User Experience: Usability and Security in a New Era of Software Supremacy Human Aspects of Information Security, Privacy and Trust, (174-188)
- Pitangueira A, Tonella P, Susi A, Maciel R and Barros M (2017). Minimizing the stakeholder dissatisfaction risk in requirement selection for next release planning, Information and Software Technology, 87:C, (104-118), Online publication date: 1-Jul-2017.
- Meyer O, Wessling F and Klüver C Finding optimized configurations for variability-intensive systems without constraint violations using a Regulatory Algorithm (RGA) 2017 IEEE Congress on Evolutionary Computation (CEC), (1908-1915)
- Ellis-Braithwaite R, Lock R, Dawson R and King T (2017). Repetition between stakeholder (user) and system requirements, Requirements Engineering, 22:2, (167-190), Online publication date: 1-Jun-2017.
- Zhang H, Yue T, Ali S, Wu J and Liu C A restricted natural language based use case modeling methodology for real-time systems Proceedings of the 9th International Workshop on Modelling in Software Engineering, (5-11)
- Cailliau A and van Lamsweerde A Runtime monitoring and resolution of probabilistic obstacles to system goals Proceedings of the 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, (1-11)
- Busari S and Letier E RADAR Proceedings of the 39th International Conference on Software Engineering, (552-562)
- Abushark Y, Miller T, Thangarajah J, Winikoff M and Harland J (2017). Requirements specification via activity diagrams for agent-based systems, Autonomous Agents and Multi-Agent Systems, 31:3, (423-468), Online publication date: 1-May-2017.
- Bjørner D (2017). Manifest domains: analysis and description, Formal Aspects of Computing, 29:2, (175-225), Online publication date: 1-Mar-2017.
- Spagnuelo D and Lenzini G (2017). Transparent Medical Data Systems, Journal of Medical Systems, 41:1, (1-12), Online publication date: 1-Jan-2017.
- Gerostathopoulos I, Bures T, Hnetynka P, Keznikl J, Kit M, Plasil F and Plouzeau N (2016). Self-adaptation in software-intensive cyber-physical systems, Journal of Systems and Software, 122:C, (378-397), Online publication date: 1-Dec-2016.
- Pasquale L, Spoletini P, Salehie M, Cavallaro L and Nuseibeh B (2016). Automating trade-off analysis of security requirements, Requirements Engineering, 21:4, (481-504), Online publication date: 1-Nov-2016.
- DeVries B and Cheng B Automatic detection of incomplete requirements via symbolic analysis Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, (385-395)
- Kaiya H (2016). Modelling Goal Dependencies and Domain Model Together, Procedia Computer Science, 96:C, (791-800), Online publication date: 1-Oct-2016.
- Aziz B (2016). Modelling Fine-Grained Access Control Policies in Grids, Journal of Grid Computing, 14:3, (477-493), Online publication date: 1-Sep-2016.
- Ferrari A, Spoletini P and Gnesi S (2016). Ambiguity and tacit knowledge in requirements elicitation interviews, Requirements Engineering, 21:3, (333-355), Online publication date: 1-Sep-2016.
- Degiovanni R, Ricci N, Alrajeh D, Castro P and Aguirre N Goal-conflict detection based on temporal satisfiability checking Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, (507-518)
- Ramachandran M (2016). Software security requirements management as an emerging cloud computing service, International Journal of Information Management: The Journal for Information Professionals, 36:4, (580-590), Online publication date: 1-Aug-2016.
- Faily S, Lykou G, Partridge A, Gritzalis D, Mylonas A and Katos V Human-centered specification exemplars for critical infrastructure environments Proceedings of the 30th International BCS Human Computer Interaction Conference: Companion Volume, (1-3)
- Tehrani S, Zschaler S and Lano K Requirements Engineering in Model-Transformation Development Proceedings of the 9th International Conference on Theory and Practice of Model Transformations - Volume 9765, (123-137)
- Yue T, Zhang H, Ali S and Liu C A Practical Use Case Modeling Approach to Specify Crosscutting Concerns Proceedings of the 15th International Conference on Software Reuse: Bridging with Social-Awareness - Volume 9679, (89-105)
- Faily S and Fléchais I (2016). Finding and resolving security misusability with misusability cases, Requirements Engineering, 21:2, (209-223), Online publication date: 1-Jun-2016.
- Fredericks E Automatically hardening a self-adaptive system against uncertainty Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, (16-27)
- Alrajeh D, Russo A, Uchitel S and Kramer J Logic-based learning in software engineering Proceedings of the 38th International Conference on Software Engineering Companion, (892-893)
- Lutz R and Lutz J Software engineering for molecular programming Proceedings of the 38th International Conference on Software Engineering Companion, (888-889)
- Alrajeh D, van Lamsweerde A, Kramer J, Russo A and Uchitel S Risk-driven revision of requirements models Proceedings of the 38th International Conference on Software Engineering, (855-865)
- Chopra A and Singh M From Social Machines to Social Protocols Proceedings of the 25th International Conference on World Wide Web, (903-914)
- Vierhauser M, Rabiser R, Grünbacher P and Egyed A Developing a DSL-based approach for event-based monitoring of systems of systems Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, (715-725)
- Alkhammash E, Butler M, Fathabadi A and Cîrstea C (2015). Building traceable Event-B models from requirements, Science of Computer Programming, 111:P2, (318-338), Online publication date: 1-Nov-2015.
- Jackson D Towards a theory of conceptual design for software 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!), (282-296)
- Duran M, Mussbacher G, Thimmegowda N and Kienzle J On the Reuse of Goal Models Proceedings of the 17th International SDL Forum on SDL 2015: Model-Driven Engineering for Smart Cities - Volume 9369, (141-158)
- Kolp M and Wautelet Y (2015). Human organizational patterns applied to collaborative learning software systems, Computers in Human Behavior, 51:PB, (742-751), Online publication date: 1-Oct-2015.
- Lago P, Koçak S, Crnkovic I and Penzenstadler B (2015). Framing sustainability as a property of software quality, Communications of the ACM, 58:10, (70-78), Online publication date: 28-Sep-2015.
- Ahmad M, Belloir N and Bruel J (2015). Modeling and verification of Functional and Non-Functional Requirements of ambient Self-Adaptive Systems, Journal of Systems and Software, 107:C, (50-70), Online publication date: 1-Sep-2015.
- Klarl A From Helena Ensemble Specifications to Promela Verification Models Proceedings of the 22nd International Symposium on Model Checking Software - Volume 9232, (39-45)
- Horkoff J, Maiden N and Lockerbie J Creativity and Goal Modeling for Software Requirements Engineering Proceedings of the 2015 ACM SIGCHI Conference on Creativity and Cognition, (165-168)
- Van Landuyt D and Joosen W On the role of early architectural assumptions in quality attribute scenarios Proceedings of the Fifth International Workshop on Twin Peaks of Requirements and Architecture, (9-15)
- Fredericks E and Cheng B Automated generation of adaptive test plans for self-adaptive systems Proceedings of the 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, (157-168)
- Fredericks E and Cheng B An empirical analysis of providing assurance for self-adaptive systems at different levels of abstraction in the face of uncertainty Proceedings of the Eighth International Workshop on Search-Based Software Testing, (8-14)
- Beidu S, Atlee J and Shaker P Incremental and commutative composition of state-machine models of features Proceedings of the Seventh International Workshop on Modeling in Software Engineering, (13-18)
- Tun T, Lutz R, Nakayama B, Yu Y, Mathur D and Nuseibeh B The role of environmental assumptions in failures of DNA nanosystems Proceedings of the First International Workshop on Complex faUlts and Failures in LargE Software Systems, (27-33)
- Madhavji N, Miranskyy A and Kontogiannis K Big picture of big data software engineering Proceedings of the First International Workshop on BIG Data Software Engineering, (11-14)
- van den Berghe A Towards a practical security analysis methodology Proceedings of the 37th International Conference on Software Engineering - Volume 2, (883-886)
- Yue T, Briand L and Labiche Y (2015). aToucan, ACM Transactions on Software Engineering and Methodology, 24:3, (1-52), Online publication date: 13-May-2015.
- Beckers K, paluno M, Moyano F and Fernandez-Gago C Engineering trust- and reputation-based security controls for future internet systems Proceedings of the 30th Annual ACM Symposium on Applied Computing, (1344-1349)
- Morales J, Navarro E, Sánchez P and Alonso D TRiStar Proceedings of the 30th Annual ACM Symposium on Applied Computing, (283-288)
- Alrajeh D, Kramer J, Russo A and Uchitel S (2015). Automated support for diagnosis and repair, Communications of the ACM, 58:2, (65-72), Online publication date: 28-Jan-2015.
- Nasr S, Sannier N, Acher M and Baudry B Moving toward product line engineering in a nuclear industry consortium Proceedings of the 18th International Software Product Line Conference - Volume 1, (294-303)
- Baresi L Self-adaptive systems, services, and product lines Proceedings of the 18th International Software Product Line Conference - Volume 1, (2-4)
- Ellis S, Henderson E, Klinge T, Lathrop J, Lutz J, Lutz R, Mathur D and Miner A Automated requirements analysis for a molecular watchdog timer Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering, (767-778)
- Belloir N, Chiprianov V, Ahmad M, Munier M, Gallon L and Bruel J Using Relax Operators into an MDE Security Requirement Elicitation Process for Systems of Systems Proceedings of the 2014 European Conference on Software Architecture Workshops, (1-4)
- Alebrahim A and Heisel M Problem-oriented security patterns for requirements engineering Proceedings of the 19th European Conference on Pattern Languages of Programs, (1-17)
- Harbers M and Neerincx M Value Sensitive Design of Automated Workload Distribution Support for Traffic Control Teams 11th International Conference on Engineering Psychology and Cognitive Ergonomics - Volume 8532, (12-21)
- Femmer H, Fernández D, Juergens E, Klose M, Zimmer I and Zimmer J Rapid requirements checks with requirements smells: two case studies Proceedings of the 1st International Workshop on Rapid Continuous Software Engineering, (10-19)
- Fredericks E, DeVries B and Cheng B Towards run-time adaptation of test cases for self-adaptive systems in the face of uncertainty Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, (17-26)
- Raturi A, Penzenstadler B, Tomlinson B and Richardson D Developing a sustainability non-functional requirements framework Proceedings of the 3rd International Workshop on Green and Sustainable Software, (1-8)
- Letier E, Stefan D and Barr E Uncertainty, risk, and information value in software requirements and architecture Proceedings of the 36th International Conference on Software Engineering, (883-894)
- Chawla S, Srivastava S and Bedi P (2014). Evaluation of web-specific goal oriented requirements language models with quantitative reasoning, ACM SIGSOFT Software Engineering Notes, 39:2, (1-9), Online publication date: 29-Mar-2014.
- Horita H, Honda K, Sei Y, Nakagawa H, Tahara Y and Ohsuga A Transformation approach from KAOS goal models to BPMN models using refinement patterns Proceedings of the 29th Annual ACM Symposium on Applied Computing, (1023-1024)
- Zardari S, Bahsoon R and Ekárt A Cloud adoption Proceedings of the 29th Annual ACM Symposium on Applied Computing, (1013-1020)
- Banach R, Zhu H, Su W and Huang R (2012). Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application, Formal Aspects of Computing, 26:2, (319-366), Online publication date: 1-Mar-2014.
- Briand L, Falessi D, Nejati S, Sabetzadeh M and Yue T (2014). Traceability and SysML design slices to support safety inspections, ACM Transactions on Software Engineering and Methodology, 23:1, (1-43), Online publication date: 1-Feb-2014.
- Veerappa V and Harrison R Assessing the maturity of requirements through argumentation Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering, (670-675)
- Uchitel S, Alrajeh D, Ben-David S, Braberman V, Chechik M, Caso G, D'ippolito N, Fischbein D, Garbervetsky D, Kramer J, Russo A and Sibay G (2013). Supporting incremental behaviour model elaboration, Computer Science - Research and Development, 28:4, (279-293), Online publication date: 1-Nov-2013.
- Souza V, Lapouchnian A, Angelopoulos K and Mylopoulos J (2013). Requirements-driven software evolution, Computer Science - Research and Development, 28:4, (311-329), Online publication date: 1-Nov-2013.
- Famelis M, Salay R, Sandro A and Chechik M Transformation of Models Containing Uncertainty Proceedings of the 16th International Conference on Model-Driven Engineering Languages and Systems - Volume 8107, (673-689)
- Klimek R From Extraction of Logical Specifications to Deduction-Based Formal Verification of Requirements Models Proceedings of the 11th International Conference on Software Engineering and Formal Methods - Volume 8137, (61-75)
- Inverardi P, Autili M, Di Ruscio D, Pelliccione P and Tivoli M Producing software by integration: challenges and research directions (keynote) Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, (2-12)
- Espada P, Goulão M and Araújo J A framework to evaluate complexity and completeness of KAOS goal models Proceedings of the 25th international conference on Advanced Information Systems Engineering, (562-577)
- Sutcliffe A and Sawyer P Modeling personalized adaptive systems Proceedings of the 25th international conference on Advanced Information Systems Engineering, (178-192)
- Damas C, Lambeau B and van Lamsweerde A Transformation operators for easier engineering of medical process models Proceedings of the 5th International Workshop on Software Engineering in Health Care, (39-45)
- Cheng B, Ramirez A and McKinley P Harnessing evolutionary computation to enable dynamically adaptive systems to manage uncertainty Proceedings of the 1st International Workshop on Combining Modelling and Search-Based Software Engineering, (1-6)
- Oster Z Reasoning with qualitative preferences to develop optimal component-based systems Proceedings of the 2013 International Conference on Software Engineering, (1456-1458)
- Letier E and Heaven W Requirements modelling by synthesis of deontic input-output automata Proceedings of the 2013 International Conference on Software Engineering, (592-601)
- Hashmi S, Ishikawa F and Richardson I A communication process for global requirements engineering Proceedings of the 2013 International Conference on Software and System Process, (136-140)
- Salay R, Gorzny J and Chechik M Change propagation due to uncertainty change Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering, (21-36)
- D'ippolito N, Braberman V, Piterman N and Uchitel S (2013). Synthesizing nonanomalous event-based controllers for liveness goals, ACM Transactions on Software Engineering and Methodology, 22:1, (1-36), Online publication date: 1-Feb-2013.
- Shofi I and Budiardjo E Addressing OWL ontology for goal consistency checking Proceedings of the 14th International Conference on Information Integration and Web-based Applications & Services, (336-341)
- Pasquale L, Menghi C, Salehie M, Cavallaro L, Omoronyia I and Nuseibeh B SecuriTAS Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, (1-4)
- Cimatti A, Roveri M, Susi A and Tonetta S (2013). Validation of requirements for hybrid systems, ACM Transactions on Software Engineering and Methodology, 21:4, (1-34), Online publication date: 1-Nov-2012.
- Cavallaro L, Sawyer P, Sykes D, Bencomo N and Issarny V Satisfying requirements for pervasive service compositions Proceedings of the 7th Workshop on [email protected], (17-22)
- Faily S, Lyle J, Namiluko C, Atzeni A and Cameroni C Model-driven architectural risk analysis using architectural and contextualised attack patterns Proceedings of the Workshop on Model-Driven Security, (1-6)
- Briand L, Falessi D, Nejati S, Sabetzadeh M and Yue T Research-based innovation Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems, (793-809)
- Harman M, Langdon W, Jia Y, White D, Arcuri A and Clark J The GISMOE challenge: constructing the pareto program surface using genetic programming to find better programs (keynote paper) Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering, (1-14)
- Sateli B, Rajivelu S, Angius E and Witte R ReqWiki Proceedings of the Eighth Annual International Symposium on Wikis and Open Collaboration, (1-4)
- Gröner G, Asadi M, Mohabbati B, Gašević D, Silva Parreiras F and Bošković M Validation of user intentions in process models Proceedings of the 24th international conference on Advanced Information Systems Engineering, (366-381)
- Ramirez A, Jensen A and Cheng B A taxonomy of uncertainty for dynamically adaptive systems Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, (99-108)
- Lutz R, Lutz J, Lathrop J, Klinge T, Henderson E, Mathur D and Sheasha D Engineering and verifying requirements for programmable self-assembling nanomachines Proceedings of the 34th International Conference on Software Engineering, (1361-1364)
- Alrajeh D, Kramer J, Lamsweerde A, Russo A and Uchitel S Generating obstacle conditions for requirements completeness Proceedings of the 34th International Conference on Software Engineering, (705-715)
- Famelis M, Salay R and Chechik M Partial models: towards modeling and reasoning with uncertainty Proceedings of the 34th International Conference on Software Engineering, (573-583)
- Rashwan A Semantic analysis of functional and non-functional requirements in software requirements specifications Proceedings of the 25th Canadian conference on Advances in Artificial Intelligence, (388-391)
- Robinson W, Akhlaghi A, Deng T and Syed A (2012). Discovery and diagnosis of behavioral transitions in patient event streams, ACM Transactions on Management Information Systems, 3:1, (1-28), Online publication date: 1-Apr-2012.
- Chanvilai S, Honda K, Nakagawa H, Tahara Y and Ohsuga A Goal-oriented approach to creating class diagrams with OCL constraints Proceedings of the 27th Annual ACM Symposium on Applied Computing, (1051-1056)
- Filieri A, Ghezzi C and Tamburrelli G (2011). A formal approach to adaptive software: continuous assurance of non-functional requirements, Formal Aspects of Computing, 24:2, (163-186), Online publication date: 1-Mar-2012.
- Ramirez A, Jensen A, Cheng B and Knoester D Automatically exploring how uncertainty impacts behavior of dynamically adaptive systems Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering, (568-571)
- Welsh K, Sawyer P and Bencomo N Towards requirements aware systems Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering, (560-563)
- Jiang L, Barone D, Amyot D and Mylopoulos J Strategic models for business intelligence Proceedings of the 30th international conference on Conceptual modeling, (429-439)
- Famelis M, Ben-David S, Chechik M and Salay R Partial models Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation, (1-4)
- Ramirez A and Cheng B Automatic derivation of utility functions for monitoring software requirements Proceedings of the 14th international conference on Model driven engineering languages and systems, (501-516)
- Chareton C, Brunel J and Chemouil D A formal treatment of agents, goals and operations using alternating-time temporal logic Proceedings of the 14th Brazilian conference on Formal Methods: foundations and Applications, (188-203)
- Ben-David S, Chechik M, Gurfinkel A and Uchitel S CSSL Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering, (37-47)
- Gleirscher M Hazard-based selection of test cases Proceedings of the 6th International Workshop on Automation of Software Test, (64-70)
- Lammari N, Bucumi J, Akoka J and Comyn-Wattiau I A conceptual meta-model for secured information systems Proceedings of the 7th International Workshop on Software Engineering for Secure Systems, (22-28)
- Schumann R Engineering coordination Proceedings of the 10th international conference on Advanced Agent Technology, (164-186)
- Sikora E, Tenbergen B and Pohl K Requirements engineering for embedded systems Proceedings of the 17th international working conference on Requirements engineering: foundation for software quality, (151-165)
- Maiden N Delivering requirements research into practice Proceedings of the 17th international working conference on Requirements engineering: foundation for software quality, (1-3)
- Bosse T, Hoogendoorn M, Klein M and Treur J A three-dimensional abstraction framework to compare multi-agent system models Proceedings of the Second international conference on Computational collective intelligence: technologies and applications - Volume PartI, (306-319)
- Matoussi A, Gervais F and Laleau R Specification of a localization component driven by a goal-based approach Proceedings of the 13th Brazilian conference on Formal methods: foundations and applications, (177-193)
- Smith D and Hoebel L Derivational software engineering Proceedings of the FSE/SDP workshop on Future of software engineering research, (355-358)
- Krka I From requirements to partial behavior models Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering, (341-344)
- Faily S and Fléchais I Barry is not the weakest link Proceedings of the 24th BCS Interaction Specialist Group Conference, (124-132)
- Mosincat A, Binder W and Jazayeri M Dynamically adaptive systems through automated model evolution using service compositions Proceedings of the 9th international conference on Software composition, (82-89)
- Baresi L and Pasquale L Live goals for adaptive service compositions Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, (114-123)
- Faily S and Fléchais I A meta-model for usable secure requirements engineering Proceedings of the 2010 ICSE Workshop on Software Engineering for Secure Systems, (29-35)
- Shaker P Feature-oriented requirements modelling Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2, (365-368)
- Bencomo N, Whittle J, Sawyer P, Finkelstein A and Letier E Requirements reflection Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2, (199-202)
- Chiappini A, Cimatti A, Macchi L, Rebollo O, Roveri M, Susi A, Tonetta S and Vittorini B Formalization and validation of a subset of the European Train Control System Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2, (109-118)
- Banach R A deidealisation semantics for KAOS Proceedings of the 2010 ACM Symposium on Applied Computing, (267-274)
- Lanese I, Bucchiarone A and Montesi F A framework for rule-based dynamic adaptation Proceedings of the 5th international conference on Trustworthly global computing, (284-300)
- Mashkoor A and Matoussi A Towards validation of requirements models Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z, (404-404)
- Matoussi A and Petit D Improving traceability between KAOS requirements models and b specifications Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z, (401-402)
- Jarke M, Klamma R, Pohl K and Sikora E Requirements engineering in complex domains Graph transformations and model-driven engineering, (602-620)
- Cheng B, Sawyer P, Bencomo N and Whittle J A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems, (468-483)
- Abid M, Amyot D, Somé S and Mussbacher G A UML profile for goal-oriented modeling Proceedings of the 14th international SDL conference on Design for motes and mobiles, (133-148)
- Krka I Synthesizing and utilizing partial behavior models during requirements elicitation Proceedings of the doctoral symposium for ESEC/FSE on Doctoral symposium, (31-32)
- Boella G, Van Der Torre L and Villata S Conditional dependence networks in requirements engineering Proceedings of the 5th international conference on Coordination, organizations, institutions, and norms in agent systems, (3-18)
- van Lamsweerde A Goal models as architectural knowledge Proceedings of the 3rd international workshop on Sharing and reusing architectural knowledge, (1-2)
- Autili M, Inverardi P and Tivoli M Automated Integration of Service-Oriented Software Systems Fundamentals of Software Engineering, (30-45)
Recommendations
Grounded requirements engineering
We present a systematic approach for eliciting, analyzing, and modeling requirements.It combines established methods from social sciences and software engineering.It prevents the three issues discussed in the paper: unawareness, early commitment, and ...
Requirements for Requirements Engineering Technique
ICRE '96: Proceedings of the 2nd International Conference on Requirements Engineering (ICRE '96)The first argument presented in this paper is that if we have a clear understanding of the objectives of the requirements engineering (RE) process then we can identify what techniques we need. No single method or technique will be sufficient. The second ...