Requirements and Specification Exemplars

Automated Software Engineering

Volumn 4, Issue 4, 1997, Pages 419-438

  Feather, Martin S ^a   Fickas, Stephen ^b   Finkelstein, Anthony ^c   Van Lamsweerde, Axel ^d  

^a CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

^b UNIVERSITY OF OREGON   (United States)

^c CITY UNIVERSITY   (United Kingdom)

^d UNIVERSITÉ CATHOLIQUE DE LOUVAIN   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION ANALYSIS; SPECIFICATIONS; STANDARDIZATION; STANDARDS; TEXTBOOKS;

SPECIFICATION EXEMPLARS;

SOFTWARE ENGINEERING;

EID: 0031258244     PISSN: 09288910     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1008680612960     Document Type: Article

References (35)

1. Abrial, J.R., Borger, E., and Langmaack, H. (Eds.) 1996. Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control System, Springer-Verlag, vol. LNCS 1165.
2. Balzer, B. 1985. A 15 year perspective on automatic programming. IEEE Trans. on Software Engineering, 11(11):1257-1267.
3. Chung, L. and Nixon, B. 1995. Dealing with non-functional requirements: Three experimental studies of a process-oriented approach. Proc. ICSE17 - Seventeenth International Conference on Software Engineering, IEEE-ACM, pp. 25-37.
4. Dijkstra, E.W. 1971. Hierarchical ordering of sequential processes. Acta Informatica, 1:115-138.
5. Fickas, S. and Nagarajan, P. 1988. Critiquing software specifications. IEEE Software, 37-47.
6. Hayes, I. 1993. Specification Case Studies, 2nd edition. Prentice Hall.
7. Heitmeyer, C., Jeffords, R., and Labaw, B. 1993. A benchmark for comparing different approaches for specifying and verifying real-time systems. Proc. 10th Intl. Workshop on Real-Time Operating Systems and Software, Reprinted in Formal Methods for Real-Time Computing, C. Heitmeyer and D. Mandrioli (Eds.), Wiley, p. xii.
8. Heitmeyer, C., Jeffords, R., and Labaw, B. 1993. A benchmark for comparing different approaches for specifying and verifying real-time systems. Proc. 10th Intl. Workshop on Real-Time Operating Systems and Software, Reprinted in Formal Methods for Real-Time Computing, C. Heitmeyer and D. Mandrioli (Eds.), Wiley, p. xii.
9. Heninger, K., Kallender, J., Parnas, D.L., and Shore, J. 1978. Software requirements for the A-7 aircraft. NRL Report 3876, US Naval Res. Lab., Washington, D.C.
10. Hinchey, M. and Bowen, J. (Eds.) 1995. Applications of Formal Methods. Prentice Hall Intl. Series in Computer Science.
11. Icarus 1989. A tasteful variety of specification case studies. ESPRIT Project 2537, Available at ftp://ftp.info.ucl.ac.be/pub/publi/89/CaseStudies.ps.
12. Jones, C.B. and Shaw, R.C. 1990. Case Studies in Systematic Software Development. Prentice Hall.
13. Kemmerer, R.A. 1985. Testing formal specifications to detect design errors. IEEE Transactions on Software Engineering, 11(1):32-43.
14. Kramer, J., Magee, J., Sloman M., and Lister, A. 1983. CONIC: An integrated approach to distributed computer control systems. IEE Proceedings, vol. 130, Pt. E, No. 1, pp. 1-10.
15. Kramer, J., Magee, J., and Finkelstein, A. 1990. A constructive approach to the design of distributed systems. Proc. 10th International Conference on Distributed Computing Systems, IEEE, pp. 580-587.
16. Lano, K. and Haughton, H. (Eds.) 1994. Object-Oriented Specification Case Studies. Prentice Hall Object-Oriented Series.
17. Leveson, N., Heimdahl, M., Hildreth, H., and Reese, J. 1994. Requirements specification for process-control systems. IEEE Transactions on Software Engineering, 20(9):684-706.
18. Lewerentz, C. and Lindner, T. (Eds.) 1995. Formal Development of Reactive Systems - Case Study Production Cell, Springer-Verlag, vol. LNCS 891.
19. London, P.E. and Feather, M.S. 1986. Implementing specification freedoms. In Readings in Artificial Intelligence and Software Engineering, C. Rich and R.C. Waters (Eds.), Morgan Kaufmann, pp. 285-305
20. Marca, D. and Harandi, M. 1987. Problem set for the Fourth International Workshop on Software Specification and Design. In Proc. 4th International Workshop on Software Specification and Design, IEEE CS Press, pp. ix-x.
21. Meyer, B. 1985. On formalism in specifications. IEEE Software 2(1):6-26.
22. Modugno, F., Leveson, N., Reese, J., Partridge, K., and Sandys, S. 1997. Integrated safety analysis of requirements specifications. Proc. RE'97 - 3rd IEEE Symposium on Requirements Engineering, Annapolis (MD), pp. 148-159.
23. Olle, T. 1982. Comparative review of information systems design methodologies - Stage 1: Taking Stock. In Information Systems Design Methodologies: A Comparative Review, T. Olle, H. Sol, and A. Verrijn-Stuart (Eds.), Proc. IFIP WG8.1 CRIS 1, North-Holland, pp. 1-14.
24. Olle, T., Sol, H., and Tully, C. 1983. Information systems design methodologies: A feature analysis. In Proc. IFIP WG8.1 CRIS 2, North-Holland.
25. Parnas, D.L., Asmis, J.K., and Madey, J. 1991. Assessments of safety-critical software. Nuclear Safety, 32(2):189-198.
26. Potts, C. 1993. Software engineering research revisited. IEEE Software, 19-28.
27. Potts, C. and Fickas, S. 1994. Requirements engineering. Section of Succeedings of the 7th International Workshop on Software Specification and Design. In ACM SIGSOFTSoftware Engineering Notes, 19(3):18-22.
28. Roman, G.-C. and Babb, R. 1989. Concurrency, coordination and distribution. ACM SIGSOFT Software Engineering Notes, 14(5):37-38.
29. Stevens, W., Myers, G., and Constantine 1974. Structured design. IBM Systems Journal, 13(2):115-139.
30. Swartout, W. and Balzer, R. 1982. On the inevitable intertwining of specification and implementation. Communications of the ACM, 25(7):483-440.
31. Tichy, W.F., Lukowicz, P., Prechelt, L., and Heinz, E.A. 1995. Experimental evaluation in computer science: A quantitative study. Journal of Systems and Software, 28(1):9-18.
32. van Diepen, N. and Partsch, H.A. 1991. Formalizing informal requirements: Some aspects. In Algebraic Methods II: Theory, Tools and Applications, J.A. Bergstra and L.M.G. Feijs (Eds.), Springer-Verlag, vol. LNCS 490, pp. 7-27.
33. van Lamsweerde, A., Darimont, R., and Massonet, P. 1995. Goal-directed elaboration of requirements for a meeting scheduler: Problems and lessons learned. Proc. RE'95 - 2nd Int. Symp. on Requirements Engineering, IEEE, York, pp. 194-203.
34. Wing, J.M. 1988. A study of 12 specifications of the library problem. IEEE Software, pp. 66-76.
35. Zave, P. 1991. An insider's evaluation of PAISLey. IEEE Trans. on Software Engineering, 17(3):212-225.