Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Abstracting
3
Behaviour models
3
Level of abstraction
3
Software engineering
2
Source codes
2
Specifications
2
Adaptive control systems
1
Adaptive systems
1
Admissible sequences
1
Architecture models
1
Based specification
1
Client code
1
Computer software
1
Contract specifications
1
Contract strengthening
1
Controller synthesis
1
Controllers
1
Enabledness abstractions
1
Finite model
1
Finite state
1
Finite-state abstraction
1
Graceful degradation
1
Industrial strength
1
Level model
1
MicroSoft
1
Multi-tier
1
Non-trivial
1
Novel techniques
1
Operational strategies
1
Planning
1
-
1Materias: “...Level of abstraction...”
CONF -
2Materias: “...Level of abstraction...”
CONF -
3Materias: “...Level of abstraction...”
CONF -
4por D'Ippolito, N., Braberman, V., Kramer, J., Magee, J., Sykes, D., Uchitel, S., ACM Special Interest Group on Software Engineering (SIGSOFT); IEEE Computer Society's Tech. Council on Software Engin. (TCSE)Materias: “...Level model...”
CONF