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 14 Issue 3, July 2005

An extended fault class hierarchy for specification-based testing
Man F. Lau, Yuen T. Yu
Pages: 247-276
DOI: 10.1145/1072997.1072998
Kuhn, followed by Tsuchiya and Kikuno, have developed a hierarchy of relationships among several common types of faults (such as variable and expression faults) for specification-based testing by studying the corresponding fault detection conditions....

Reasoning about inconsistencies in natural language requirements
Vincenzo Gervasi, Didar Zowghi
Pages: 277-330
DOI: 10.1145/1072997.1072999
The use of logic in identifying and analyzing inconsistency in requirements from multiple stakeholders has been found to be effective in a number of studies. Nonmonotonic logic is a theoretically well-founded formalism that is especially suited for...

Toward an engineering discipline for grammarware
Paul Klint, Ralf Lämmel, Chris Verhoef
Pages: 331-380
DOI: 10.1145/1072997.1073000
Grammarware comprises grammars and all grammar-dependent software. The term grammar is meant here in the sense of all established grammar formalisms and grammar notations including context-free grammars, class dictionaries, and XML schemas as...