Using joint application design to develop readable formal specifications

Information and Software Technology

Volumn 38, Issue 10, 1996, Pages 615-631

  Jackson, Robert B ^a   Embley, David W ^a  

^a 3361 TMCB   (United States)

Author keywords

Joint application design; Rapid prototyping; Requirements specifications

Indexed keywords

COMPUTER AIDED DESIGN; COMPUTER GRAPHICS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SOFTWARE; FORMAL LANGUAGES; OBJECT ORIENTED PROGRAMMING; RAPID PROTOTYPING; SOFTWARE PROTOTYPING;

FORMAL REQUIREMENTS SPECIFICATION; JOINT APPLICATION DEVELOPMENT (JAD); OBJECT ORIENTED SYSTEMS SPECIFICATIONS (OSS);

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0030269076     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/0950-5849(95)01058-0     Document Type: Article

References (10)

1. Donald C. Gause and Gerald M. Weinberg, Exploring Requirements: Quality Before Design, Dorset House Publishing, 1989.
2. Robert Jackson and David Embley, Rapid prototypes that are truly rapid and truly prototypes, Technical Report, Computer Science Department, Brigham Young University, 1994.
3. Carolyn Shamlin, A User's Guide for Defining Software Requirements: The Other Side of Software, QED Information Sciences, Inc., 1989.
4. Judy H. August, Joint Application Design: The Group Session Approach to System Design, Yourdon Press, 1991.
5. Erran Carmel, Randall D. Whitaker and Joey F. George, PD and joint application design: a transatlantic comparison, Comm. ACM, 39 (June 1993) 41-48.
6. Jane Wood and Denise Silver, Joint Application Design: How to Design Quality Systems in 40% Less Time, John Wiley, 1989.
7. David W. Embley, Barry D. Kurtz and Scott N. Woodfield, Object-Oriented Systems Analysis: A Model-Driven Approach, Yourdon Press, 1992.
8. Guido Gryczan and Darl Dautz, A comparative case study of prototyping tools - experiences and conclusions, IEEE Int. Conf. on Computer Systems and Software, 1990, pp. 494-501.
9. David W. Embley, Stephen W. Liddle and Scott N. Woodfield, Attributes: should we eliminate them from semantic and object-oriented data models?, Proc. 22nd Ann. Computer Science Conf., March 1994, pp. 340-347.
10. Stephen W. Clyde, David W. Embley and Scott N. Woodfield, The complete formal definition for the syntax and semantics of OSA, Technical Report BYU-CS-92-2, Department of Computer Science, Brigham Young University, 1992.