1376 search results - page 176 / 276 » Model-Driven Software Verification |
143
click to vote
SIGSOFT
2003
ACM
15 years 8 months ago
2003
ACM
This paper presents PLUTO, a simple and intuitive methodology to manage the testing process of product lines, described as Product Lines Use Cases (PLUCs). PLUCs are an extension ...
106
click to vote
EUROMICRO
2000
IEEE
15 years 7 months ago
2000
IEEE
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
105
click to vote
APSEC
2004
IEEE
15 years 7 months ago
2004
IEEE
To formalize a software process, its important aspects must be extracted as a model. Many processes are used repeatedly, and the ability to automate a process is also desired. One...
132
click to vote
FMICS
2006
Springer
15 years 7 months ago
2006
Springer
Parking garages that stow and retrieve cars automatically are becoming viable solutions for parking shortages. However, these are complex systems and a number of severe incidents i...
136
click to vote
POPL
2010
ACM
16 years 22 days ago
2010
ACM
We present a verified compiler to an idealized assembly language from a small, untyped functional language with mutable references and exceptions. The compiler is programmed in th...