Sciweavers

6047 search results - page 1 / 1210
» Modeling with Extend
Sort
View
FMOODS
2007
15 years 2 months ago
Model Checking of Extended OCL Constraints on UML Models in SOCLe
We present the first tool that offers dynamic verification of extended traints on UML models. It translates a UML model into an Abstract State (ASM) which is transformed by an AS...
John Mullins, Raveca Oarga
121
Voted
WSC
1997
15 years 2 months ago
Using SiMPLE++ for Improved Modeling Efficiencies and Extending Model Life Cycles
SiMPLE++ is an object-oriented simulation environment for modeling all types of manufacturing, logistics and service systems. AESOP’s SiMPLE++ is a fully object-oriented impleme...
David R. Kalasky, Gerald A. Levasseur
87
Voted
MMM
2003
Springer
152views Multimedia» more  MMM 2003»
15 years 6 months ago
Modeling Video Data for Content Based Queries: Extending the DISIMA Image Data Model
Lei Chen 0002, M. Tamer Özsu, Vincent Oria
68
Voted
CAISE
2008
Springer
15 years 2 months ago
Aligning Goal Models and Business Models - extended abstract
Birger Andersson, Maria Bergholtz, Ananda Edirisur...