Skip to main content

Research Repository

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

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

Addressing the paradigmatic limitation of conventional business process management concepts by proposing new definitions (2014)
Presentation / Conference Contribution

Aligning systems of systems engineering with goal-oriented approaches using the i star framework (2016)
Presentation / Conference Contribution

Aligning riva-based business process architectures with business goals using the i* framework (2013)
Presentation / Conference Contribution

Improving project performance using dependency cycle extraction and analysis (2013)
Presentation / Conference Contribution

Providing traceability for neuroimaging analyses (2013)
Journal Article

Downloadable Citations