882 search results - page 3 / 177 » Allowing State Changes in Specifications |
FM
2006
Springer
13 years 9 months ago
2006
Springer
Refactorings change the internal structure of code without changing its external behavior. For non-trivial refactorings, the preservation of external behavior depends on semantic p...
OMER
2001
13 years 7 months ago
2001
Abstract: To synchronize concurrent regions of a state machine, the Unified Modeling Language (UML) provides the concept of so-called "synch states". Synch states insure ...
ICANNGA
2009
Springer
14 years 10 days ago
2009
Springer
Modern process and condition monitoring systems produce a huge amount of data which is hard to analyze manually. Previous analyzing techniques disregard time information and concen...
ICCD
1993
IEEE
13 years 10 months ago
1993
IEEE
for a state machine which is an abstraction for an existing sequential circuit, which can be useful for redesign or engineering change. The generated state machines can be further ...
AMAI
2004
Springer
13 years 5 months ago
2004
Springer
We address the topic of specifying multi-agent systems using the situation and state calculus (SSC). SSC has been proposed as an extension of the situation calculus to overcome so...