enter search term and/or author name
Flow analysis for verifying properties of concurrent software systems
Matthew B. Dwyer, Lori A. Clarke, Jamieson M. Cobleigh, 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
Gennaro Costagliola, Vincenzo Deufemia, 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...