147
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...
125
Voted
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...
102
Voted
WOODPECKER
15 years 3 months ago
2001 117
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