Harnessing Theories for Tool Support

Authors:
Zhiming Liu;Vladimir Mencl;Anders P. Ravn;Lu Yang
Affiliations:
-;-;-;-
Venue:
ISOLA '06 Proceedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Year:
2006

Citing 0
Cited 6

Modelling with Relational Calculus of Object and Component Systems - rCOS

The Common Component Modeling Example
Refinement and verification in component-based model-driven design

Science of Computer Programming
Design verification patterns

Formal methods and hybrid real-time systems
rCOS: theory and tool for component-based model driven development

FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Specification and validation of behavioural protocols in the rCOS modeler

FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Towards harnessing theories through tool support for hard real-time Java programming

Innovations in Systems and Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Software development tools need to support more and more phases of the entire development process, because applications must be developed more correctly and efficiently. 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. In order to know where such add-ins will fit, we investigate the use of an existing successful commercial tool and identify suitable places for adding formally supported checking, transformation and generation modules. The paper concludes with a discussion of feasibility of developing the proposed add-ins and how to give conditions such that they will actually be used.