Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Ciencias Informáticas
7
Ingeniería de software
2
SOFTWARE ENGINEERING
2
Análisis y Diseño Orientado a Objetos
1
Casos de uso
1
Formal Languages
1
Formal Specification Techniques
1
Formal methods
1
Formal semantics
1
Formalizing
1
Graphical Modeling Languages
1
Informática
1
Languages
1
Lenguajes gráficos de modelado
1
Lógica dinámica
1
Modeling techniques
1
Models
1
OCL
1
Object-Oriented Analysis and Design
1
Object-Oriented Modeling Techniques
1
Object-Z
1
Semantics
1
Semántica formal
1
Software
1
Software Development Process
1
Software development
1
Software engineering
1
Specification techniques
1
UML
1
Use cases,
1
-
1
-
2
-
3
-
4por Pons, Claudia, Baum, Gabriel Alfredo, Felder, Miguel, Kutsche, Ralf-Detlef, Busse, SusanneMaterias: “...Formal Specification Techniques...”
Publicado 2000
Aportado por: SEDICI (UNLP)Objeto de conferencia -
5
-
6Materias: “...formal modeling; system evolution; model evolution; dynamic logic; UML...”
Aportado por: SEDICI (UNLP)Articulo -
7por Cuaderno, Lucas, Di Lorenzo, Ezequiel, Gaig, Agustín, Garcia, Carlos Diego, Giandini, Roxana Silvia, Ocaranza, Luciana, Pinasco, Claudia Marina, Pons, Claudia, Salvatierra, FacundoMaterias: “...lenguaje de especificación formal para objetos (OCL)...”
Publicado 2006
Aportado por: SEDICI (UNLP)Objeto de conferencia