7892 search results - page 165 / 1579 » Programming with Models |
109
click to vote
ICALP
2000
Springer
15 years 5 months ago
2000
Springer
Abstract A new unfolding approach to LTL model checking is presented, in which the model checking problem can be solved by direct inspection of a certain finite prefix. The techniq...
121
click to vote
ARCS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. In order to support the dependability analysis of a system under design in an early phase of the design process, so-called fault tolerance libraries can be created that c...
160
click to vote
LCPC
1992
Springer
15 years 5 months ago
1992
Springer
The Gamma model is a minimal programming language based on local multiset rewriting (with an elegant chemical reaction metaphor); Hankin et al derived a calculus of Gamma programs...
113
click to vote
FMICS
2006
Springer
15 years 5 months ago
2006
Springer
Formal specifications are more useful and easier to develop if they are executable. In this work, we describe a system for executing specifications written in the Java Modeling Lan...
116
click to vote
CRIWG
2006
15 years 2 months ago
2006
This paper presents a system called CodeBreaker for supporting small and medium size software development based on an extreme programming principle. The system follows a decentrali...