ACME/PRIME: Requirements acquisition for process-driven systems

Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD 1996

Volumn , Issue , 1996, Pages 36-45

  Feblowitz, Mark ^a   Greenspan, Sol ^a   Reubenstein, Howard ^a   Walford, Robert ^a,b  

^a VERIZON   (United States)

^b GTE Telephone Gperations   (United States)

Author keywords

conceptual modeling; modeling; Requirements acquisition; RML; simulation; tools

Indexed keywords

MERGERS AND ACQUISITIONS; MODELS; SPECIFICATIONS; TOOLS;

CONCEPTUAL MODEL; PROCESS-DRIVEN; REQUIREMENTS ACQUISITION; REQUIREMENTS GATHERING; SERVICE ORIENTED SYSTEMS; SIMULATION; TOOL SUPPORT; UNDERSPECIFICATION;

REQUIREMENTS ENGINEERING;

EID: 0003598186     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/iwssd.1996.501145     Document Type: Conference Paper

References (11)

1. Greenspan, S., and M. Feblowitz, "Requirements Engineering Using the SOS Paradigm," Proc. of IEEE Illtemational Symposium on Requirements Engineering, San Diego, 1993, pp. 40-265.
2. R. B. Walford, PRIME-Process Implementation Methodology: A New Paradigm for the Development and Implementation of Sofhuare, book in preparation, 1996.
3. Greenspan, S., M. Feblowitz, C. Shekaran, and J. Tremlett, "Addressing Requirements Issues Within a Conceptual Modeling Environment," Proc. of the 6th Int. Workshop on Soft. Spec. and Design, October, 1991.
4. Rolland, C., G. Grosz, "A General Framework fa Describing the Requirements Engineering Process," Int'l Conf. on Systems, Man and Cybernetics, October 1994.
5. Meyer, B., "On Formalism in Specifications," IEEE Software, Jan. 1985, pp. 6-26.
6. Balzer, R., N. Goldman, and D. Wile, "Informality in Program Specifications," IEEE Trans. on Sofnvare Engineering, March 1978, pp. 94-103.
7. Reubenstein, H., and R. Waters, "The Requirements Apprentice: Automated Assistance for Requimments Acquisition," IEEE Trans. on Software Engineering,, March 1991, pp. 226-240.
8. Borgida, A., Greenspan, S. and Mylopoulos, J., "Knowledge Representation as a Basis for Requirements Specification," IEEE Computer 18(4), April 1985. Reprinted in Rich, C. and Waters, R., Readings in Artificial Intelligence and Sofnvae Engineering, Morgan-Kaufmann, 1987.
9. Greenspan, S., A. Borgida, and J. Mylopoulos, "A Requirements Modeling Language and Its Logic," Information Systems, 1 l(l), pp. 9-23, 1986. Also appears in Knowledge Base Management Systems, M. Brcdie and J. Mylopoulos, Eds., Springer-Verlag, 1986.
10. Greenspan, S., Mylopoulos, J. and Borgida, A., 'On Formal Requirements Modeling Languages: RML Revisited," Proc. 16th Int. Conf on SE, Sorrento, 1994.
11. Pohl, K., "The Three Dimensions of Requirements Engineering," Proc CAISE'93 Conf., Springer-Verlag, 1993.