1481 search results - page 51 / 297 » Enriching the Software Development Process by Formal Methods |
169
click to vote
JCSS
2011
14 years 10 months ago
2011
It is widely recognised that software development is a complex process. Among the factors that contribute to its inherent complexity is the gap between the design and the formal a...
117
click to vote
CIBSE
2009
ACM
15 years 9 months ago
2009
ACM
Model Driven Engineering (MDE) proposes a software development process in which software is built by constructing one or more models, and transforming these into other models. In t...
132
click to vote
ENTCS
2007
15 years 3 months ago
2007
Performance prediction methods for component-based software systems aim at supporting design decisions of software architects during early development stages. With the increased a...
111
click to vote
TAP
2009
Springer
15 years 9 months ago
2009
Springer
Safety and security are claimed major concerns by the formal FoCaL development environment. In [7] we introduced a safety development cycle customised to FoCaL. In this paper, we e...
132
click to vote
JSS
2008
15 years 3 months ago
2008
The increasing trend toward complex software systems has highlighted the need to incorporate quality requirements earlier in the development cycle. We propose a new methodology fo...