The meaning of requirements

Annals of Software Engineering

Volumn 3, Issue , 1997, Pages 5-21

  Jackson, Michael ^a  

^a NONE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0031483502     PISSN: 10227091     EISSN: None     Source Type: Journal    
DOI: 10.1023/a:1018990005598     Document Type: Article

References (14)

1. Dardenne, A., A. van Lamsweerde, and S. Fickas (1993), "Goal-Directed Requirements Acquisition," Science of Computer Programming 20, 1, 3-50.
2. Easterbrook, S. (1993), "Domain Modelling with Hierarchies of Alternative Viewpoints," In Proceedings of the IEEE International Symposium on Requirements Engineering, IEEE Computer Society Press, Los Alamitos, CA, pp. 65-72.
3. Easterbrook, S. and B. Nuseibeh (1995), "Managing Inconsistencies in an Evolving Specification," In Proceedings of the Second IEEE International Symposium on Requirements Engineering, IEEE Computer Society Press, Los Alamitos, CA, pp. 48-55.
4. Feather, M. S. (1987), "Language Support for the Specification and Development of Composite Systems," ACM Transactions on Programming Languages and Systems 9, 2, 198-234.
5. Ferguson, E. S. (1992), Engineering and the Mind's Eye, MIT Press, Cambridge, MA and London, UK.
6. Jackson, M. (1995), Software Requirements and Specifications, Addison-Wesley, Reading, MA.
7. Jackson, M. and P. Zave (1993), "Domain Descriptions," In Proceedings of the Second IEEE International Symposium on Requirements Engineering, IEEE Computer Society Press, Los Alamitos, CA, pp. 56-64.
8. Jackson, M. and P. Zave (1995), "Deriving Specifications from Requirements: An Example," In Proceedings of the 17th International Conference on Software Engineering, ACM and IEEE Computer Society Press, Los Alamitos, CA, pp. 15-24.
9. Leveson, N. G. and C. S. Turner (1993), "An Investigation of the Therac-25 Accidents," IEEE Computer 26, 7, 18-41.
10. Neumann, P. (1995), Computer-Related Risks, Addison-Wesley, Reading, MA.
11. Robinson, M. and L. Bannon (1991), "Questioning Representations," In Proceedings of the Second European Conference on Computer-Supported Cooperative Work ECSCW-91, L. Bannon, M. Robinson, and K. Schmidt, Eds., Kluwer, Dordrecht.
12. Van Lamsweerde, A., R. Darimont, and P. Massonet (1995), "Goal-Directed Elaboration of Requirements for a Meeting Scheduler: Problems and Lessons Learnt," In Proceedings of the Second IEEE International Symposium on Requirements Engineering, IEEE Computer Society Press, Los Alamitos, CA, pp. 194-203.
13. Woodcock, J. and J. Davies (1996), Using Z: Specification, Refinement and Proof, Prentice-Hall.
14. Wordsworth, J. B. (1992), Software Development with Z: A Practical Approach to Formal Methods in Software Engineering, Addison-Wesley.