Skip to main content

Research Repository

Advanced Search

Using domain knowledge in requirements capture and formal specification construction

Bolton, David; Furber, David; Green, Stewart; Jones, Sarah; Till, David

Authors

David Bolton

David Furber

Stewart Green Stewart.Green@uwe.ac.uk
Associate Lecturer - CATE - CCT - UCCT0001

Sarah Jones

David Till



Contributors

Marina Jirotka
Editor

Joseph A. Goguen
Editor

Citation

Bolton, D., Furber, D., Green, S., Jones, S., & Till, D. (1994). Using domain knowledge in requirements capture and formal specification construction. In M. Jirotka, & J. A. Goguen (Eds.), Requirements Engineering: Social and Technical Issues (141-162). San Diego, CA, USA: Academic Press

Publication Date Jul 6, 1994
Peer Reviewed Peer Reviewed
Pages 141-162
Series Title Computers and People
Book Title Requirements Engineering: Social and Technical Issues
ISBN 9780123853356
Keywords domain knowledge, formal specification
Public URL https://uwe-repository.worktribe.com/output/1108134