Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Specification languages
4
Specifications
Component based
2
Component based systems
2
Computer circuits
2
Computing paradigm
2
Design notations
2
Dynamic environments
2
Dynamic models
2
Dynamic re-configuration
2
Essential characteristic
2
Formal logic
2
Formalisation
2
Generic specifications
2
Inverse operators
2
Inverse problems
2
Method of modeling
2
Modal models
2
Model checking
2
Model checking algorithm
2
Object orientation
2
Property specification language
2
Prototype tools
2
Runtimes
2
Software system designs
2
Software systems
2
Temporal logic
2
Buscar alternativas:
"Software systems" » "Software system" (Expander búsqueda), "Software sistemas" (Expander búsqueda)
"Software systems" » "Software system" (Expander búsqueda), "Software sistemas" (Expander búsqueda)
-
1
-
2Materias: “...Software systems...”
SER -
3Publicado 1998Materias: “...Software system designs...”
-
4por Areces, C., Felder, M., Hirsch, D., Yankelevich, D., ACM Special Interest Group on Software Engineering (SIGSOFT)Materias: “...Software system designs...”
CONF