Sciweavers

5180 search results - page 114 / 1036
» Requirements Engineering
Sort
View
ECMDAFA
2008
Springer
118views Hardware» more  ECMDAFA 2008»
15 years 3 months ago
A Metamodeling Approach for Reasoning about Requirements
In requirements engineering, there are several approaches for requirements modeling such as goal-oriented, aspect-driven, and system requirements modeling. In practice, companies o...
Arda Goknil, Ivan Kurtev, Klaas van den Berg
ASE
2008
135views more  ASE 2008»
15 years 2 months ago
Deriving event-based transition systems from goal-oriented requirements models
Goal-oriented methods are increasingly popular for elaborating software requirements. They offer systematic support for incrementally building intentional, structural, and operati...
Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebasti&...
129
Voted
CAISE
2008
Springer
15 years 4 months ago
Extended Kaos to Support Variability for Goal Oriented Requirements Reuse
This work is done as part of the Tacos project1 whose aims is to define a component-based approach to specify trustworthy systems from the requirements phase to the specification p...
Farida Semmak, Christophe Gnaho, Régine Lal...
TSE
1998
131views more  TSE 1998»
15 years 2 months ago
Experiences Using Lightweight Formal Methods for Requirements Modeling
—This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies diffe...
Steve M. Easterbrook, Robyn R. Lutz, Richard Covin...
SIGMOD
2003
ACM
94views Database» more  SIGMOD 2003»
16 years 2 months ago
The sensor spectrum: technology, trends, and requirements
Though physical sensing instruments have long been used in astronomy, biology, and civil engineering, the recent emergence of wireless sensor networks and RFID has spurred a renai...
Joseph M. Hellerstein, Wei Hong, Samuel Madden