Boehm B: ‘Verifying and validating software requirements and design specifications’, IEEE Software, 1No 1, pp 94–103 (1984).
Davis A M: ‘Software requirements — objects, functions and states’, Prentice Hall (1993).
Bubenko J: ‘Challenges in requirements engineering’, Second IEEE International Symposium on Requirements Engineering (March 1995).
Reed R et al: ‘Methods for service software design’, IEE (1992).
ITU-T Recommendation Z.100: ‘CCITT Specification and Description Language (SDL)’, (June 1994)
Mylopoulos J et al: ‘TELOS: representing knowledge about information systems’, ACM Transactions on Information Systems, 8,No 4, pp 325–362 (1990).
Jacobson I: ‘Object-oriented software engineering — a use-case driven approach’, Addison-Wesley (1993).
Robinson W: ‘Negotiation behaviour during requirements specification’, IEEE (1990).
Bellinzona R et al: ‘Reuse of specifications and designs in a development information system’, IFIP Working Conference on Information System Devevlopment Process, IFIP WG 8.1 (September 1993).
Garrahan J et al: ‘Intelligent network overview’, IEEE Comunications Magazine (March 1993).
Jarke M: ‘ConceptBase — a deductive object base manager’, University of Aachen, Germany (1993).
Jarke M: ‘ConceptBase V4.1 user manual’, University of Aachen, Germany (1996).
Finkelstein A et al: ‘Inconsistency handling in multi-perspective specifications’, IEEE Transactions on Software Engineering, 20,No 8, pp 569–578 (August 1994).