Goal-directed requirements acquisition

J. Anderson, Private communication.

Astesiano, 1986, An introduction to ASL

Balzer, 1983, Operational specification as the basis for specification validation, 21

Benett, 1985, A knowledge-based system for acquiring the conceptual structure of a diagnostic expert system, J. Automated Reasoning, 1, 49

1985

Chen, 1976, The entity relationship model—towards a unified view of data, ACM Trans. Database Systems, 1, 9, 10.1145/320434.320440

Dardenne, 1991, Goal-directed concept acquisition in requirements elicitation, Proceedings 6th International Workshop on Software Specification and Design, 14, 10.1109/IWSSD.1991.213081

Davis, 1982, Teiresias: applications of meta-level knowledge, 227

Doerry, 1991, A model for composite system design, Proceedings 6th International Workshop on Software Specification and Design, 216, 10.1109/IWSSD.1991.213058

Dubisy, 1992, Requirements acquisition by analogy

Dubois, 1987, Making specification processes explicit, Proceedings 4th International Workshop on Software Specification and Design, 169

Dubois, 1991, A formal language for the requirements engineering of computer systems, Vol.3, 357

Ellman, 1989, Explanation-based learning: a survey of programs and perspectives, ACM Comput. Surv., 21, 163, 10.1145/66443.66445

Feather, 1987, Language support for the specification and development of composite systems, ACM Trans. Programming Languages Systems, 9, 198, 10.1145/22719.22947

Feather, 1989, Constructing specifications by combining parallel elaboration, IEEE Trans. Softw. Engrg., 15, 198, 10.1109/32.21745

Fiadeiro, 1986, The INFOLOG linear tense propositional logic of events and transactions, Inform. Systems, 11, 61, 10.1016/0306-4379(86)90023-2

Fickas, 1988, Critiquing software specifications, IEEE Software, 37, 10.1109/52.10002

Finance, 1991, First version of a model for the requirements development process, Intermediate Deliverable, ESPRIT Project 2537

Finkelstein, 1989, Multi-party specification, Proceedings 5th International Workshop on Software Specification and Design, 185

Finkelstein, 1987, Building formal specifications using structured common sense, Proceedings 4th International Workshop on Software Specification and Design, 108

Gaudel, 1986, Towards structured algebraic specifications, 493

Ghezzi, 1990, TRIO: a logic language for executable specifications of real-time systems, J. Systems Softw., 10.1016/0164-1212(90)90074-V

Greenspan, 1984, Requirements modelling: a knowledge representation approach to software requirements definition

Greenspan, 1986, A requirements modeling language and its logic, 471

Guttag, 1986, Report on the LARCH shared language, Sci. Comput. Programming, 6, 24

Hall, 1989, Computational approaches to analogical reasoning: a comparative analysis, Artificial Intelligence, 39, 39, 10.1016/0004-3702(89)90003-9

Hansen, 1991, Specifying and verifying requirements of real-time systems, Proceedings ACM SIGSOFT'91 Conference on Software for Critical Systems, ACMSoftw. Engrg. Notes, 16, 44, 10.1145/123041.123051

Harel, 1987, Statecharts: a visual formalism for complex systems, Sci. Comput. Programming, 8, 231, 10.1016/0167-6423(87)90035-9

Hull, 1987, Semantic database modeling: survey, applications and research issues, ACM Comput. Surv., 19, 201, 10.1145/45072.45073

Jones, 1990

Kahn, 1983, Metal: a formalism to specify formalism, Sci. Comput. Programming, 3, 151, 10.1016/0167-6423(83)90009-6

Keller, 1990, Specifying software quality requirements with metrics, 145

Koymans, 1983, Real-time programming and asynchronous message passing, Proceedings 2nd ACM Conference on Principles of Distributed Computing

Meyer, 1985, On formalism in specifications, IEEE Software, 2, 6, 10.1109/MS.1985.229776

Mylopoulos, 1992, Representing and using nonfunctional requirements: a process-oriented approach, IEEE Trans. Softw. Engrg, 18, 483, 10.1109/32.142871

Mostow, 1983, A problem solver for making advice operational, Proceedings AAAI-83, 279

Nilsson, 1971

Reubenstein, 1991, The requirements apprentice: automated assistance for requirements acquisition, IEEE Trans. Softw. Engrg., 17, 226, 10.1109/32.75413

Robinson, 1989, Integrating multiple specifications using domain goals, Proceedings 5th International Workshop on Software Specification and Design, 219

Robinson, 1990, Negotiation behavior during requirement specification, Proceedings 12th International Conference on Software Engineering, 268, 10.1109/ICSE.1990.63633

Roman, 1985, A taxonomy of current issues in requirements engineering, IEEE Comput., 2, 14, 10.1109/MC.1985.1662861

Spivey, 1989

Swartout, 1983, XPLAIN: a system for creating and explaining expert consulting programs, Artificial Intelligence, 21, 285, 10.1016/S0004-3702(83)80014-9

van Lamsweerde, 1991, Learning machine learning, Vol.3, 263

van Lamsweerde, 1991, The KAOS project: knowledge acquisition in automated specification of software, Proceedings AAAI Spring Symposium Series, Design of Composite Systems, 59

van Lamsweerde, 1991, KAOS knowledge representations as initial support for formal specification processes

van Lamsweerde, 1988, Generic lifecycle support in the ALMA environment, IEEE Trans. Softw. Engrg., 14, 720, 10.1109/32.6153

Waldinger, 1977, Achieving several goals simultaneously, 8

Wing, 1988, A study of 12 specifications of the library problem, IEEE Software, 66, 10.1109/52.17803

Zave, 1982, An operational approach to requirements specification for embedded systems, IEEE Trans. Softw. Engrg., 8, 250, 10.1109/TSE.1982.235254

Zeleny, 1982