Sciweavers

1141 search results - page 1 / 229
» From Rigorous Requirements Engineering to Formal System Desi...
Sort
View
55
Voted
ERCIM
2008
83views more  ERCIM 2008»
14 years 9 months ago
From Rigorous Requirements Engineering to Formal System Design
Christophe Ponsard, Philippe Massonet, Gautier Dal...
SIGSOFT
2008
ACM
15 years 10 months ago
Requirements engineering: from craft to discipline
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. This task is intrinsically difficult....
Axel van Lamsweerde
RE
2008
Springer
14 years 9 months ago
Design Science, Engineering Science and Requirements Engineering
For several decades there has been a debate in the computing sciences about the relative roles of design and empirical research, and about the contribution of design and research ...
Roel Wieringa, J. M. G. Heerkens
87
Voted
ISORC
2007
IEEE
15 years 3 months ago
On Rigorous Design and Implementation of Fault Tolerant Ambient Systems
Developing fault tolerant ambient systems requires many challenging factors to be considered due to the nature of such systems, which tend to contain a lot of mobile elements that...
Alexei Iliasov, Alexander Romanovsky, Budi Arief, ...
SEFM
2003
IEEE
15 years 2 months ago
From Requirements to Design: Formalizing the Key Steps
Despite the advances in software engineering since 1968, current methods for going from a set of functional requirements to a design are not as direct, repeatable and constructive...
R. Geoff Dromey