8627 search results - page 435 / 1726 » Software Engineering Using RATionale |
161
Voted
TMRA
2005
Springer
16 years 9 days 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 ...
176
click to vote
VSTTE
2005
Springer
16 years 9 days ago
2005
Springer
We argue for the importance of tool integration in achieving the Program Verifier Grand Challenge. In particular, we argue for what we call strong integration, i.e. a co-operative...
173
click to vote
VSTTE
2005
Springer
16 years 9 days 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...
171
click to vote
EDBTW
2004
Springer
16 years 6 days ago
2004
Springer
In this paper we thoroughly analyze a distributed procedure for the problem of local database update in a network of database peers, useful for data exchange scenarios. The algorit...
194
click to vote
VMCAI
2004
Springer
16 years 5 days ago
2004
Springer
This paper shows how to achieve, under certain conditions, abstract-interpretation ms that enjoy the best possible precision for a given abstraction. The key idea is a simple proce...