Spring til hovednavigation
Spring til søgning
Spring til hovedindhold
IT-Universitetet i København Forside
Support til ITU faculty
Dansk
English
Forside
Forskere
Forskningsenheder
Publikationer
Projekter
Presse/medier
Aktiviteter
Priser
Søg efter ekspertise, navn eller tilknytning
Foundational Analysis Techniques for High-Level Transformation Programs
Ahmad Salim Al-Sibahi
Software Quality Research (SQUARE)
Computer Science
Publikation
:
Bog / Antologi / Rapport / Ph.D.-afhandling
›
Ph.d.-afhandling
Oversigt
Fingeraftryk
Fingeraftryk
Dyk ned i forskningsemnerne om 'Foundational Analysis Techniques for High-Level Transformation Programs'. Sammen danner de et unikt fingeraftryk.
Sorter
Vægt
Alfabetisk
Keyphrases
Abstract Domains
20%
Abstract Interpreters
20%
Automated Validation
20%
Automated Verification
20%
Black-box Testing
20%
Domain Design
20%
Expressiveness
20%
High-grade Transformation
100%
Industrial Modernization
20%
Infinite Domain
20%
Instrument Validation
20%
Joint Efforts
20%
Language Constructs
20%
Largest Subset
20%
Memoization
20%
Model Transformation
20%
Operational Semantics
40%
Pattern Matching
20%
Programming Language Research
20%
Prototyping Tools
20%
RASCAL
100%
Refactoring
40%
Schmidt
20%
Semantic Properties
20%
Shape Properties
20%
Specialized Language
20%
Strong Typing
20%
Symbolic Execution
40%
Test Case Generator
20%
Test Coverage
20%
Test Generation Tools
20%
Transformation Languages
100%
Translation Validation
20%
Traversal
20%
Turing Complete
20%
Verification Tool
40%
Computer Science
Analysis Technique
100%
Interpreter
50%
Model Transformation
50%
Modernization Project
50%
Operational Semantics
100%
Pattern Matching
50%
Program Transformation
100%
Programming Language
50%
Refactoring
100%
Symbolic Execution
100%
Systematic Analysis
50%
Test Generation
50%