325 search results - page 11 / 65 » The Algebraic Framework for Object-Oriented Systems |
HICSS
2005
IEEE
15 years 5 months ago
2005
IEEE
Data persistency is a fundamental, but complex aspect of a modern software development process. Therefore, in order to reduce development costs and improve a system’s quality, s...
116
Voted
ISORC
1999
IEEE
15 years 3 months ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
110
click to vote
PDSE
1998
15 years 29 days ago
1998
The development of correct OO distributed software is a daunting task as soon as the distributed interactions are not trivial. This is due to the inherent complexity of distribute...
126
Voted
WISE
2000
Springer
15 years 4 months ago
2000
Springer
The mediator/wrapper approach is used to integrate data from different databases and other data sources by introducing a middleware virtual database that provides high level abstr...
ECOOP
2010
Springer
15 years 4 months ago
2010
Springer
When using object-oriented frameworks it is easy to overlook certain important method calls that are required at particular places in code. In this paper, we provide a comprehensiv...