I Jornadas de Trabajo de Ingeniería del Software
Información General
- Autores: José Miguel Toro Bonilla (coord.)
- Editores: Sevilla: Departamento de Lenguajes y Sistemas Informáticos. Universidad de Sevilla, 1996
- Año de publicación: 1996
- País: España
- Idioma: inglés
- Texto completo no disponible (Saber más ...)
Listado de artículos
-
ER-Tr Diagrams: Conceptual Specification Of Transactions in Object Oriented Systems
Carlos A. Heuser, Dante Carlos Antunes
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
Vicente Pelechano Ferragud
, Oscar Pastor López , César Emilio Insfrán Pelozo , José Angel Carsí Cubel 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 Herediapá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 Coirapá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ómezpágs. 133-140
Using Non-Functional Requeriments in Component-Based Software Construction
Pere Botella i López
, Xavier Franch , Xavier Burgués Illapágs. 141-150
Prototipado de Programas Usando Especificaciones Funcionales y No Funcionales
Xavier Franch
, Pere Botella i López 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 Anayapá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íazpágs. 197-210
págs. 211-221
Experiencias en el Uso de Patterns Como Herramienta de Ayuda en el Desarrollo de un Framework de Hipermedia
Gustavo Rossi
, Alejandra Fátima Garridopágs. 223-231
