5 search results - page 1 / 1 » woodpecker 2001 |
WOODPECKER
2001
13 years 5 months ago
2001
WOODPECKER
2001
13 years 5 months ago
2001
WOODPECKER
2001
13 years 5 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...
WOODPECKER
2001
13 years 5 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
2001
13 years 5 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...