1148 search results - page 114 / 230 » WebML modelling in UML |
102
Voted
DSD
2009
IEEE
14 years 10 months ago
2009
IEEE
Several traditional VHDL fault injection mechanisms like mutants or saboteurs have been adapted to SystemC model descriptions. The main drawback of these approaches is the necessi...
143
click to vote
FORTE
2009
14 years 10 months ago
2009
We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being ...
103
Voted
JCIT
2010
14 years 7 months ago
2010
This study explores the construction of an intermediary as a product knowledge-sharing system for design industry with the advanced features of the Extensible Markup Language (XML...
91
Voted
VAMOS
2007
Springer
15 years 6 months ago
2007
Springer
Features have been recognized as important building blocks of software product lines. Unfortunately, features have been mostly confined to modeling activities as they were origina...
FASE
2001
Springer
15 years 5 months ago
2001
Springer
We define a formal execution semantics for UML activity diagrams that is appropriate for workflow modelling. Our semantics is aimed at the requirements level by assuming that sof...