Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Behavioral model
Behavioral modeling
2
Requirements engineering
2
Semantics
2
Behavioral properties
1
Computational linguistics
1
Computer hardware description languages
1
Declarative Languages
1
Declarative models
1
Declarative semantics
1
Formal Description
1
Formal Specifications
1
Formal languages
1
Formal specification
1
Graphical languages
1
Logic-based approach
1
Operational commitments
1
Pattern representation
1
Pattern specifications
1
Property Specification
1
Regular properties
1
Requirements Engineering
1
Software design
1
Software verification
1
Specification languages
1
Specification patterns
1
Specifications
1
Temporal logic
1
Verification
1
Visual languages
1
-
1Materias: “...Formal Specifications...”
JOUR -
2Materias: “...Formal languages...”
JOUR