2317 search results - page 218 / 464 » DMVIS: Design, Modelling and Validation of Interactive Syste... |
126
click to vote
STTT
1998
15 years 3 months ago
1998
Abstract. Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specification, validation, and verification of systems. CP-nets have a wide range of applicati...
121
click to vote
SAC
2009
ACM
15 years 10 months ago
2009
ACM
Formalization is a necessary precondition for the specification of precise and unambiguous use case models, which serve as reference points for the design and implementation of so...
135
click to vote
GREC
2003
Springer
15 years 9 months ago
2003
Springer
In this paper, we introduce a system that aims at recognizing chart images using a model-based approach. First of all, basic chart models are designed for four different chart typ...
145
click to vote
COREGRID
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents a case study in the generic design of Grid component models. It defines a framework allowing two component systems, one running in a CCA environment, and anoth...
164
click to vote
IJES
2006
15 years 4 months ago
2006
Model-driven development (MDD) is an emerging paradigm that uses domain-specific modeling languages (DSMLs) and generative technologies to provide "correct-by-construction&quo...