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
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 |
You might also like
An ontology-based i* goal-oriented referential integrity model in systems of systems context
(2019)
Journal Article
Aligning systems of systems engineering with goal-oriented approaches using the i star framework
(2016)
Presentation / Conference
Addressing the paradigmatic limitation of conventional business process management concepts by proposing new definitions
(2014)
Presentation / Conference
Providing traceability for neuroimaging analyses
(2013)
Journal Article
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 © 2024
Advanced Search