Integrating object-oriented modeling techniques with formal specification techniques

The increasing complexity of software systems makes their development complicated and error prone. A widely used and generally accepted technique in software engineering is the combination of different models (or views) for the description of software systems. The primary benefit of this approach is...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Pons, Claudia, Baum, Gabriel Alfredo, Felder, Miguel, Kutsche, Ralf-Detlef, Busse, Susanne
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2000
Materias:
Ciencias Informáticas
Formal Specification Techniques
Object-Oriented Modeling Techniques
Modeling techniques
Specification techniques
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/22159
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares