1. Home page
  2. Search

Testing and debugging message passing applications based on the synergy of program and specification executions

This item is provided by the institution :
/aggregator-openarchives/portal/institutions/uoa   

Repository :
Pergamos Digital Library   

see the original item page
in the repository's web site and access all digital files if the item*



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)
scientific_publication_inproceedings
Επιστημονική δημοσίευση - Ανακοίνωση Συνεδρίου (EL)
Scientific publication - Conference Paper (EN)
University of Athens
Pergamos Digital Library
Conference Paper
English
1999-01-01
https://pergamos.lib.uoa.gr/uoa/dl/object/uoadl:3051359
uoadl:3051359
IEEE Comput. Soc (EL)
IEEE Comput. Soc (EN)



*Institutions are responsible for keeping their URLs functional (digital file, item page in repository site)