1481 search results - page 32 / 297 » Enriching the Software Development Process by Formal Methods |
106
click to vote
PROFES
2007
Springer
15 years 9 months ago
2007
Springer
Most industries are challenging to increase productivity of software development. Often many process improvement activities are started with enthusiasm, unfortunately most of these...
112
Voted
UML
2005
Springer
15 years 8 months ago
2005
Springer
Today, model-driven development is getting more sophisticated and can be used for modeling enterprises and developing application systems. Since current interoperability solutions ...
104
click to vote
SAFECOMP
2004
Springer
15 years 8 months ago
2004
Springer
Today the development of safety-critical systems is to a large extent guided by standards that make demands on both development process and system quality. Before the advent of the...
117
click to vote
SAC
2010
ACM
15 years 10 months ago
2010
ACM
This paper proposes a software architecture and a development process for engineering dependable and controllable self-organising (SO) systems. Our approach addresses dependabilit...
110
Voted
FM
2009
Springer
15 years 9 months ago
2009
Springer
We examine the the industrial application of formal methods using data gathered in a review of 62 projects taking place over the last 25 years. The review suggests that formal meth...