Sciweavers

912 search results - page 16 / 183
» Design Patterns: Abstraction and Reuse of Object-Oriented De...
Sort
View
HT
1998
ACM
15 years 4 months ago
Pushing Reuse in Hypermedia Design: Golden Rules, Design Patterns and Constructive Templates
Reuse is increasingly strategic for reducing cost and improving quality of hypermedia design and development. In this paper, based on the design and development of a real hypermed...
Marc Nanard, Jocelyne Nanard, Paul Kahn
ISORC
2003
IEEE
15 years 5 months ago
Object-Oriented Middleware Infrastructure for Distributed Augmented Reality
The paper describes design and implementation of software infrastructure for building augmented reality applications for ubiquitous computing environments. Augmented reality is on...
Eiji Tokunaga, Andrej van der Zee, Makoto Kurahash...
JMLC
1997
Springer
15 years 3 months ago
An Object-Oriented Database Programming Environment for Oberon
Abstract. We describe a system designed to provide database programming support for Oberon programmers. The system is based on a generic object-oriented data model which supports r...
Jacques Supcik, Moira C. Norrie
FMOODS
2007
15 years 1 months ago
KeY: A Formal Method for Object-Oriented Systems
Abstract. This paper gives an overview of the KeY approach and highlights the main features of the KeY system. KeY is an approach (and a system) for the deductive verification of ...
Wolfgang Ahrendt, Bernhard Beckert, Reiner Hä...
RE
2002
Springer
14 years 11 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