Robustness analysis is a part of the validation process that includes testing the behavior of a
system against its specification under unexpected conditions in order to check whether the …

Umple is a technology designed to provide the benefits of model-driven engineering in a
usable way. It is a textual modeling language, allowing agile developers to quickly …

This paper presents our work on the optimization of hierarchical, concurrent state machines
for the purpose of model checking software systems. We propose an encoding strategy that …

UmpleOnline is a widely used modeling tool that allows practitioners to create class
diagrams, state diagrams and several other model types textually, with the option to edit …

In this thesis, we present mixsets, an approach to combine annotative and compositional
fragments for specifying code variants to form software product lines (SPLs). There are three …

In this thesis we present a language and technique to facilitate model-based testing. The
core of our approach is an xUnit-like language that allows tests to refer to model entities …

This paper elaborates on the deterministic analysis method for event-driven embedded
system to reduce the impact of uncertain factors at the design stage. By abstracting each unit …

This thesis presents our method to integrate formal methods with model-driven engineering.
Although a large amount of literature exists with the goal of facilitating the adoption of formal …

A Bibliography of Publications in Computer Languages Page 1 A Bibliography of Publications in
Computer Languages Nelson HF Beebe University of Utah Department of Mathematics, 110 …