8009 search results - page 44 / 1602 » cans 2005 |
161
click to vote
TACAS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. A Craig interpolant for a mutually inconsistent pair of formulas (A, B) is a formula that is (1) implied by A, (2) inconsistent with B, and (3) expressed over the common ...
140
click to vote
TMRA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This paper describes TMRAP, an abstract web service interface for remote access to topic maps. It can be used to access a topic map repository to query or update a topic ...
142
click to vote
UML
2005
Springer
15 years 11 months ago
2005
Springer
In the context of Model Driven Development, models play a central role. Since models can nowadays be executed, they are used not only for description but also for production [32][3...
137
click to vote
VSTTE
2005
Springer
15 years 11 months ago
2005
Springer
The grand challenge that is the focus of this conference targets the development of a practical methodology for software verification: a methodology that can help us to reduce the ...
156
click to vote
VSTTE
2005
Springer
15 years 11 months ago
2005
Springer
After some general remarks about program verification, we introduce separation logic, a novel extension of Hoare logic that can strengthen the applicability and scalability of pro...