págs. 1-10
Modelización Conceptual Usando Eventos Estructurales en el Sistema ROSES
María-Ribera Sancho Samso, M. Dolors Costal Costa, Pablo Costa Vallés, Antoni Olivé Ramon, C. Quer, Ana Roselló Martos, Miguel Barceló García
págs. 11-20
Obtención Automática de los Eventos Estructurales en el Sistema ROSES
M. Dolors Costal Costa, María-Ribera Sancho Samso, Ana Roselló Martos, Pablo Costa Vallés, Antoni Olivé Ramon, Carme Quer, Miguel Barceló García
págs. 21-30
Software Architectures Specification with Pi-Calculus
José Carlos Canal Velasco, Ernesto Pimentel Sánchez, José María Troya Linero
págs. 31-40
Especificaciones Orientadas a Objetos Basadas en Restricciones
Jesús Torres Valderrama, José Antonio Troyano Jiménez, José Miguel Toro Bonilla
págs. 41-50
págs. 52-61
Desarrollo del Soporte Metodológico OM: "Oasis Method"
José Ambrosio Toval Álvarez, Joaquín Nicolás, José Luis Fernández Alemán, J. Saez, Diego Heredia
págs. 63-72
Análisis, Diseño e Implementación OO de un Entorno de Prototipación Automática
María Carmen Penades Gramage, José H. Canós, Isidro Ramos Salavert, J. Tolsá
págs. 73-83
Descripción del Modelo de Objetos de OASIS a Través de la Transaction Frame Logic
José Angel Carsí Cubel, Isidro Ramos Salavert, María Carmen Penades Gramage, Vicente Pelechano Ferragud
págs. 85-96
Improving Eiffel Assertions Using Quantified Iterators
Miguel Katrib Mora, Jesús Coira
págs. 97-109
págs. 111-120
GRALPA: Un Lenguaje de Especificación Algebráica
Francisco Velasco Anguita, Marcelino Cabrera, María José Rodríguez Fortiz
págs. 121-131
Control de Calidad de especificaciones del Software Escritas en Lenguaje Natural
Jordi Álvarez Canal, Núria Castell Ariño, Beus Català Roig, Angels Hernández Gómez
págs. 133-140
págs. 141-150
págs. 151-160
Time in Evolution and Functionality of Information Systems
Patricia Paderewski Rodríguez, José Parets Llorca, María José Rodríguez Fortiz, Ana Anaya
págs. 161-170
Adaptabilidad y Componibilidad de Software Orientado a Objetos
Manuel Barrena García, Juan Manuel Murillo Rodríguez, Juan Hernández Núñez, Fernando Sánchez Figueroa, Antonio Polo Márquez
págs. 171-178
págs. 179-186
Oviedo3. Acercando las Tecnologías orientadas a Objetos al Hardware
Juan Manuel Cueva Lovelle, Raúl Izquierdo Castanedo, Darío Álvarez Gutiérrez, Lourdes Tajes Martínez, María Ángeles Díaz Fondón, Fernando Álvarez García, Ana Belén Martínez Prieto
págs. 187-196
Stability: A Criterion for Software Evolution Enhancement
Mario G. Piattini Velthuis, Juan Ignacio Iturrioz Sánchez, O. Díaz
págs. 197-210
págs. 211-221
págs. 223-231
© 2001-2024 Fundación Dialnet · Todos los derechos reservados