Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Specifications
14
Software engineering
7
Specification languages
7
Model checking
5
Semantics
4
Abstracting
3
Application programs
3
Computer software
3
Formal methods
3
Adaptive systems
2
Alloy
2
Automated support
2
Behavioral properties
2
Behaviour models
2
Cells
2
Computer circuits
2
Computer hardware description languages
2
Computer programming languages
2
Formal logic
2
Learning systems
2
Level of abstraction
2
Memory consumption
2
Mobile phones
2
Modal Transition Systems
2
Models
2
Points-to analysis
2
Property specification language
2
Reactive system
2
Resource usage
2
Risk assessment
2
-
1Materias: “...Property Specification...”
CONF -
2Materias: “...Based specification...”
CONF -
3por Areces, C., Felder, M., Hirsch, D., Yankelevich, D., ACM Special Interest Group on Software Engineering (SIGSOFT)Materias: “...Specification languages...”
CONF -
4Materias: “...Property specification language...”
CONF -
5Materias: “...Specific heat...”
CONF -
6Materias: “...Software specification...”
CONF -
7Materias: “...Specification languages...”
CONF -
8
-
9Materias: “...Specification languages...”
CONF -
10Materias: “...Partial specifications...”
CONF -
11por Melani, C., Campana, M., Lombardot, B., Rizzi, B., Veronesi, F., Zanella, C., Bourgine, P., Mikula, K., Peyriéras, N., Sarti, A.Materias: “...sensitivity and specificity...”
CONF -
12Materias: “...Contract specifications...”
CONF -
13Materias: “...Scenario-based specifications...”
CONF -
14Materias: “...Specification and verification...”
CONF -
15Materias: “...Specification languages...”
CONF -
16por De Monasterio, J., Salles, A., Lang, C., Weinberg, D., Minnoni, M., Travizano, M., Sarraute, C., Kumar R., Caverlee J., Tong H., ACM SIGMOD; Association for Computing Machinery (ACM); et al.; IEEE; IEEE Computer Society; IEEE TCDEMaterias: “...Specific areas...”
CONF -
17Materias: “...Specifications...”
CONF -
18Materias: “...Specification mining...”
CONF -
19Materias: “...Domain specific languages...”
CONF -
20Materias: “...Specifications...”
CONF