Software Engineering and Methodology (TOSEM)


Search Issue
enter search term and/or author name


ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 9 Issue 3, July 2000

Static checking of system behaviors using derived component assumptions
Paola Inverardi, Alexander L. Wolf, Daniel Yankelevich
Pages: 239-272
DOI: 10.1145/352591.352593
A critical challenge faced by the developer of a software system is to understand whether the system's components correctly integrate. While type theory has provided substantial help in detecting and preventing errors in mismatched static...

Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems
Naftaly H. Minsky, Victoria Ungureanu
Pages: 273-305
DOI: 10.1145/352591.352592
Software technology is undergoing a transition form monolithic systems, constructed according to a single overall design, into conglomerates of semiautonomous, heterogeneous, and independently designed subsystems, constructed and managed by...

A knowledge-based method for inferring semantic concepts from visual models of system behavior
Kevin L. Mills, Hassan Gomaa
Pages: 306-337
DOI: 10.1145/352591.352594
Software designers use visual models, such as data flow/control flow diagrams or object collaboration diagrams, to express system behavior in a form that can be understood easily by users and by pogrammers, and from which designers can generate...