1487 search results - page 115 / 298 » On Validating Engineering Design Decision Support Tools |
156
click to vote
APN
2010
Springer
15 years 9 months ago
2010
Springer
Service-oriented computing proposes services as building blocks which can be composed to complex systems. To reason about the correctness of a service, its communication protocol n...
147
click to vote
MIDDLEWARE
2004
Springer
15 years 9 months ago
2004
Springer
Novel ubiquitous computing applications such as intelligent vehicles, smart buildings, and traffic management require special properties that traditional computing applications d...
144
click to vote
ICWE
2007
Springer
15 years 10 months ago
2007
Springer
Current model-driven Web Engineering approaches (such as OO-H, UWE or WebML) provide a set of methods and supporting tools for a systematic design and development of Web applicatio...
118
click to vote
DAC
2002
ACM
16 years 5 months ago
2002
ACM
Design tools can be profitably associated with libraries of reusable modeling components that will make the description and also the validation of the models much easier. Furtherm...
234
click to vote
POPL
2008
ACM
16 years 4 months ago
2008
ACM
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...