332 search results - page 5 / 67 » Enhancing Object-Oriented Modeling with Concepts to |
100
click to vote
IFM
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
75
Voted
FORTEST
2008
14 years 11 months ago
2008
Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testin...
ICRA
1995
IEEE
15 years 1 months ago
1995
IEEE
1 - This paper discusses an architecture designed to provide support for the development of state transition models for an object-oriented distributed environment. The state transi...
140
Voted
ER
1995
Springer
15 years 1 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...
96
Voted
ICMCS
1994
IEEE
15 years 1 months ago
1994
IEEE
Advanced applications in fields like electronic publishing and telecooperation face the problem of handling multimedia information. Conventional database systems do not offer adeq...