1541 search results - page 74 / 309 » Tools and Techniques for Model Checking Networked Programs |
82
Voted
OOPSLA
2007
Springer
15 years 6 months ago
2007
Springer
Generative Programming advocates developing a family of systems rather than a set of single systems. Feature modeling can assist in supporting the development of such software pro...
93
Voted
IWPC
2006
IEEE
15 years 6 months ago
2006
IEEE
Several approaches to program comprehension have been proposed along the years, ranging from fact extraction to sophisticated visualization tools. In order to effectively assess t...
101
click to vote
TACAS
2005
Springer
15 years 6 months ago
2005
Springer
ion Himanshu Jain1,2 , Franjo Ivanˇci´c1 , Aarti Gupta1 , and Malay K. Ganai1 1 NEC Laboratories America, Inc., 4 Independence Way, Princeton, NJ 08540 2 School of Computer Scien...
106
Voted
ISSTA
2006
ACM
15 years 6 months ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
101
Voted
ETFA
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper presents a new approach to modelling and verification of function block applications of the IEC 61499 standard. The approach uses the language of logic programming Prol...