1199 search results - page 118 / 240 » Software Verification and Software Engineering a Practitione... |
150
click to vote
DICS
2006
15 years 6 months ago
2006
Abstract. Group communication is a programming abstraction that allows a distributed group of processes to provide a reliable service in spite of the possibility of failures within...
156
click to vote
SIGSOFT
2003
ACM
15 years 10 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 ...
122
click to vote
EUROMICRO
2000
IEEE
15 years 9 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...
116
click to vote
APSEC
2004
IEEE
15 years 8 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...
130
click to vote
ESEC
1997
Springer
15 years 8 months ago
1997
Springer
The market for software components is growing, driven on the "demand side" by the need for rapid deployment of highly functional products, and on the "supply side&q...