Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Software engineering
3
Abstracting
2
automated abstraction
2
Abstraction techniques
1
Admissible sequences
1
Behavior model
1
Behaviour modelling
1
Behaviour models
1
Computer aided software engineering
1
Concrete state
1
Controller synthesis
1
Data structures
1
Eclipse plug-in
1
Engineering activities
1
Finite model
1
Industrial strength
1
Iterative development
1
Iterative methods
1
LAPSUS
1
Large scale systems
1
Level of abstraction
1
Model checking
1
Modelling and analysis
1
Non-trivial
1
Novel techniques
1
OBSSLICE
1
Partial behaviour modelling
1
Protocol specifications
1
Real time systems
1
Requirements/specifications
1
-
1Materias: “...Engineering activities...”
-
2Materias: “...Software engineering...”
-
3por Braberman, Víctor Adrián, de Caso, Guido, Fischbein, Darío, Garbervetsky, Diego, Sibay, Germán EmirMaterias: “...Software engineering...”
Publicado 2013
-
4por Cavatorta, Lucía Irene, de Caso, Guido, Braberman, Víctor Adrián, Garbervetsky, Diego, Kicillof, Nicolás, Schapachnik, Fernando PabloMaterias: “...Computer aided software engineering...”
Publicado 2006