David Bolton
Using domain knowledge in requirements capture and formal specification construction
Bolton, David; Furber, David; Green, Stewart; Jones, Sarah; Till, David
Authors
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
| 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 |
You might also like
Improving project performance using dependency cycle extraction and analysis
(2013)
Presentation / Conference Contribution
Providing traceability for neuroimaging analyses
(2013)
Journal Article
Establishing a business process management system in a telecoms company
(2010)
Book Chapter
Process architectures in higher education
(2009)
Presentation / Conference Contribution
Downloadable Citations
About UWE Bristol Research Repository
Administrator e-mail: repository@uwe.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2025
Advanced Search