1376 search results - page 231 / 276 » Model-Driven Software Verification |
102
click to vote
SIGDOC
2004
ACM
15 years 7 months ago
2004
ACM
Software publishers and information service providers publish information about their own products and about other products and people. Additional content might be incidental, suc...
110
click to vote
IUI
2003
ACM
15 years 7 months ago
2003
ACM
Interactive tools to help users author plans or processes are essential in a variety of domains. KANAL helps users author sound plans by simulating them, checking for a variety of...
144
click to vote
UML
2001
Springer
15 years 6 months ago
2001
Springer
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...
ISSTA
2000
ACM
15 years 6 months ago
2000
ACM
This paper presents three sets of classification schemes for processes, properties, and transitions that can be used to assist in the analysis of real-time systems. These classifi...
ACMSE
2007
ACM
15 years 6 months ago
2007
ACM
Many strategies have been proposed to address the problems associated with managing increasingly complex computing systems. IBM's Autonomic Computing (AC) paradigm is one suc...