Parallel refinement mechanisms for real-time systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1783, Issue , 2000, Pages 35-50

  Kolano, Paul Z ^a   Kemmerer, Richard A ^b   Mandrioli, Dino ^c  

^a LOCKHEED MARTIN   (United States)

^b Santa Barbara   (United States)

^c POLITECNICO DI MILANO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL SPECIFICATION; INTERACTIVE COMPUTER SYSTEMS; SPECIFICATION LANGUAGES;

FUNCTIONAL REQUIREMENT; IMPLEMENTATION STRATEGIES; PARALLEL COMPONENT; PARALLEL REFINEMENT; REFINEMENT MECHANISMS;

REAL TIME SYSTEMS;

EID: 84945315741     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46428-x_4     Document Type: Conference Paper

References (11)

1. Auernheimer, B. and R.A. Kemmerer., ASLAN User’s Manual. Technical Report TRCS84-10, Department of Computer Science, University of California, Santa Barbara, Mar. 1985.
2. Coen-Porisini, A., C. Ghezzi, and R.A. Kemmerer. „Specification of Realtime Systems Using ASTRAL“. IEEE Transactions on Software Engineering, Sept. 1997, vol. 23, (no. 9): 572-98.
3. Coen-Porisini, A., R.A. Kemmerer, and D. Mandrioli. „A Formal Framework for ASTRAL Inter-level Proof Obligations“. Proc. of the 5th European Software Engineering Conf., Sitges, Spain, Sept. 1995.
4. Crow, J., S. Owre, J. Rushby, N. Shankar, and M. Srivas. „A Tutorial Introduction to PVS“. Workshop on Industrial-Strength Formal Specification Techniques, Boca Raton, Florida, Apr. 1995.
5. Di Marzo Serugendo, G. „Stepwise Refinement of Formal Specifications Based on Logical Formulae: From CO-OPN/2 Specifications to Java Programs“. Ph.D. Thesis no. 1931, EPFL, Lausanne, 1999.
6. Felder M., A. Gargantini, and A. Morzenti. „A Theory of Implementation and Refinement in Timed Petri Nets“. Theoretical Computer Science, July 1998, vol. 202, (no. 1-2): 127-61.
7. Ghezzi, C., D. Mandrioli, and A. Morzenti. „TRIO: a Logic Language for Executable Specifications of Real-time Systems“. Jour. of Systems and Software, May 1990, vol. 12, (no. 2): 107-23.
8. Hennessy, A. and R. Milner. „Algebraic Laws for Nondeterminism and Concurrency“. Jour. of the ACM, Jan. 1985, vol. 32, (no. 1): 137-61.
9. Kolano, P.Z. „Tools and Techniques for the Design and Systematic Analysis of Real-Time Systems“. Ph.D. Thesis, University of California, Santa Barbara, Dec. 1999.
10. Kolano, P.Z., Z. Dang, and R.A. Kemmerer. „The Design and Analysis of Real-time Systems Using the ASTRAL Software Development Environment“. Annals of Software Engineering, vol. 7, 1999.
11. Ostroff, J.S. „Composition and Refinement of Discrete Real-Time Systems“. ACM Transactions on Software Engineering and Methodology, Jan. 1999, vol. 8, (no. 1): 1-48.