enter search term and/or author name
Flow analysis for verifying properties of concurrent software systems
Jamieson M. Cobleigh, Lori A. Clarke, Matthew B. Dwyer, Gleb Naumovich
This article describes FLAVERS, a finite-state verification approach that analyzes whether concurrent systems satisfy user-defined, behavioral properties. FLAVERS automatically creates a compact, event-based model of the system that supports...
A framework for modeling and implementing visual notations with applications to software engineering
Vincenzo Deufemia, Gennaro Costagliola, Giuseppe Polese
We present a framework for modeling visual notations and for generating the corresponding visual programming environments. The framework can be used for modeling the diagrammatic notations of software development methodologies, and to generate visual...