Sciweavers

9182 search results - page 8 / 1837
» Requirements for Requirements Management Tools
Sort
View
ISF
2007
87views more  ISF 2007»
13 years 8 months ago
Requirements traceability in model-driven development: Applying model and transformation conformance
The variety of design artifacts (models) produced in a model-driven design process results in an intricate relationship between requirements and the various models. This paper prop...
João Paulo A. Almeida, Maria-Eugenia Iacob,...
CAISE
2006
Springer
14 years 15 days ago
From Requirements Models to Formal Specifications in B
Abstract. The development of critical systems requires a high assurance process from requirements to the running code. Formal methods, such as B, now provide industry-strength tool...
Christophe Ponsard, Emmanuel Dieul
PATAT
1997
Springer
97views Education» more  PATAT 1997»
14 years 27 days ago
Space Allocation: An Analysis of Higher Education Requirements
In October, 1996 we sent a questionnaire on the subject of university space allocation to the estate managers of ninety six British universities. This was conducted as part of the...
Edmund K. Burke, D. B. Varley
ENTER
2006
Springer
14 years 13 days ago
From Information Behaviour of Independent Travellers to Requirements for Information Systems
The complexity and dynamic nature of travelling offers many opportunities for technological support. But printed guidebooks remain the typical companion, despite many weaknesses. ...
Marco Prestipino
IWSSD
1993
IEEE
14 years 27 days ago
An Active Hypertext Model for System Requirements
We are developing tools to support a conversational metaphor for requirements definition and analysis. Our conversational model consists of three components: (1) a hypertextual re...
Colin Potts, Kenji Takahashi