370 search results - page 40 / 74 » Object-Oriented Abstract State Machines |
MODELS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. In this paper, we deal with model-based automatic test generation. We show how to use UML state machines, UML class diagrams, and OCL expressions to automatically derive ...
HYBRID
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Multi-modal control is a commonly used design tool for breaking up complex control tasks into sequences of simpler tasks. In this paper, we show that by viewing the contr...
VSTTE
2005
Springer
15 years 3 months ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
FSE
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. We discuss the special requirements imposed on the underlying cipher of systems which encrypt each sector of a disk partition independently, and demonstrate a certificati...
100
click to vote
BIRTHDAY
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Church's Problem, stated fifty years ago, asks for a finitestate machine that realizes the transformation of an infinite sequence into an infinite sequence such tha...