Buscar
Mostrando ítems 1-4 de 4
Ponencia
A Technique for Distributed Systems Specification
(IEEE Computer Society, 1995)
In this paper we show how an object-oriented specification language is usefvl for the specification of distributed systems. The main constructors in this language are the objects. An object consists of a state, a behaviour ...
Ponencia
Especificación orientada a objetos desde un enfoque algebraico
(Universidad Politécnica de Valencia, 1994-09)
Este trabajo es un intento de relacionar las, especificaciones algebraicas, de datos y procesos, con el paradigma orientado a objetos, desde el punto de vista de un lenguaje de especificación formal. Mostramos algunas ...
Ponencia
Especialización en el ámbito del modelo conceptual
(Universidad de Extremadura: Grupo de Paralelismo, 1999-11)
Ponencia
Object Oriented Specification based on Restrictions: Participation and Interaction
(WSES-Press Editions, 1999)
We show in this paper an object oriented model (and an associate language called TESORO) based on several kinds of restrictions. We describe the template of an object class using four types of restrictions: a) static ...