1481 search results - page 23 / 297 » Enriching the Software Development Process by Formal Methods |
100
click to vote
KBSE
1997
IEEE
15 years 7 months ago
1997
IEEE
Abstract: This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over ...
126
click to vote
EUROSPI
2005
Springer
15 years 8 months ago
2005
Springer
Even if the application developers produce software in accordance with the customer requirements, they cannot guarantee that the software will behave in a safe way during the lifet...
110
click to vote
SNPD
2003
15 years 4 months ago
2003
From the early design phase through the implementation performance assessment of software has been subject to a great variety of approaches in the past. Performance modeling artif...
133
click to vote
MODELS
2010
Springer
15 years 1 months ago
2010
Springer
An MDSD process is often organised as transformation chain. This can threaten the Separation of Concerns (SoC) principle, because information is replicated in, scattered over, and ...
105
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Almost all fundamental advances in science and engineering crucially depend on the availability of extremely capable high performance computing (HPC) systems. Future HPC systems w...