Partition Refinement of Component Interaction Automata: Why Structure Matters More Than Size
Lumpe, Markus, Vasa, Rajesh
Published in Electronic proceedings in theoretical computer science (12.10.2010)
Published in Electronic proceedings in theoretical computer science (12.10.2010)
Get full text
Journal Article
GLoo: A Framework for Modeling and Reasoning About Component-Oriented Language Abstractions
Get full text
Book Chapter
Conference Proceeding
On the Application of Inequality Indices in Comparative Software Analysis
Goloshchapova, Olga, Lumpe, Markus
Published in 2013 22nd Australian Software Engineering Conference (01.06.2013)
Published in 2013 22nd Australian Software Engineering Conference (01.06.2013)
Get full text
Conference Proceeding
Formal Aspects of Component Software: 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
Year of Publication 14.09.2017
Get full text
Conference Proceeding
KBRE: a framework for knowledge-based requirements engineering
Nguyen, Tuong Huan, Vo, Bao Quoc, Lumpe, Markus, Grundy, John
Published in Software quality journal (01.03.2014)
Published in Software quality journal (01.03.2014)
Get full text
Journal Article
Using Metadata Transformations to Integrate Class Extensions in an Existing Class Hierarchy
Get full text
Book Chapter
Conference Proceeding