3605 search results - page 33 / 721 » System and simulation modeling using SysML |
101
click to vote
GG
2008
Springer
2008
Springer
Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation
15 years 3 months ago
An important requirement of model transformations is the preservation of the behavior of the original model. A model transformation is semantically correct if for each simulation r...
DATE
2005
IEEE
15 years 7 months ago
2005
IEEE
The idea of design domain specific Mother Model of IP block family as a base of modeling of system integration is presented here. A common reconfigurable Mother Model for ten diff...
105
click to vote
SIMUTOOLS
2008
15 years 3 months ago
2008
As its name promises, the Unified Modeling Language (UML) provides a collection of diagrammatic modeling styles. To the early class/objects and use-case diagrams were almost immed...
105
click to vote
ACSC
2008
IEEE
15 years 8 months ago
2008
IEEE
Simulation and model checking are commonly used to compare the behaviour of a computer-based system with its requirements specification. However, when upgrading an operational le...
135
click to vote
WSC
2007
15 years 4 months ago
2007
Efficiently planning and managing workforce is a challenge imposed on many companies, especially for those in the service industry. The target of an effective workforce management...