882 search results - page 47 / 177 » Allowing State Changes in Specifications |
183
click to vote
ERLANG
2007
ACM
15 years 10 months ago
2007
ACM
This paper presents an Erlang-based framework, developed by the authors, for the realisation of software systems for autonomous mobile robots. On the basis of the analysis of the ...
173
click to vote
EMSOFT
2008
Springer
15 years 8 months ago
2008
Springer
We present a framework for component-based design and scheduling of real-time embedded software. Each component has a clearly specified interface that includes the methods used fo...
181
click to vote
GECCO
2006
Springer
15 years 9 months ago
2006
Springer
Encapsulation of states in object-oriented programs hinders the search for test data using evolutionary testing. As client code is oblivious to the internal state of a server obje...
147
click to vote
FAABS
2000
Springer
15 years 9 months ago
2000
Springer
This paper integrates research in robot programming and reasoning about action with research in model-based reasoning about physical systems to provide a capability for modeling an...
162
click to vote
IJFCS
2006
15 years 6 months ago
2006
The outcome of verifying software is often a `counterexample', i.e., a listing of the actions and states of a behavior not satisfying the specification. In order to understan...