1356 search results - page 73 / 272 » The ideal of verified software |
104
click to vote
ISSTA
2004
ACM
15 years 5 months ago
2004
ACM
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...
ICSE
2000
IEEE-ACM
15 years 3 months ago
2000
IEEE-ACM
Object-oriented modeling has become the de-facto standard in the early phases of a software development process during the last decade. The current state-of-the-art is dominated b...
WSC
2000
15 years 1 months ago
2000
Recent developments in software component technology have renewed the promise of reusable software. Combining this with the possibilities of sharing simulation results and models ...
ECBS
2010
IEEE
15 years 5 months ago
2010
IEEE
The Uniļ¬ed Modeling Language (UML) is the standard to specify the structure and behaviour of software systems. The created models are a constitutive part of the software speciļ¬...
SEKE
2010
Springer
14 years 10 months ago
2010
Springer
ā This paper presents an automated environment configuration testing strategy developed as part of an action research project to deal with issues of staging environment instabili...