Sciweavers

513 search results - page 8 / 103
» Object-oriented modeling: a roadmap
Sort
View
ISORC
1999
IEEE
15 years 1 months ago
v-Promela: A Visual, Object-Oriented Language for SPIN
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...
Stefan Leue, Gerard J. Holzmann
WSC
1998
14 years 10 months ago
Fundamentals of Object-Oriented Simulation
An object-oriented simulation (OOS) consists of a set of objects that interact with each other over time. This paper
Jeffrey A. Joines, Stephen D. Roberts
ECOOPW
1998
Springer
15 years 1 months ago
Evaluation of Object-Oriented Reflective Models
In this paper we explore the object-oriented reflective world, performing an overview of the existing models and presenting a set of features suitable to evaluate the quality of e...
Walter Cazzola
MODELS
2009
Springer
15 years 4 months ago
Teaching Object-Oriented Modeling and UML to Various Audiences
This paper summarizes the experience of teaching objectoriented modeling and UML for more than a decade to various audiences (academic or corporate, software developers or not). W...
Sabine Moisan, Jean-Paul Rigault
HICSS
2005
IEEE
243views Biometrics» more  HICSS 2005»
15 years 3 months ago
Definition of an Object-Oriented Modeling Language for Enterprise Architecture
In enterprise architecture, the goal is to integrate business resources and IT resources in order to improve an enterprise’s competitiveness. In an enterprise architecture proje...
Lam-Son Lê, Alain Wegmann