1228 search results - page 191 / 246 » Techniques for Reactive System Design: The Tools in TRADE |
UML
2005
Springer
14 years 4 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
KBSE
2005
IEEE
14 years 4 months ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
HPDC
2008
IEEE
14 years 5 months ago
2008
IEEE
If the model of free-form queries, which has proved successful for HTML based search on the Web, is made available for Grid services, it will serve as a powerful tool for scientis...
ICSE
2008
IEEE-ACM
14 years 11 months ago
2008
IEEE-ACM
Nowadays, large-scale industrial software systems may involve hundreds of developers working on hundreds of different but related models representing parts of the same system spec...
GECCO
2005
Springer
14 years 4 months ago
2005
Springer
We sketch a framework for learning structured coordinated behavior, specifically the tactical behavior of Experimental Unmanned Vehicles (XUVs). We conceptualize an XUV unit as a ...