Sciweavers

746 search results - page 35 / 150
» Real-Life Object-Oriented Systems
Sort
View
FMOODS
2003
15 years 6 months ago
Towards Object-Oriented Graphs and Grammars
This work aims to extend the algebraical approach to graph transformation to model object-oriented systems structures and computations. A graph grammar based formal framework for o...
Ana Paula Lüdtke Ferreira, Leila Ribeiro
ROOM
2000
15 years 6 months ago
Object-Oriented Refinement and Proof using Behaviour Functions
This paper proposes a new calculus for expressing the behaviour of object-oriented systems. The semantics of the calculus is given in terms of operators from computational categor...
Tony Clark
GPCE
2005
Springer
15 years 11 months ago
Object-Oriented Reengineering Patterns - An Overview
Successful software systems must be prepared to evolve or they will die. Although object-oriented software systems are built to last, over time they degrade as much as any legacy s...
Oscar Nierstrasz, Stéphane Ducasse, Serge D...
GCC
2003
Springer
15 years 10 months ago
An Object-Oriented Petri Nets Based Integrated Development Environment for Grid-Based Applications
The Object-Oriented Petri Nets (OOPN) based integrated solution to a grid-based application system modeling and enacting is proposed in this paper for simplifying designs and devel...
Hongyi Shi, Aihua Ren