2419 search results - page 219 / 484 » A Formal Approach to Software Testing |
155
click to vote
ICFEM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Due to new emerging areas in the communication field there is a constant need for the design of novel communication protocols. This demands techniques for a rapid and eff...
112
click to vote
SERP
2003
15 years 5 months ago
2003
In this paper we present a new approach to writing Makefiles and a system called maker which helps in this process. Our main goals are: ease the process of writing user Makefiles...
119
click to vote
TACAS
2009
Springer
15 years 10 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
126
click to vote
MODELS
2009
Springer
15 years 10 months ago
2009
Springer
The proliferation of smart spaces and emergence of new standards, such as Web Services, have paved the way for a new breed of software systems. Often the complete functional and Qo...
114
click to vote
IADIS
2004
15 years 5 months ago
2004
This paper outlines new perspectives on the teaching and learning of software systems development in large groups based on a newly designed, final year, Software Systems Analysis ...