Reasoning About Alternative Requirements Options
暂无分享,去创建一个
[1] John Mylopoulos,et al. '. . . and nothing else changes': the frame problem in procedure specifications , 1993, Proceedings of 1993 15th International Conference on Software Engineering.
[2] Philippe Massonet,et al. Early verification and validation of mission critical systems , 2005, Formal Methods Syst. Des..
[3] Axel van Lamsweerde,et al. The KAOS Project: Knowledge Acquisition in Automated Specification of Software , 1991 .
[4] John Mylopoulos,et al. A language facility for designing interactive database-intensive applications , 1978, SIGMOD '78.
[5] Stephen Fickas,et al. Goal-Directed Requirements Acquisition , 1993, Sci. Comput. Program..
[6] Axel van Lamsweerde,et al. Elaborating security requirements by construction of intentional anti-models , 2004, Proceedings. 26th International Conference on Software Engineering.
[7] Barry W. Boehm,et al. Software Engineering Economics , 1993, IEEE Transactions on Software Engineering.
[8] Suzanne Robertson,et al. Mastering the Requirements Process , 1999 .
[9] Axel van Lamsweerde,et al. Agent-based tactics for goal-oriented requirements elaboration , 2002, ICSE '02.
[10] Axel van Lamsweerde,et al. Requirements engineering in the year 00: a research perspective , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.
[11] Axel van Lamsweerde,et al. Formal refinement patterns for goal-driven requirements elaboration , 1996, SIGSOFT '96.
[12] David Lorge Parnas,et al. Functional Documents for Computer Systems , 1995, Sci. Comput. Program..
[13] Michael L. Brodie. On conceptual modelling - perspectives from artificial intelligence, databases and programming languages , 1984, Topics in information systems.
[14] Douglas T. Ross,et al. Structured Analysis (SA): A Language for Communicating Ideas , 1977, IEEE Transactions on Software Engineering.
[15] John Mylopoulos,et al. Towards requirements-driven information systems engineering: the Tropos project , 2002, Inf. Syst..
[16] Mack W. Alford. A Requirements Engineering Methodology for Real-Time Processing Requirements , 1977, IEEE Transactions on Software Engineering.
[17] Stephen Fickas,et al. Goal-directed concept acquisition in requirements elicitation , 1991, Proceedings of the Sixth International Workshop on Software Specification and Design.
[18] John Mylopoulos,et al. Requirements analysis for customizable software: a goals-skills-preferences framework , 2003, Proceedings. 11th IEEE International Requirements Engineering Conference, 2003..
[19] John Mylopoulos,et al. Using semantic networks for data base management , 1975, VLDB '75.
[20] John Mylopoulos,et al. Capturing more world knowledge in the requirements specification , 1982, ICSE '82.
[21] Axel van Lamsweerde,et al. Handling Obstacles in Goal-Oriented Requirements Engineering , 2000, IEEE Trans. Software Eng..
[22] Thomas E. Bell,et al. Software requirements: Are they really a problem? , 1976, ICSE '76.
[23] Kathryn L. Heninger. Specifying Software Requirements for Complex Systems: New Techniques and Their Application , 2001, IEEE Transactions on Software Engineering.
[24] Martin S. Feather,et al. Quantitative risk-based requirements reasoning , 2003, Requirements Engineering.
[25] Axel van Lamsweerde,et al. Requirements Engineering: From System Goals to UML Models to Software Specifications , 2009 .
[26] John Mylopoulos,et al. A language facility for designing database-intensive applications , 1980, TODS.
[27] Julio Cesar Sampaio do Prado Leite,et al. On Non-Functional Requirements in Software Engineering , 2009, Conceptual Modeling: Foundations and Applications.
[28] John Mylopoulos,et al. Security and privacy requirements analysis within a social setting , 2003, Proceedings. 11th IEEE International Requirements Engineering Conference, 2003..
[29] Axel van Lamsweerde,et al. Reasoning about partial goal satisfaction for requirements and design engineering , 2004, SIGSOFT '04/FSE-12.
[30] Philippe Massonet,et al. Goal-oriented requirements animation , 2004, Proceedings. 12th IEEE International Requirements Engineering Conference, 2004..
[31] John Mylopoulos,et al. Representing and Using Nonfunctional Requirements: A Process-Oriented Approach , 1992, IEEE Trans. Software Eng..
[32] John Mylopoulos,et al. Information Modeling in the Time of the Revolution , 1998, Inf. Syst..
[33] Axel van Lamsweerde,et al. Scenarios, goals, and state machines: a win-win partnership for model synthesis , 2006, SIGSOFT '06/FSE-14.
[34] Stephen Shaoyi Liao,et al. Exploring Alternatives during Requirements Analysis , 2001, IEEE Softw..
[35] Frederick P. Brooks,et al. No Silver Bullet: Essence and Accidents of Software Engineering , 1987 .
[36] Axel van Lamsweerde,et al. Requirements engineering: from craft to discipline , 2008, SIGSOFT '08/FSE-16.
[37] Michael A. Jackson,et al. Software requirements and specifications - a lexicon of practice, principles and prejudices , 1995 .
[38] John Mylopoulos,et al. A requirements modeling language and its logic , 1986, Inf. Syst..
[39] Axel van Lamsweerde,et al. Managing Conflicts in Goal-Driven Requirements Engineering , 1998, IEEE Trans. Software Eng..
[40] John Mylopoulos,et al. From object-oriented to goal-oriented requirements analysis , 1999, CACM.
[41] Marco Pistore,et al. Model checking early requirements specifications in Tropos , 2001, Proceedings Fifth IEEE International Symposium on Requirements Engineering.
[42] John Mylopoulos,et al. Using semantic networks for data base management , 1975, VLDB '75.
[43] Eric S. K. Yu,et al. Modeling organizations for information systems requirements engineering , 1993, [1993] Proceedings of the IEEE International Symposium on Requirements Engineering.
[44] Axel van Lamsweerde,et al. Deriving operational software specifications from system goals , 2002, SIGSOFT '02/FSE-10.