Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Behaviour models
28
Computer software
12
Modal Transition Systems
12
Software engineering
10
Abstracting
8
Mathematical models
8
Behaviour modelling
6
Controller synthesis
6
Finite-state abstraction
6
Labelled transition systems
6
Level of abstraction
6
Semantics
6
Specifications
6
Artificial intelligence
4
Code understanding
4
Controllers
4
Emergent behaviours
4
Global representation
4
Global view
4
Goal models
4
Infinite state
4
Iterative development
4
Model checking
4
Modular reasoning
4
Partial information
4
Software development process
4
Synthesis techniques
4
behaviour models
4
code understanding
4
contract conformance
4
-
1por Braberman, Víctor Adrián, de Caso, Guido, Fischbein, Darío, Garbervetsky, Diego, Sibay, Germán EmirMaterias: “...Partial behaviour modelling...”
Publicado 2013
-
2por Uchitel, S., Alrajeh, D., Ben-David, S., Braberman, V., Chechik, M., De Caso, G., D'Ippolito, N., Fischbein, D., Garbervetsky, D., Kramer, J., Russo, A., Sibay, G.Materias: “...Partial behaviour modelling...”
JOUR -
3Publicado 2006Materias: “...Behaviour modelling...”
-
4Materias: “...Behaviour modelling...”
CONF -
5Materias: “...behaviour model synthesis...”
-
6Materias: “...behaviour model synthesis...”
CONF -
7Publicado 2009Materias: “...Behaviour modelling...”
-
8
-
9
-
10
-
11
-
12Publicado 2016Materias: “...Behaviour models...”
-
13Materias: “...Behaviour models...”
JOUR -
14
-
15
-
16Materias: “...Behaviour models...”
CONF -
17por Marti Puig, Pere, Cusidó, Jordi, Lozano, Francisco J., Serra Serra, Moises, Caiafa, Cesar Federico, Solé Casals, JordiMaterias: “...normal behaviour models...”
Publicado 2022
Aportado por: SEDICI (UNLP)Articulo -
18Publicado 2008Materias: “...Partial Behaviour Models...”
-
19
-
20Materias: “...Partial behaviour models...”