Software Engineering and Methodology (TOSEM)


Search Issue
enter search term and/or author name


ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 10 Issue 3, July 2001

Automated deductive requirements analysis of critical systems
Angelo Gargantini, Angelo Morzenti
Pages: 255-307
DOI: 10.1145/383876.383877
We advocate the need for automated support to System Requirement Analysis in the development of time- and safety-critical computer-based systems. To this end we pursue an approach based on deductive analysis: high-level, real-world entities and...

Parallel changes in large-scale software development: an observational case study
Dewayne E. Perry, Harvey P. Siy, Lawrence G. Votta
Pages: 308-337
DOI: 10.1145/383876.383878
An essential characteristic of large-scale software development is parallel development by teams of developers. How this parallel development is structured and supported has a profound effect on both the quality and timeliness of the product. We...

Reasoning about code mobility with mobile UNITY
Gian Pietro Picco, Gruia-Catalin Roman, Peter J. McCann
Pages: 338-395
DOI: 10.1145/383876.383879
Advancements in network technology have led to the emergence of new computing paradigms that challenge established programming practices by employing weak forms of consistency and dynamic forms of binding. Code mobility, for instance, allows for...