5668 search results - page 100 / 1134 » Overlaps in Requirements Engineering |
ICRE
1998
IEEE
14 years 2 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
WER
1999
Springer
14 years 2 months ago
1999
Springer
In this article we defend the idea that social aspects have strong influence in the software requirements elicitation (Goguen 1993), which drive us to find help in the social scien...
ACSC
2001
IEEE
14 years 2 months ago
2001
IEEE
Management of system requirements and system architectures is part of any software engineering project. But it is usually very tedious and error prone. In particular, managing the...
ICSE
1995
IEEE-ACM
14 years 1 months ago
1995
IEEE-ACM
A requirement is a desired relationship among phenomena of the environment of a system, to be brought about by the hardware/software machine that will be constructed and installed...
RE
2008
Springer
13 years 8 months ago
2008
Springer
In this paper, we describe a creativity workshop that was used in a large research project, called APOSDLE, to generate creative ideas and requirements for a workintegrated learni...