Buscar
Mostrando ítems 1-7 de 7
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)
Artículo
Tesis Doctoral
Herencia y clasificación en un lenguaje de especificación orientado a objetos
(1998)
Esta Tesis se estructura en cinco partes. La primera es la Introducción, en la que se presenta, por un lado, la idea que ha motivado el trabajo desarrollado a lo largo de toda la Tesis y, por otro, todas las características ...
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 ...
Artículo
Software Quality Through Formal OO Specification
(WITPress, 1995)