CINECA IRIS Institutional Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishJTN is a formal graphic notation for Java-targeted design specifications, that are specifications of systems that will be implemented using Java. JTN is aimed to be a part of a more articulated project for the production of a development method for reactive/concurrent/distributed systems. The starting point of this project is an existing general method that however does not cover the coding phase of the development process. Such approach provides formal graphic specifications for the system design that are too abstract to be transformed into Java code in just one step, or at least, the transformation is really hard and complex. We introduce in the development process an intermediate step that trans- forms the above abstract specifications into JTN specifications, for which the transformation into a Java program is almost automatic and can be guaranteed correct. In this paper we present JTN on a simple toy example.
Scheda prodotto non validato
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo
| Titolo: | JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems | |
| Autori: | ||
| Data di pubblicazione: | 1999 | |
| Abstract: | JTN is a formal graphic notation for Java-targeted design specifications, that are specifications of systems that will be implemented using Java. JTN is aimed to be a part of a more articulated project for the production of a development method for reactive/concurrent/distributed systems. The starting point of this project is an existing general method that however does not cover the coding phase of the development process. Such approach provides formal graphic specifications for the system design that are too abstract to be transformed into Java code in just one step, or at least, the transformation is really hard and complex. We introduce in the development process an intermediate step that trans- forms the above abstract specifications into JTN specifications, for which the transformation into a Java program is almost automatic and can be guaranteed correct. In this paper we present JTN on a simple toy example. | |
| Handle: | http://hdl.handle.net/11567/517518 | |
| ISBN: | 3540657185 | |
| Appare nelle tipologie: | 04.01 - Contributo in atti di convegno |
File in questo prodotto:
http://hdl.handle.net/11567/517518
Copyright © 2022