Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

16

AMAST
2000
Springer

favoriteEmaildiscussreport

99views Software Engineering» more AMAST 2000»

Step by Step to Histories

13 years 10 months ago

Step by Step to Histories

Download www4.in.tum.de

The behavior of reactive systems is typically speci ed by state machines. This results in an operational description of how a system its output. An alternative and more abstract approach is to just specify the relation between the input and output histories of a system. In this work, we propose a way to combine state-based and history-based speci cations: Abstract communication history properties of system components can be derived from temporal logic properties of state machines. The history properties can then be used to deduce global properties of a complete system.

Max Breitling, Jan Philipps

Real-time Traffic

AMAST 2000 | History Properties | Software Engineering | State Machines | Temporal Logic Properties |

claim paper

Related Content

» Computational efficiency of fractional diffusion using adaptive time step memory

» Computational Models of Ethical Reasoning Challenges Initial Steps and Future Directions

» Fractal Computation in Step with RealTime Dance

» On MBR Approximation of Histories for Historical Queries Expectations and Limitations

» A New BabyStep GiantStep Algorithm and Some Applications to Cryptanalysis

» Step by Step Filter Based Program for Calculations of Highly Informative Derivative Curves

» Polish parsers step by step

» Networks Evolving Step by Step Statistical Analysis of Dyadic Event Data

» Graphics Recognition from Binary Images One Step or Two Steps

Post Info
More Details (n/a)

Added	01 Aug 2010
Updated	01 Aug 2010
Type	Conference
Year	2000
Where	AMAST
Authors	Max Breitling, Jan Philipps

Comments (0)