A synthesis of evaluation criteria for software specifications and specification techniques

International Journal of Software Engineering and Knowledge Engineering

Volumn 12, Issue 5, 2002, Pages 581-599

  Khwaja, Amir ^a   Urban, Joseph E ^b  

^a INTEL CORPORATION   (United States)

^b Arizona State University   (United States)

Author keywords

Descartes specification language; Evaluation criteria; Software specification; Specification technique

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SOFTWARE SELECTION AND EVALUATION; REQUIREMENTS ENGINEERING; SOFTWARE ENGINEERING; SPECIFICATIONS; SYSTEMS ANALYSIS;

DESCARTES SPECIFICATION LANGUAGE; EVALUATION CRITERIA; SOFTWARE SPECIFICATIONS; SPECIFICATION TECHNIQUE;

COMPUTER SOFTWARE;

EID: 0036818278     PISSN: 02181940     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218194002001062     Document Type: Article

References (31)

1. B. Liskov and S. Zilles, "An introduction to formal specifications of data abstractions", Current Trends in Programming Methodology (Vol. 1), ed. R. T. Yeh, Prentice Hall, New Jersey, 1977, pp. 1-32.
2. R. Balzer and N. Goldman, "Principles of good software specification and their implications for specification languages", Proc. IEEE Conf. on Specifications of Reliable Software, April 1979, Boston, Massachusetts, USA, pp. 58-67.
3. G.-C. Roman, "A taxonomy of current issues in requirements engineering", Computer (1985) 14-22.
4. A. M. Davis, "A comparison of techniques for the specification of external system behavior", Comm. ACM 31 (1988) 1098-1115.
5. A. M. Davis, Software Requirements - Analysis & Specification, Prentice Hall, New Jersey, 1990.
6. I. A. Zualkernan and W. T. Tsai, "Are knowledge representations the answer to requirement analysis?", Proc. 1988 Int. Conf. on Comp. Languages, October 9-13, 1988, Miami Beach, Florida, USA, pp. 437-443.
7. P. Zave, "A comparison of the major approaches to software specification and design", System and Software Requirements Engineering, eds. R. H. Thayer and D. Dorfman, IEEE Computer Society Press Tutorial, Los Alamitos, California, 1990, pp. 197-199.
8. IEEE Recommended Practice for Software Requirements Specifications, IEEE Std 830-1993 (Revision of IEEE Std 830-1984), 1994.
9. Merriam-Webster's Collegiate Dictionary, Tenth Edition, Springfield, Massachusetts, USA, 1998.
10. R. J. Abbot and D. K. Moorehead, "Software requirements and specifications: A survey of needs and languages", J. Systems and Soft. 2 (1981) 297-316.
11. D. L. Parnas, "The use of precise specifications in the development of software", IFIP Congress, August 1977, Toronto, Ontario, Canada, pp. 861-867.
12. R. N. Charette, Software Engineering Environments - Concepts and Technology, Intertext Publications, New York, 1986.
13. R. M. Balzer, N. M. Goldman, and D. S. Wile, "Operational specification as the basis for rapid prototyping", ACM Soft. Eng. Notes 7, 5 (1982) 3-16.
14. G.-C. Roman and M. S. Day, "Multifaceted distributed systems specification using process and event synchronization", Proc. Seventh Int. Conf. Soft. Eng., March 26-29, 1984, Orlando, Florida, USA, pp. 44-55.
15. A. Davis, "Requirements language processing for the effective testing of real-time software", ACM Soft. Eng. Notes 3, 5 (1978) 61-66.
16. P. Zave, "An operational approach to requirements specification for embedded systems", IEEE Trans. Soft. Eng. 8, 3 (1982) 250-269.
17. B. H. Liskov and S. Zilles, "Specification techniques for data abstractions", ACM SIGPLAN Notices 10, 6 (1975) 72-87.
18. M. J. Bickerton and J. Siddiqi, "The classification of requirements engineering methods", Proc. IEEE Int. Symp. on Requirements Engineering, January 4-6, 1993, San Diego, California, USA, pp. 182-186.
19. J. E. Urban, A Specification Language and Its Processor, Ph.D. Dissertation, Computer Science Department, University of Southwestern Louisiana, December 1977, 179 pp.
20. S. D. Urban, J. E. Urban, and W. D. Dominick, "Utilizing an executable specification language for an information system", IEEE Trans. on Soft. Eng. 11, 7 (1985) 598-605.
21. J. E. Urban, "The Descartes specification language", in System and Software Requirements Engineering, eds. R. H. Thayer and M. Dorfman, IEEE Computer Society Press Tutorial, Los Alamitos, California, 1990, pp. 331-344.
22. M. S. Sun, A Limited Test Data Generation System for the Descartes Specification Language, M.S. Project Report, Computer Science Department, University of Southwestern Louisiana, May 1984, 78 pp.
23. K.-Y. Sung, Real-time Extensions to the Descartes Software Specification Language, Ph.D. Dissertation, Department of Computer Science and Engineering, Arizona State University, December 1992, 213 pp.
24. K.-Y. Sung and J. E. Urban, "A real-time specification method for specifying and validating real-time concurrent systems", Proc. 12th IEEE Int. Phoenix Conf. on Comp. and Comm., March 24-26, 1993, Tempe, Arizona, USA, pp. 578-584.
25. G. S. Wohlenberg, An Object-Oriented Software Design Aid for Use with a Formal Specification Language, M.S. Thesis, Department of Computer Science and Engineering, Arizona State University, 1992, 56 pp.
26. A. A. Khwaja and J. E. Urban, "Adaptation and modification of Nassi-Shneiderman charts to represent Descartes specifications visually", Proc. 3rd Int. Workshop on Rapid System Prototyping, June 23-25, 1992, Research Triangle Park, North Carolina, USA, pp. 188-201.
27. Y. Tung, A. A. Khwaja, and J. E. Urban, "Multiple views of an executable software specification language", Journal of Systems and Software 21 (1993) 305-319.
28. A. A. Khwaja and J. E. Urban, "A visual syntax-directed editor for the Descartes specification language", Software - Practice and Experience 27 (1997) 651-676.
29. R. V. Pichai and J. E. Urban, "A technique for validating Booch object-oriented designs from extensions to the Descartes specification language", Proc. IEEE High-Assurance Systems Engineering Workshop, October 21-22, 1996, Ontario, Canada, pp. 40-47.
30. C. A. R. Hoare, "Notes on data structuring", in Structured Programming, Academic Press, New York, N.Y., 1972.
31. C. A. R. Hoare, "Proof of correctness of data representations", Acta Informatica 1 (1972) 271-281.