Sciweavers

ICSE
1997
IEEE-ACM
14 years 3 days ago
Analyzing Partially-Implemented Real-Time Systems
—Most analysis methods for real-time systems assume that all the components of the system are at roughly the same stage of development and can be expressed in a single notation, ...
George S. Avrunin, James C. Corbett, Laura K. Dill...
ICFEM
1997
Springer
14 years 3 days ago
Development and Application of a Formal Agent Framework
Previous work has addressed the development of a framework to categorise and understand agent-based systems. It described and formalised an agent-hierarchy that included objects, ...
Mark d'Inverno, Michael Luck
ICFEM
1997
Springer
14 years 3 days ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer
WCRE
1996
IEEE
14 years 3 days ago
On Designing an Experiment to Evaluate a Reverse Engineering Tool
Margaret-Anne D. Storey, Kenny Wong, P. Fong, D. H...
WCRE
1996
IEEE
14 years 3 days ago
Finding Reusable Software Components in Large Systems
The extraction of reusable software components from existing systems is an attractive idea. The goal of the work in this paper is not to extract a component automatically, but to ...
James M. Neighbors
WCRE
1996
IEEE
14 years 3 days ago
Identifying Enumeration Types Modeled with Symbolic Constants
An important challenge in software reengineering is to encapsulate collections of related data that, due to the absence of appropriate constructs for encapsulation in legacy progr...
John M. Gravley, Arun Lakhotia
WCRE
1996
IEEE
14 years 3 days ago
A Catalog of Object Model Transformations
The process of software development is gradually achieving more rigor. Proficient developers now construct indirectly through the abstraction of models. Models allow a developer t...
Michael R. Blaha, William J. Premerlani