Reference model for requirements and specifications

IEEE Software

Volumn 17, Issue 3, 2000, Pages 37-43

  Gunter, Carl A ^a   Gunter, Elsa L ^b   Jackson, Michael ^c   Zave, Pamela ^d  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

^b LUCENT TECHNOLOGIES   (United States)

^c 101 Hamilton Terrace ^*  (United Kingdom)

^d AT AND T LABS RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; COMPUTER SOFTWARE; NETWORK PROTOCOLS; SOFTWARE ENGINEERING; SPECIFICATIONS; USER INTERFACES;

BEHAVIORAL SYSTEM; FORMAL METHODS; REFERENCE MODEL;

REQUIREMENTS ENGINEERING;

EID: 0034188338     PISSN: 07407459     EISSN: None     Source Type: Journal    
DOI: 10.1109/52.896248     Document Type: Article

References (13)

1. C. Mazza et al., Software Engineering Standards, Prentice Hall, Upper Saddle River, N.J., 1994.
2. S.A. Maguire, Debugging the Development Process: Practical Strategies for Staying focused, Hitting Ship Dates, and Building Solid Teams, Microsoft Press, Redmond, Wash., 1994.
3. D.L. Parnas and J. Madey, "Functional Documentation for Computer Systems," Science of Computer Programming, Vol. 25, No. 1, Oct. 1995, pp. 41-61.
4. M. Jackson and P. Zave, "Domain Descriptions," Proc, IEEE Int'l Symp. Requirements Eng., IEEE Computer Soc. Press, Los Alamitos, Calif., 1992, pp. 56-64.
5. M. Jackson and P. Zave, "Deriving Specifications from Requirements: An Example," Proc. 17th Int'l Conf. Software Eng., IEEE Computer Soc. Press, Los Alamitos, Calif., 1995, pp. 15-24.
6. P. Zave and M. Jackson, "Four Dark Corners of Requirements Engineering," ACM Trans. Software Eng. and Methodology, Vol. 6, No. 1, Jan. 1997, pp. 1-30.
7. A.J. van Schouwen, D.L. Parnas, and J. Madey, "Documentation of Requirements for Computer Systems," Proc IEEE Int'l Symp. Requirements Eng., IEEE Computer Soc. Press, Los Alamitos, Calif., 1992, pp. 198-207.
8. K. Mani Chandy and J. Misra, Parallel Program Design: A Foundation, Addison-Wesley, Reading, Mass., 1988.
9. M. Abadi and L. Lamport, "Conjoining Specifications," ACM Trans. Programming Languages and Systems, Vol. 17, No. 3, May 1995, pp. 507-534.
10. L. Lamport, "The Temporal Logic of Actions," ACM Trans. Programming Languages and Systems, Vol. 16, No. 3, May 1994, pp. 872-923.
11. R. Alur and T.A. Henzinger, "Reactive Modules," Proc. 11th IEEE Symp. Logic in Computer Science, IEEE Computer Soc. Press, Los Alamitos, Calif., 1996, pp. 207-218.
12. R. Alur et al., "Mocha: Modularity in Model Checking," Proc. 10th Int'l Conf. Computer Aided Verification, A.J. Hu and M.Y. Vardi, eds., Lecture Notes in Computer Science, Springer-Verlag, New York, 1998, pp. 521-525.
13. C.A. Gunter et al., A Reference Model for Requirements and Specifications, tech. report, Univ. of Pennsylvania, Dept. of Computer and Information Science, Jan 2000.