Using domain knowledge in requirements capture and formal specification construction

• Authors:

• David Bolton;David Furber;Stewart Green;Sara Jones;David Till

• Affiliations:

• City Univ., London, UK;King's College, London, UK;King's College, London, UK;City Univ., London, UK;City Univ., London, UK

• Venue:
• Requirements engineering
• Year:
• 1994