185 search results - page 18 / 37 » SOFL: A Formal Engineering Methodology for Industrial Applic... |
OOPSLA
2004
Springer
15 years 5 months ago
2004
Springer
Extreme Programming (XP) is an agile software development methodology composed of several practices that purportedly yield high quality and high customer satisfaction. However, th...
106
click to vote
ASE
2008
14 years 11 months ago
2008
In the last years several efforts have been devoted by researchers in the Requirements Engineering community to the development of methodologies for supporting designers during req...
FM
1999
Springer
15 years 4 months ago
1999
Springer
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
MEMOCODE
2003
IEEE
15 years 5 months ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...
117
click to vote
FM
1997
Springer
15 years 3 months ago
1997
Springer
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...