181 search results - page 4 / 37 » Testable Use Cases in the Abstract State Machine Language |
FASE
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. Existing algorithms for regular inference (aka automata learning) allows to infer a finite state machine by observing the output that the machine produces in response to ...
SEC
2003
13 years 8 months ago
2003
Abstract This paper presents a systematic approach to developing Java Card applets and/or formal specifications for them, starting from descriptions in the form of finite state m...
MODELS
2009
Springer
14 years 1 months ago
2009
Springer
UML state machines are widely used for modeling software behavior. However state-crosscutting behaviors, such as synchronization or execution history dependence, are hard to model...
ECOOP
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. The state design pattern is the standard object-oriented programming idiom for implementing the state machine logic of interactive applications. While this pattern provid...
INAP
2001
Springer
13 years 11 months ago
2001
Springer
Abstract. In requirements engineering use cases are employed to describe the ow of events and the occurrence of states in a future information system. Use cases consist of a set of...