UM  > 科技學院  > 電腦及資訊科學系
Harnessing rCOS for tool support - The CoCoME experience
Chen Z.1; Li X.2; Liu Z.1; Stolz V.1; Yang L.1
2007-12-01
Conference NameSymposium on Formal Methods and Hybrid Real-Time Systems held in Honour of Dines Bjorner/Zhou Chaochen
Source PublicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4700 LNCS
Pages83-114
Conference DateSEP 24-25, 2007
Conference PlaceMacao, PEOPLES R CHINA
Abstract

Complexity of software development has to be dealt with by dividing the different aspects and different views of the system and separating different concerns in the design. This implies the need of different modelling notations and tools to support more and more phases of the entire development process. To ensure the correctness of the models produced, the tools therefore need to integrate sophisticated checkers, generators and transformations. A feasible approach to ensure high quality of such add-ins is to base them on sound formal foundations. This paper reports our experience in the work on the Common Component Modelling Example (CoCoME) and shows where such add-ins will fit. In particular, we show how the formal techniques developed in rCOS can be integrated into a component-based development process, and where it can be integrated in and provide extension to an existing successful commercial tool for adding formally supported checking, transformation and generation modules. © Springer-Verlag Berlin Heidelberg 2007.

KeywordFormal Methods Software Development Tool Software Process Tool Design
URLView the original
Indexed BySCI
Language英语
WOS Research AreaComputer Science
WOS SubjectComputer Science, Information Systems ; Computer Science, Software Engineering ; Computer Science, Theory & Methods
WOS IDWOS:000250405900005
Fulltext Access
Citation statistics
Cited Times [WOS]:1   [WOS Record]     [Related Records in WOS]
Document TypeConference paper
CollectionDEPARTMENT OF COMPUTER AND INFORMATION SCIENCE
Affiliation1.United Nations
2.Universidade de Macau
Recommended Citation
GB/T 7714
Chen Z.,Li X.,Liu Z.,et al. Harnessing rCOS for tool support - The CoCoME experience[C],2007:83-114.
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Chen Z.]'s Articles
[Li X.]'s Articles
[Liu Z.]'s Articles
Baidu academic
Similar articles in Baidu academic
[Chen Z.]'s Articles
[Li X.]'s Articles
[Liu Z.]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Chen Z.]'s Articles
[Li X.]'s Articles
[Liu Z.]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.