1376 search results - page 35 / 276 » Model-Driven Software Verification |
126
Voted
ICWE
2009
Springer
15 years 6 months ago
2009
Springer
With the advent of the Web, search has become the prominent paradigm for information seeking, not only across the online space but also within enterprises. Search engine functiona...
108
Voted
CAISE
2007
Springer
15 years 8 months ago
2007
Springer
This paper presents a model driven approach for the generation of business process driven web applications within the context of ubiquitous environments. For this reason, we have t...
126
Voted
SERP
2004
15 years 3 months ago
2004
Model-Driven Development (MDD) represents a positive step toward a general model-based approach to software engineering. The Object Management Group (OMG) offers a conceptual fram...
130
click to vote
JOT
2010
14 years 8 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...
120
click to vote
DAC
2006
ACM
15 years 7 months ago
2006
ACM
This paper describes how systems companies are adopting SystemC transaction level models for system on chip design and verification, and how these transaction level models are bei...