Jan Kofron November 28, 2005 Department of Software Engineering Institute of...  Home/Search
Context
Related
| nenya.ms.mff.cuni....mic_actions_tr.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: nenya.ms.mff.cu...onsplain.phtml (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Verification of software behavior and assuring thus its reliability is among current trends of applications' construction. As an arbitrary application tends to yield a large state space, using software components and a suitable abstraction mechanism enables for model checking the application piecewise, thus in reasonable time. Behavior protocols [1] are one of the component behavior specification platform. During the work on the specification of Airport Internet Access Application... (Update)
Active bibliography (related documents): More All
1.1: Enhancing Behavior Protocols with Exceptions - Holub Charles University (2005) (Correct)
0.1: Stability of Discrete-time Systems: New Criteria and.. - Iggidr, Bensoubaya (1996) (Correct)
0.1: On The Homology Of GL n And Higher Pre-Bloch Groups - Yagunov (1999) (Correct)
Similar documents based on text: More All
0.3: Behavior Protocols: Efficient Checking For Composition Errors - Post-Graduate Student Mgr (Correct)
0.1: Performance Improvements of Behavior Protocol Checking - Kofron (2005) (Correct)
0.1: Enhancing Behavior Protocols - Adamek (2001) (Correct)
BibTeX entry: (Update)
@misc{ november-enhancing,
author = "Jan Kofron November",
title = "Enhancing Behavior Protocols with Atomic Actions",
url = "citeseer.ist.psu.edu/735531.html" }
Citations (may not include all citations):30 Component Composition Errors and Update Atomicity: Static An.. - Adamek, Plasil - 2005
21 IEEE Transactions on Software Engineering (context) - Plasil, Visnovsky - 2002
15 Prentice Hall International (context) - Hoare, Processes - 1985
9 Springer-Verlag New York (context) - Milner, of et al.
1 Stefani: An Open Component Model and Its Support in Java (context) - Bruneton, Coupaye et al. - 2004
http://javapathfinder.sourceforge.net
http://java.sun.com
http://www.cs.cmu.edu/#modelcheck/smv.html
http://sofa.objectweb.org
http://spinroot.com/spin/Man/promela.html
Documents on the same site (http://nenya.ms.mff.cuni.cz/publications-plain.phtml): More
Automated Detection of Performance Regressions: The Mono.. - Kalibera, Bulej, Tuma (2005) (Correct)
Employing OCL for Specifying Behavior Compliance - Samek (Correct)
Mono Regression Benchmarking - Kalibera, Bulej, Tuma (2005) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC