4726 search results - page 87 / 946 » Domain Modeling of Software Process Models |
EMSOFT
2003
Springer
14 years 3 months ago
2003
Springer
An important bottleneck in model-based design of embedded systems is the cost of constructing models. This cost can be significantly decreased by increasing the reuse of existing m...
JOT
2010
13 years 4 months ago
2010
Model composition is a crucial activity in Model Driven Engineering (MDE). It is particularly useful when adopting a multi-modeling approach to analyze and design software systems...
KBSE
2007
IEEE
14 years 4 months ago
2007
IEEE
We describe EUREKA, a symbolic model checker for Linear Programs with arrays, i.e. programs where variables and array elements range over a numeric domain and expressions involve ...
MKWI
2008
13 years 11 months ago
2008
Abstract: In order to fulfil sets of similar user requirements within a specific application domain, one typically uses software product line engineering. In this paper, we investi...
WSC
2004
13 years 11 months ago
2004
Computer-based business analysis relies on models, or algorithmic representations of the business process. Real-life business problems can become very complex, which creates diffi...