431 search results - page 1 / 87 » Modeling with Abstract State Machines: A support for accurat... |
MODELLIERUNG
2004
13 years 6 months ago
2004
APAL
2005
13 years 4 months ago
2005
CODES
2009
IEEE
13 years 8 months ago
2009
IEEE
In this paper, we propose an effective automatic generation approach for a Cycle-Count Accurate Memory Model (CCAMM) from the Clocked Finite State Machine (CFSM) of the Cycle Accu...
JUCS
2002
13 years 4 months ago
2002
: The research belonging to the Abstract State Machines approach to system design and analysis is surveyed and documented in an annotated ASM bibliography. The survey covers the pe...
ICSE
2007
IEEE-ACM
13 years 11 months ago
2007
IEEE-ACM
Abstract. We describe an approach to designing and implementing a distributed system as a family of related finite state machines, generated from a single abstract model. Various a...