A Scalable Incomplete Test for the Boundedness of UML RT Models
Abstract elided by the publisher.
Related papers
- Messir: a text-first DSL-based approach for UML requirements engineering (tool demo) SLE 2018
- Object-Oriented Reading Techniques for Inspection of UML Models - An Industrial Experiment ECOOP 2003
- UML-F: A Modeling Language for Object-Oriented Frameworks ECOOP 2000
- A Problem-Oriented Analysis of Basic UML Static Requirements Modeling Concepts OOPSLA 1999
- A development environment for the Alf language within the MagicDraw UML tool (tool demo) SLE 2017
- The Architecture of a UML Virtual Machine OOPSLA 2001
- Automata Learning with an Incomplete Teacher ECOOP 2023
- Towards a Formalization of the Unified Modeling Language ECOOP 1997