Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Specification languages
Algebra
1
Algebraic specifications
1
Application programs
1
Computer circuits
1
Critical activities
1
Different analysis techniques
1
Diverse techniques
1
Domestic appliances
1
Formal Description
1
Formal definition
1
Formal development
1
Formal methods
1
Formal specification
1
Formal systems
1
Graphical interface
1
Heterogeneous software
1
Mobile phones
1
NASA
1
Prototype verification systems
1
Reusability
1
Software analysis
1
Software artifacts
1
Software engineering
1
Software failure
1
Specifications
1
Theorem proving
1
Universal algebra
1
-
1
-
2