Programming a software requirements-specification process

Proceedings - 1st International Conference on the Software Process: Manufacturing Complex Systems

Volumn , Issue , 1991, Pages 68-89

  Sutton, Stanley M ^a   Ziv, Hadar ^b   Heimbigner, Dennis ^a   Yessayan, Harry E ^b   Maybee, Mark ^a   Osterweil, Leon J ^b   Song, Xiping ^b  

^a UNIVERSITY OF COLORADO   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84987202815     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IRSSE.1991.664341     Document Type: Conference Paper

References (29)

1. Thomas E. Bell, David C. Bixler, and Margaret E. Dyer. An extendible approach to computer-aided software requirements engineering. IEEE Transactions on Software Engineering, SE-3(1):49-60, February 1977.
2. G. D. Bergland. Structured design methodologies. In 15th Annual Design Automation Conference Proceedings, pages 475-493, June 1978.
3. B. W. Boehm. A spiral model of software development and enhancement. IEEE Computer, 21:61-72, May 1988.
4. Grady Booch. Object-Oriented Design, pages 420-436. IEEE Computer Society, fourth edition, 1983.
5. G. Booch. Object-oriented development. IEEE Transactions on Software Engineering, SE-12(2):211-221, February 1986.
6. John R., Cameron. An overview of JSD. IEEE Transactions on Software Engineering, SE-12(2):222-240, February 1986.
7. Michael J. Carey, David H. DeWitt, Daniel Frank, Goetz Graefe, M. Muralikrishna, Joel E. Richardson, and Eugene Shekita. The architecture of the exodus extensible dbms. In International Workshop on Object-Oriented Database Systems, pages 52-65, 1986.
8. Gerald Estrin, Robert S. Fenchel, Rami R. Razouk, and Mary K. Vernon. SARA (System ARchitects Apprentice): Modeling, analysis, and simulation support for design of concurrent systems. IEEE Transactions on Software Engineering, SE-12(2):293-311, February 1986.
9. C. Gane and T. Sarson. Structured Systems Analysis: Tools and Techniques. Prentice-Hal], Englewood Cliffs, New Jersey, 1986.
10. David Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231-274, 1987.
11. Dennis Heimbigner. TRITON Reference Manual. Arcadia Technical Report CU-CS-483-90, University of Colorado, Boulder, September 1990. Version 0.7.
12. Michael Jackson. System Development. Prentice-Hall, Inc., Englewood Cliffs, New Jersey, 1983.
13. Rudolf K. Keller, Mary Cameron, Richard N. Taylor, and Dennis B. Troup. Chiron-1: A user interface development system tailored to software environments. In Proceedings of the Twenty-Fourth Annual Hawaii International Conference on System Sciences, volume 2, pages 60-69, Kauai, Hawaii, January 1991.
14. Rudolf K. Keller, Mary Cameron, Richard N. Taylor, and Dennis B. Troup. User interface development and software environments: The chiron-1 system. In Proceedings of the Thirteenth International Conference on Software Engineering, pages?-?, Austin, TX, May 1991.
15. Richard A. Kemmerer. "Testing Formal Specifications to Detect Design Errors". IEEE Transactions on Software Engineering, SE-11(1), January 1985.
16. M. Maybee, L. J. Osterweil, and S. D. Sykes. Q: A multi-lingual interprocess communications system for softare environment implementation. Technical Report CU-CS-476-90, University of Colorado, Boulder, June 1990.
17. G. J. Myers. Composite/Structured Design. Van Nostrand Rheinhold Co., 1978.
18. H. P. Nii. Blackboard systems: The blackboard model of problem solving and the evolution of blackboard architectures. AI Magazine, 7(2):38-53, August 1986.
19. Leon J. Osterweil. Software processes are software too. In Proceedings of the Ninth International Conference on Software Engineering, pages 2-13, Monterey, CA, March 1987.
20. Debra Richardson, Stephanie Aha, Harry Yessayan, and Leon Osterweil. Prototyping a Process-Centered Environment. Technical Report TR-90-28, Department of Information and Computer Science, University of California, April 1990.
21. Douglas T. Ross and Kenneth E. Schoman Jr. Structured analysis for requirements definition. IEEE Transactions on Software Engineering, SE-3(1):6-15, January 1977.
22. Douglas T. Ross. Structured Analysis (SA): A Language for Communicating Ideas. IEEE Transactions on Software Engineering, SE-3(1):16-34, January 1977.
23. W. W. Royce. "Managing the Development of Large Software Systems". In Proceedings WESCON, August 1970.
24. Richard W. Selby, Adam R. Porter, Doug C. Schmidt, and Jim Berney. Metric-driven analysis and feedback systems for enabling empirically guided software development. In Proc. of the 13th International Conference on Software Engineering, 1991. Austin, Texas.
25. Stanley M. Sutton Jr., Dennis Heimbigner, and Leon J. Osterweil. Language constructs for managing change in process-centered environments. In Proc. of the Fourth Symposium on Practical Software Development Environments, 1990. Irvine, California.
26. Stanley M. Sutton Jr. APPL/A: A Prototype Language for Software-Process Programming. PhD thesis, University of Colorado, August 1990.
27. D. Teichrow and E. Hershey. PSL/PSA: A computer aided technique for structured documentation and analysis of information processing systems. IEEE Transactions on Software Engineering, SE-3(1):41-48, January 1977.
28. Jeannette M. Wing. A study of 12 specifications of the library problem. IEEE Software, 5(4):66-76, July 1988.
29. Hadar Ziv. Summary of Requirements Analysis and Design Work that led to Triton. Arcadia Technical Report CU-90-05, University of Colorado, Boulder, August 1990.