JTN: A java-targeted graphic formal notation for reactive and concurrent systems

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

Volumn 1577, Issue , 1999, Pages 77-97

  Coscia, Eva ^a   Reggio, Gianna ^a  

^a UNIVERSITY OF GENOA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; SPECIFICATIONS;

ABSTRACT SPECIFICATIONS; CONCURRENT SYSTEMS; DESIGN SPECIFICATION; DEVELOPMENT METHOD; DEVELOPMENT PROCESS; FORMAL NOTATIONS; GENERAL METHOD; JAVA PROGRAM;

JAVA PROGRAMMING LANGUAGE;

EID: 35248874032     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-49020-3_6     Document Type: Conference Paper

References (11)

1. E. Astesiano and G. Reggio. Formally-Driven Friendly Specifications of Concurrent Systems: A Two-Rail Approach. Technical Report DISI–TR–94–20, DISI – Università di Genova, Italy, 1994. Presented at ICSE’17-Workshop on Formal Methods, Seattle April 1995.
2. E. Astesiano and G. Reggio. A Dynamic Specification of the RPC-Memory Problem. In Formal System Specification: The RPC-Memory Specification Case Study, number 1169 in LNCS. Springer Verlag, 1996.
3. E. Coscia and G. Reggio. JTN: the Reference Manual. Technical report, DISI – Universit`a di Genova, Italy, 1999.
4. Gosling, Joy, and Steele S. The Java Language Specification. Addison Wesley, 1996.
5. D. Harel. Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming, 8, 1987.
6. R. Harper, D. MacQueen, and R. Milner. Standard ML. Technical Report ECSLFCS- 86-2, LFCS-University of Edinburgh, 1986.
7. ITU. Z.100 ITU Specification and Description Language (SDL). Technical report, ITU, Geneva, 1993.
8. ITU. Z.120: Message Sequence Chart (MSC). Technical report, ITU, Geneva, 1993.
9. RATIONAL. UML Notation Guide Version 1. 1. Available at http://www.rational.com/uml/html/notation/, 1997.
10. G. Reggio. A Method to Capture Formal Requirements: the INVOICE Case Study. In Int. Workshop Comparing Specification Techniques. Universite de Nantes, 1998.
11. G. Reggio and M. Larosa. A Graphic Notation for Formal Specifications of Dynamic Systems. In Proc. FME 97, number 1313 in LNCS. Springer Verlag, 1997.