IEEE - Institute of Electrical and Electronics Engineers, Inc. - Modelling and Verification of Port Based Component Composition

2009 9th International Conference on Quality Software (QSIC)

Author(s): Zuohua Ding ; Mingyue Jiang
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 August 2009
Conference Location: Jeju, Korea (South), Korea (South)
Conference Date: 24 August 2009
Page(s): 86 - 91
ISBN (CD): 978-0-7695-3828-0
ISBN (Electronic): 978-1-4244-5913-1
ISBN (Paper): 978-1-4244-5912-4
ISSN (Paper): 1550-6002
DOI: 10.1109/QSIC.2009.19
Regular:

This paper presents a port based language to describe components and component composition. This language aims to check component composition in three aspects: signature constraints, behaviour... View More

Advertisement