δείτε την πρωτότυπη σελίδα τεκμηρίου στον ιστότοπο του αποθετηρίου του φορέα για περισσότερες πληροφορίες και για να δείτε όλα τα ψηφιακά αρχεία του τεκμηρίου*
Associating composition of petri net specifications with application
designs in GRADE
Tsiatsoulis, Z
Dozsa, G
Cotronis, JY
Kacsuk, P
To provide high-level graphical support for developing message passing
programs, an integrated programming environment (GRADE) is being
developed. GRADE currently provides tools to construct, execute, debug,
monitor and visualise message-passing based parallel programs. The paper
describes the extension of GRADE with formal method support based on
Petri nets composition. We outline specification composition, directly
associated with application composition as well as the integration of
specification and implementation of program development.
(EN)
*Η εύρυθμη και αδιάλειπτη λειτουργία των διαδικτυακών διευθύνσεων των συλλογών (ψηφιακό αρχείο, καρτέλα τεκμηρίου στο αποθετήριο) είναι αποκλειστική ευθύνη των αντίστοιχων Φορέων περιεχομένου.
Βοηθείστε μας να κάνουμε καλύτερο το OpenArchives.gr.
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
