3909 search results - page 305 / 782 » Extreme Model Checking |
153
Voted
ESE
2006
15 years 3 months ago
2006
Agile methods have evolved as a bottom-up approach to software development. However, as the software in embedded products is only one part of development projects, agile methods mu...
125
Voted
CCGRID
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper analyses different protocols of session guarantees. Session guarantees (also known as client-centric consistency models) are one of the class of consistency models of r...
116
Voted
ECMDAFA
2006
Springer
15 years 7 months ago
2006
Springer
Model-Driven Development requires model management languages and tools for supporting model operations such as editing, consistency checking, and transformation. At the core of the...
149
Voted
FDL
2006
IEEE
15 years 9 months ago
2006
IEEE
Reusing IP-cores to construct system models facilitated by automated generation of glue-logic, and automated composability checks can help designers to create efficient simulation...
125
Voted
ICSE
2010
IEEE-ACM
15 years 8 months ago
2010
IEEE-ACM
We present a Tool Suite which supports the (re-)construction of a behavioral model of a legacy component based on a learning approach by exploiting knowledge of known models of th...