Search Results - "Reusable Program Component"

Specification Composition for the Verification of Message Passing Program Composition

Authors: J. Y. Cotronis Z. Tsiatsoulis The Pennsylvania State University CiteSeerX Archives

Contributors: J. Y. Cotronis Z. Tsiatsoulis The Pennsylvania State University CiteSeerX Archives

Source: http://www.di.uoa.gr/~ensemble/PDF/09.pdf.

Subject Terms: Message Passing Composition, Specification Composition, Reusable Program Component, Reusable Specification Component, Software Reliability, Coloured Petri Net

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.6294; http://www.di.uoa.gr/~ensemble/PDF/09.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.6294
http://www.di.uoa.gr/~ensemble/PDF/09.pdf