145
click to vote
WOODPECKER
15 years 3 months ago
2001 
Ensuring that specifications are consistent is an important part of specification development and testing. In this paper we introduce the ConsVISor tool for consistency checking o...
124
click to vote
WOODPECKER
15 years 3 months ago
2001 
Abstract. This paper presents an approach for formalizing the RM-ODP (Reference Model for Open Distributed Processing), an ISO and ITU standard. The goal of this formalization is t...
WOODPECKER
15 years 3 months ago
2001 114
click to vote
WOODPECKER
15 years 3 months ago
2001 
Maude is an executable rewriting logic language specially well suited for the specification of object-oriented open and distributed systems. In this paper we explore the possibilit...
|
Knowledge Management