42 search results - page 2 / 9 » Linking Object-Oriented Conceptual Modeling with Object-Orie... |
HICSS
1997
IEEE
13 years 9 months ago
1997
IEEE
In this paper we present a new approach for the development of hypertext information systems that avoids a number of traditional hypermedia authoring problems, and facilitates the...
TSE
2008
13 years 4 months ago
2008
We present Delta Execution, a technique that speeds up state-space exploration of object-oriented programs. Statespace exploration is the essence of model checking and an increasin...
SCCC
1999
IEEE
13 years 9 months ago
1999
IEEE
Threads have been present in programming languages for some time now. However, they have a bad image among software developers because they lead to unreliable applications. Most o...
ER
1995
Springer
13 years 8 months ago
1995
Springer
We describe a (meta) formalism for defining a variety of (object oriented) data models in a unified framework based on a variation of first-order logic. As specific example we use...
WOA
2001
13 years 6 months ago
2001
Emerging distributed technologies aim to provide simple and powerful tools for web services design and implementation. Main vendors provide modern frameworks so that a good coordi...