Software Engineering and Methodology (TOSEM)


Search Issue
enter search term and/or author name


ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 16 Issue 2, April 2007

David Notkin
Article No.: 6
DOI: 10.1145/1217295.1237801

Foundations of incremental aspect model-checking
Shriram Krishnamurthi, Kathi Fisler
Article No.: 7
DOI: 10.1145/1217295.1217296

Programs are increasingly organized around features, which are encapsulated using aspects and other linguistic mechanisms. Despite their growing popularity amongst developers, there is a dearth of techniques for computer-aided verification of...

An empirical study of static program slice size
David Binkley, Nicolas Gold, Mark Harman
Article No.: 8
DOI: 10.1145/1217295.1217297

This article presents results from a study of all slices from 43 programs, ranging up to 136,000 lines of code in size. The study investigates the effect of five aspects that affect slice size. Three slicing algorithms are used to study two...

Polychronous design of embedded real-time applications
Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin
Article No.: 9
DOI: 10.1145/1217295.1217298

Embedded real-time systems consist of hardware and software that controls the behavior of a device or plant. They are ubiquitous in today's technological landscape and found in domains such as telecommunications, nuclear power, avionics, and...