Sciweavers

829 search results - page 2 / 166
» A Constructive Object Oriented Modeling Language for Informa...
Sort
View
ENTCS
2006
120views more  ENTCS 2006»
13 years 6 months ago
SCHOOL: a Small Chorded Object-Oriented Language
Chords are a declarative synchronisation construct based on the Join-Calculus, available in the programming language C. To our knowledge, chords have no formal model in an object-...
Sophia Drossopoulou, Alexis Petrounias, Alex Buckl...
HICSS
2005
IEEE
243views Biometrics» more  HICSS 2005»
14 years 6 hour 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
ISORC
1999
IEEE
13 years 10 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
ROOM
2000
13 years 7 months ago
An Overview of The Mensurae Language: Specifying Business Processes
We describe a language which can be used to model business processes (both technical and nontechnical). It has a formal semantics, so as to enable formal analysis and prediction o...
T. S. E. Maibaum