An execution environment for the formal definition of Ada-Reference-Cited by-同舟云学术

An execution environment for the formal definition of Ada

Published: Issue: Volume: Page:327-335
ISSN:
Container-title:ESEC '87
language:
Short-container-title:

Author:

Fantechi A.,Gnesi S.,Inverardi P.,Montanari U.

Publisher

Springer-Verlag

Link

http://www.springerlink.com/index/pdf/10.1007/BFb0022125

Reference15 articles.

1. "The Formal Definition of Ada Dynamic Semantics", Deliverables 15 and 16 of the CEC MAP project: The Draft Formal Definition of ANSI/MIL-STD 1815A Ada.

2. Astesiano, E., Giovini, A., Inverardi, P., Mazzanti, F., Reggio, G. and Zucca, E. "Final Specification Language", Deliverable 9 of the CEC MAP project: The Draft Formal Definition of ANSI/MIL-STD 1815A Ada.

3. Astesiano, E., Giovini, A., Mazzanti, F., Reggio, G. and Zucca, E. "The Ada Challenge for new Formal Semantic Techniques". Proc. Ada-Europe Conference, Edinburgh, (1986).

4. Astesiano, E. and Reggio, G. "A Syntax-Directed Approach to the Semantics of Concurrent Languages". Proc. 10th IFIP Wold Congress, Dublin, (1986), pp.571–576.

5. Fantechi, A., Gnesi, S., Inverardi, P., Mazzanti, F., "Feasibility of a mapping from the Ada Formal Definition to the NYU SETL Interpreter for Ada", Deliverable 30 of the CEC MAP project: The Draft Formal Definition of ANSI/MIL-STD 1815A Ada.

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. The Legacy of Stefania Gnesi;From Software Engineering to Formal Methods and Tools, and Back;2019

2. Software Engineering: Ugo Montanari’s Main Contributions and Introduction to the Section;Concurrency, Graphs and Models;2008

3. A logic-functional approach to the execution of CCS specifications modulo behavioural equivalences;Lecture Notes in Computer Science;1988