Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Lars Migge
Specification and Validation of Authorisation Constraints Using UML and OCL
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Ensuring Semantic Spatial Constraints in Virtual Environments Using UML/OCL
Test Case Generation Using UML State Diagram and OCL Expression
International Journal of Computer Applications
Specification and Verification of Media Constraints Using UPPAAL
Design, Specification and Verification of Interactive Systems ’98
Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Measuring Test Properties Coverage for Evaluating UML/OCL Model-Based Tests
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Specification and Validation of Reading Skills Hierarchies
Reading Research Quarterly
Developmental
Education
Educational Psychology
Design Specification Validation.
Automatic Transformation of UML Software Specification Into LQN Performance Models Using Graph Grammar Techniques
Software Performance Evaluation Utilizing UML Specification and SRN Model and Their Formal Representation
Journal of Software
