3799 search results - page 291 / 760 » An Engineering Approach to Formal Methods |
158
click to vote
KBSE
2010
IEEE
15 years 5 months ago
2010
IEEE
We present the concepts, usage, and prototypic implementation of a new kind of visual debugging tool based on symbolic execution of Java source code called visual symbolic state d...
152
click to vote
KI
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. This paper presents a method for engineering and programming multirobot systems, based on a combination of statecharts and hybrid automata, which are well-known in the fi...
201
click to vote
IFIP
2004
Springer
16 years 1 days ago
2004
Springer
: AIRBUS and ONERA used the AltaRica formal language and associated tools to perform safety assessments. Lessons learnt during the study of an electrical and hydraulic system are p...
190
click to vote
ESWS
2010
Springer
15 years 10 months ago
2010
Springer
Service orientation is a promising paradigm for offering and consuming functionalities within and across organizations. Ever increasing acceptance of service oriented architecture...
167
click to vote
ECAI
2004
Springer
16 years 2 days ago
2004
Springer
Action formalisms like the fluent calculus have been developed to endow logic-based agents with the abilities to reason about the effects of actions, to execute high-level strateg...