Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Merge two items
In other projects
Discussion
View source
View history
Purge
English
Log in

Goal-directed requirements acquisition

From MaRDI portal
Publication:685620
Jump to:navigation, search

DOI10.1016/0167-6423(93)90021-GzbMath0792.68024MaRDI QIDQ685620

Axel van Lamsweerde, Stephen Fickas, Anne Dardenne

Publication date: 7 August 1994

Published in: Science of Computer Programming (Search for Journal in Brave)


zbMATH Keywords

nonfunctional requirementsconceptual modelingdomain analysismeta-level inferencerequirements engineeringspecification acquisitionspecification reuse


Mathematics Subject Classification ID

Theory of software (68N99)


Related Items (8)

Agent-oriented modeling of the dynamics of biological organisms ⋮ A Petri net approach for the design and analysis of web services choreographies ⋮ Exploring the interaction of inventory policies across the supply chain: an agent-based approach ⋮ Early verification and validation of mission critical systems ⋮ On environment-driven software model for internetware ⋮ Deriving non-zeno behaviour models from goal models using ILP ⋮ Relating requirements and architectures: A study of data-grids ⋮ BDI-modelling of complex intracellular dynamics







This page was built for publication: Goal-directed requirements acquisition

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:685620&oldid=12591398"
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
MaRDI portal item
This page was last edited on 30 January 2024, at 09:26.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki