δείτε την πρωτότυπη σελίδα τεκμηρίου στον ιστότοπο του αποθετηρίου του φορέα για περισσότερες πληροφορίες και για να δείτε όλα τα ψηφιακά αρχεία του τεκμηρίου*
Testing and debugging message passing applications based on the synergy
of program and specification executions
Tsiatsoulis, Z
Cotronis, JY
Floros, E
We outline Ensemble, a design and implementation methodology for
composing message passing (MP) applications from program components. We
also outline specification composition, directly associated with
application composition. We present the integration of specification and
implementation of program development. We particularly elaborate on
testing and debugging of MP applications based on the synergy of tools
for specification simulations with tools for program execution
visualisation.
(EN)
*Η εύρυθμη και αδιάλειπτη λειτουργία των διαδικτυακών διευθύνσεων των συλλογών (ψηφιακό αρχείο, καρτέλα τεκμηρίου στο αποθετήριο) είναι αποκλειστική ευθύνη των αντίστοιχων Φορέων περιεχομένου.
Βοηθείστε μας να κάνουμε καλύτερο το OpenArchives.gr.
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
