Problem complexity

Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS

Volumn , Issue , 1997, Pages 239-248

  Jackson, M ^a,b  

^a Independent Consultant   (United Kingdom)

^b AT AND T LABS RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

PROBLEM ANALYSIS; PROBLEM COMPLEXITY; PROBLEM FRAMES; PROPERTY; SUB-PROBLEMS;

EID: 84924594790     PISSN: 27708527     EISSN: 27708535     Source Type: Conference Proceeding    
DOI: 10.1109/ICECCS.1997.622318     Document Type: Conference Paper

References (11)

1. Tom DeMarco. Structured Analysis and System Specification. Yourdon Press, 1978.
2. Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns: Elements of Object-Oriented Software. Addison-Wesley, 1994.
3. Constance L Heitmeyer, Ralph D Jeffords and Bruce G Labaw. Automated Consistency Checking of Requirements Specifications. ACM Transactions on Software Engineering and Methodology, Volume 5 Number 3 (July 1996), pp231-261.
4. CAR Hoare. Communicating Sequential Processes. Prentice-Hall International, 1985.
5. M A Jackson. System Development. Prentice-Hall International, 1983.
6. Michael Jackson. Software Requirements & Specifications: A Lexicon of Practice, Principles, and Prejudices. Addison-Wesley, 1995.
7. Leslie Lamport. A Simple Approach to Specfiying Concurrent Systems. Comm ACM, Volume 32 Number 1 (January 1989), pp32-45.
8. D L Parnas and J Madey. Functional Documentation for Computer Systems Engineering (Version 2). CRL Report 237, McMaster University, Hamilton Ontario, Canada, 1991.
9. G Polya. How To Solve It. Princeton University Press, 2nd Edition 1957.
10. W P Stevens, G J Myers, and L L Constantine. Structured Design. IBM Systems Journal Volume 13 Number 2 pages 115-139, 1974; reprinted in [Freeman 83] pages 328-352.
11. Jim Woodcock and Jim Davies. Using Z: Specification, Refinement, and Proof. Prentice-Hall, 1996.