Developing black box specifications through sequence enumeration

Proceedings - Science and Engineering for Software Development: A Recognition of Harlan D. Mills' Legacy, SESD 1999 - Co-Located With ICSE 1999

Volumn , Issue , 1999, Pages 14-23

  Prowell, S J ^a,b  

^a University of Tennessee Knoxville   (United States)

^b Q Labs   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SPECIFICATIONS;

BEHAVIORAL SPECIFICATION; BLACK BOXES; EXTERNAL SYSTEMS;

SOFTWARE DESIGN;

EID: 84886874511     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SESD.1999.781107     Document Type: Conference Paper

References (14)

1. R.V. Book and F. Otto. String Rewriting Systems. Springer-Verlag, New York, New York, 1993.
2. M. Deck. "Development Practices." In Cleanroom Software Engineering Practices, S.A. Becker and J.A. Whittaker, eds. Idea Group Publishing, Harrisburg, Pennsylvania, 1997.
3. A.R. Hevner and H.D. Mills. "Object-oriented System Development with Box Structures." IBM Systems Journal, 32(2), (1993).
4. J.E. Hopcroft and J.E. Ullman. Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Reading, Massachusetts, 1979.
5. H. Mao. "The Box Structure Development Method" (Dissertation). University of Tennessee, Knoxville, Tennessee, December 1993.
6. H.D. Mills. "Stepwise Refinement and Verification in Boxstructured Systems." IEEE Computer, 21(6):23-36, (June 1988).
7. R. Oshana. "An Industrial Application of Cleanroom Software Engineering-Benefits Through Tailoring." In Proc. 31st Hawaii International Conference on Software Engineering, 6:122-131, (January 1998). IEEE.
8. D.L. Parnas. "Tabular Representation of Relations." CRL Report No. 260, McMaster University, Hamilton, Ontario, October 1992.
9. S.J. Prowell. Sequence-Based Software Specification (Dissertation). University of Tennessee, Knoxville, Tennessee, May 1996.
10. S.J. Prowell and J.H. Poore. "Sequence-based Software Specification of Deterministic Systems." Software-Practice and Experience, 23(3):329-344, (March 1998).
11. S.J. Prowell. "Impact of Sequence-Based Specification on Statistical Software Testing." In Proc. of the Second International Software Quality Week Europe, (November 1998). Software Research Institute, Inc.
12. S.J. Prowell, C.J. Trammell, R.C. Linger, and J.H. Poore. Cleanroom Software Engineering: Technology and Process. Addison-Wesley-Longman, Reading, Massachusetts. To appear: Spring 1999.
13. J.M. Spivey. The Z Notation: A Reference Manual. Prentice Hall, New York, New York, 1989.
14. G.H. Walton, J.H. Poore, and C.J. Trammell, "Statistical Testing of Software Based on a Usage Model." Software-Practice and Experience, 25(1):97-108, (January 1995).