1481 search results - page 32 / 297 » Enriching the Software Development Process by Formal Methods |
137
click to vote
PROFES
2007
Springer
16 years 1 days 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...
137
click to vote
UML
2005
Springer
15 years 11 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 ...
142
click to vote
SAFECOMP
2004
Springer
15 years 11 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...
145
click to vote
SAC
2010
ACM
16 years 23 days 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...
140
click to vote
FM
2009
Springer
16 years 14 days 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...