ACM DL

Software Engineering and Methodology (TOSEM)

Menu

Search Issue
enter search term and/or author name

Archive


ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 13 Issue 4, October 2004

Flow analysis for verifying properties of concurrent software systems
Matthew B. Dwyer, Lori A. Clarke, Jamieson M. Cobleigh, Gleb Naumovich
Pages: 359-430
DOI: 10.1145/1040291.1040292
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
Pages: 431-487
DOI: 10.1145/1040291.1040293
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...