Goal-directed requirements acquisition
From MaRDI portal
Publication:685620
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)
nonfunctional requirementsconceptual modelingdomain analysismeta-level inferencerequirements engineeringspecification acquisitionspecification reuse
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