3914 search results - page 113 / 783 » Automating SLA modeling |
CAV
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
ISSRE
2003
IEEE
14 years 1 months ago
2003
IEEE
Use-cases and scenarios have been identified as good inputs to generate test cases and oracles at requirement level. Yet to have an automated generation, information is missing f...
ICCS
2003
Springer
14 years 1 months ago
2003
Springer
Several software systems have been developed recently for the automated generation of combustion reactions kinetic mechanisms using different representations of species and reacti...
FMICS
2006
Springer
13 years 11 months ago
2006
Springer
Parking garages that stow and retrieve cars automatically are becoming viable solutions for parking shortages. However, these are complex systems and a number of severe incidents i...
VAMOS
2010
Springer
13 years 9 months ago
2010
Springer
The increased use of software product lines (SPLs) results in complex software systems in which products of multiple SPLs communicate and interact with each other. Such a system of...