4036 search results - page 175 / 808 » Formal Methods |
194
click to vote
RE
2001
Springer
15 years 10 months ago
2001
Springer
In many software application domains, constant evolution is the dominant problem, shaping both software design and the software process. Telecommunication software is the prototyp...
160
click to vote
B
1998
Springer
15 years 10 months ago
1998
Springer
This paper reports on the preparation of test cases using a prototype within the context of a formal development. It describes an approach to building a prototype using an example....
155
click to vote
ICRA
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper presents a class of fundamental control policies suitable for use in a novel method for designing and specifying the dynamic motion of robotic systems. Through recourse...
150
click to vote
ACL
1998
15 years 7 months ago
1998
This paper proposes a method for generating a logicalconstraint-based internal representation from a unification grammar formalism with disjunctive information. Unification gramma...
145
click to vote
TLDI
2009
ACM
16 years 3 months ago
2009
ACM
Object-oriented programs are notable for making use of both rder abstractions and mutable, aliased state. Either feature alone is challenging for formal verification, and the com...