3294 search results - page 418 / 659 » Taxonomy of Process Modeling Languages |
144
click to vote
TACAS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We describe a scalable incomplete boundedness test for the communication buffers in UML RT models. UML RT is a variant of the UML modeling language, tailored to describin...
136
Voted
TAICPART
2006
IEEE
15 years 10 months ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
134
click to vote
IDEAL
2005
Springer
15 years 10 months ago
2005
Springer
The design, development, and use of complex systems models raises a unique class of challenges and potential pitfalls, many of which are commonly recurring problems. Over time, res...
137
click to vote
UML
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper addresses the problem of consistency preservation in model-driven software development. Software models typically embody many different views that need to be ...
139
click to vote
MODELS
2007
Springer
15 years 11 months ago
2007
Springer
Aspect-Oriented Modeling (AOM) approaches propose to model reusable aspects, or cross-cutting concerns, that can be composed in different systems at a model or code level. Buildin...