From requirements to specifications: A formal approach

Proceedings - International Conference on Software Engineering

Volumn 2006-May, Issue , 2006, Pages 65-70

  Li, Zhi ^a   Hall, Jon G ^a   Rapanotti, Lucia ^a  

^a OPEN UNIVERSITY   (United Kingdom)

Author keywords

CSP; Problem Frames; Requirements; Specifications

Indexed keywords

SEMANTICS; SOFTWARE DESIGN; SOFTWARE ENGINEERING; SPECIFICATIONS;

CSP; DENOTATIONAL SEMANTICS; FORMAL TECHNIQUES; PROBLEM FRAMES; PROBLEM FRAMES APPROACH; REQUIREMENTS; SOFTWARE PROBLEMS; SOFTWARE SPECIFICATION;

PROBLEM SOLVING;

EID: 84953384602     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1138670.1138681     Document Type: Conference Paper

References (14)

1. J. G. Hall, L. Rapanotti, and M. Jackson. Problem frame semantics for software development. Journal of Software and Systems Modeling, 4(2):189-198, 2005.
2. C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall International, 1985.
3. M. A. Jackson. Problem Frames: Analyzing and Structuring Software Development Problem. Addison-Wesley Publishing Company, 1st edition, 2001.
4. M. A. Jackson and P. Zave. Domain descriptions. In Proceedings of the 1st IEEE International Symposium on Requirements Engineering, pages 56-64. IEEE CS Press, 1993.
5. L. Lai and J. W. Sanders. A weakest-environment calculus for communicating systems. In F. Fritzson and L. Finmo, editors, Proceedings 4th Nordic Transputer Conference: Parallel Programming and Applications, pages 381-395. IOS Press, Ohmsha, 1995.
6. L. Lai and J. W. Sanders. A refinement calculus for communicating processes with state. In H. McGloughlin and G. O'Regan, editors, Proceedings of the 1st Irish Workshop on Formal Methods, Dublin, 1997.
7. N. Maiden. Crews-savre: Scenarios for acquiring and val-idating requirements. Automated Software Engineering, 5(4):419-446, 1998.
8. E. Mendelson. Introduction to Mathematical Logic. Chapman & Hall, 1997.
9. C. Morgan. Programming from Specifications. Prentice Hall International Series in Computer Science. Prentice-Hall International, 1994.
10. L. Rapanotti, J. G. Hall, M. Jackson, and B. Nuseibeh. Architecture-driven problem decomposition. In 12th IEEE International Conference on Requirements Engineering (RE 2004), pages 80-89. IEEE Computer Society, 2004.
11. A. van Lamsweerde. Goal-oriented requirements engineering: A guided tour. In Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE2001), pages 249-263, Toronto, 2001. 27-31 August 2001.
12. E. S. K. Yu. Towards modeling and reasoning support for early-phase requirements engineering. Technical report, Faculty of Information Studies, University of Toronto, 1997.
13. P. Zave and M. A. Jackson. Four dark corners of requirements engineering. ACM Transactions on Software Engineering and Methodology, 6(1), 1997.
14. P. Zave and M. A. Jackson. Conjunction as composition. ACM Transactions on Software Engineering and Methodology, Volume 2, No. 4, October 1993.