Sciweavers

535 search results - page 7 / 107
» Research on Support Tools for Object-Oriented Software Reeng...
Sort
View
RE
2002
Springer
13 years 8 months ago
Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts
perfect technology assumption, which abstracts from limitations imposed by an implementation. Statecharts describe object life cycles. Our semantics includes synchronous and asynch...
Rik Eshuis, David N. Jansen, Roel Wieringa
ICST
2008
IEEE
14 years 3 months ago
A Metamodel for the Measurement of Object-Oriented Systems: An Analysis using Alloy
This paper presents a MOF-compliant metamodel for calculating software metrics and demonstrates how it is used to generate a metrics tool that calculates coupling and cohesion met...
Jacqueline A. McQuillan, James F. Power
COMPSAC
2008
IEEE
14 years 3 months ago
Framework for Computer-Aided Evolution of Object-Oriented Designs
In this paper, we describe a framework for the computeraided evolution of the designs of object-oriented software systems. Evolution mechanisms are software structures that prepar...
Selim Ciraci, Pim van den Broek, Mehmet Aksit
TOOLS
1999
IEEE
14 years 26 days ago
A Survey of Schema Evolution in Object-Oriented Databases
Changes in the real world may require both the database population and the database schema to evolve. Particularly, this is the case in CAD/CAM and CASE database systems, in which...
Xue Li
ECOOP
1998
Springer
14 years 24 days ago
Synthesizing Object-Oriented and Functional Design to Promote Re-Use
Many problems require recursively speci ed types ofdata and a collection of tools that operate on those data. Over time, these problems evolve so that the programmer must extend t...
Shriram Krishnamurthi, Matthias Felleisen, Daniel ...