1. Αρχική σελίδα
  2. Αναζήτηση

Associating composition of petri net specifications with application designs in GRADE

Το τεκμήριο παρέχεται από τον φορέα :
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών   

Αποθετήριο :
Πέργαμος   

δείτε την πρωτότυπη σελίδα τεκμηρίου
στον ιστότοπο του αποθετηρίου του φορέα για περισσότερες πληροφορίες και για να δείτε όλα τα ψηφιακά αρχεία του τεκμηρίου*



Associating composition of petri net specifications with application designs in GRADE
Tsiatsoulis, Z Dozsa, G Cotronis, JY Kacsuk, P
scientific_publication_inproceedings
Επιστημονική δημοσίευση - Ανακοίνωση Συνεδρίου (EL)
Scientific publication - Conference Paper (EN)
1999-01-01
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)
Αγγλική γλώσσα
IEEE Comput. Soc (EL)
IEEE Comput. Soc (EN)
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
Πέργαμος
Ανακοίνωση Συνεδρίου (Conference Paper)



*Η εύρυθμη και αδιάλειπτη λειτουργία των διαδικτυακών διευθύνσεων των συλλογών (ψηφιακό αρχείο, καρτέλα τεκμηρίου στο αποθετήριο) είναι αποκλειστική ευθύνη των αντίστοιχων Φορέων περιεχομένου.