|
| Abstract Diagnosis (5) | Abstract Interpretation (12) | Abstract Verification (5) |
| Abstraction (2) | Algebraic-oriented Specification (1) | Approximate Filtering of XML (2) |
| Assertion Language (2) | Bioinformatics (1) | call-time choice semantics (1) |
| cc (9) | CCT (1) | Compositionality (2) |
| Cost Matrixes (1) | Cost-sensitive Evaluation (1) | Curry (4) |
| Debugging (7) | Declarative Debugging (3) | Declarative Diagnosis (3) |
| Description logic (2) | DIG (1) | Fold/Unfold Transformations (2) |
| Functional Programming (1) | Functional-logic Programming (6) | functions (1) |
| GVERDI (2) | Haskell (1) | Homeomorphic Tree embedding (1) |
| Inductive Learning (1) | Inductive Verification (8) | Logic (1) |
| Logic Programming (7) | Maude (2) | model checking (8) |
| Model-checking (2) | OBJ (1) | OCL (1) |
| Ontology-based Approximate Filter (1) | OWL (2) | partial rewriting (1) |
| Pattern Matching (1) | Petri nets (1) | PHIL (2) |
| program correction (2) | Program Transformation (4) | property-oriented specifications (3) |
| Quantitative Pathway Logic (1) | Rewriting Logic (7) | Rule-based domain specific language (1) |
| Semantic Filtering (1) | Semantic Verification (1) | semantic-based inference methods (1) |
| Semantics (5) | semantics-based inference methods (2) | SLD-derivations (2) |
| Specification of Web Applications (1) | symbolic representation (2) | tccp (2) |
| Trace Slicing (1) | Transformation of logic programs (2) | Tree Simulation (2) |
| TRS (1) | UML Design Patterns (1) | UML diagrams (1) |
| UML formal specification (1) | UML models (1) | Unfolding (2) |
| Validation (1) | VERDI (1) | Verification (3) |
| Verification of Web Applications (5) | verification of Web sites (1) | Web site debugging (1) |
| Web site repair (1) | Web Site Verification (2) | Web-TLR (1) |
| Web-VERDI (2) | XML (1) | |
