Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Specifications
2
Alloy Analyzer
1
Alloy analyzers
1
Alloys
1
Analysis and verifications
1
Automated analysis
1
Calculations
1
Communication device
1
Communication mechanisms
1
Complex networks
1
Component based design
1
Component-based system design
1
Computational linguistics
1
Computer aided software engineering
1
Formalisation
1
Interoperability
1
Interoperating networks
1
Proof calculus
1
Semiautomatic theorem
1
Software engineering
1
Software prototyping
1
System specification
1
Theorem provers
1
Verification
1
-
1Materias: “...Software engineering...”
SER -
2Materias: “...Computer aided software engineering...”
SER