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 5 Issue 3, July 1996

A framework for formalizing inconsistencies and deviations in human-centered systems
Gianpaolo Cugola, Elisabetta Di Nitto, Alfonso Fuggetta, Carlo Ghezzi
Pages: 191-230
DOI: 10.1145/234426.234427
Most modern business activities are carried out by a combination of computerized tools and human agents. Typical examples are engineering design activities, office procedures, and banking systems. All these human-centered...

Automated consistency checking of requirements specifications
Constance L. Heitmeyer, Ralph D. Jeffords, Bruce G. Labaw
Pages: 231-261
DOI: 10.1145/234426.234431
This article describes a formal analysis technique, called consistency checking, for automatic detection of errors, such as type errors, nondeterminism, missing cases, and circular definitions, in requirements specifications....

Lightweight lexical source model extraction
Gail C. Murphy, David Notkin
Pages: 262-292
DOI: 10.1145/234426.234441
Software engineers maintaining an existing software system often depend on the mechanized extraction of information from system artifacts. Some useful kinds of information—source models—are well known: call graphs, file dependences,...