Toward Component-Oriented Formal Software Development: An Algebraic Approach

Michel Bidoit, Donald Sannella, Andrzej Tarlecki

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

Component based design and development of software is one of the most challenging issues in software engineering. In this paper, we adopt a somewhat simplified view of software components and discuss how they can be conveniently modelled in a framework that provides a modular approach to formal software development by means of stepwise refinement. In particular we take into account an observational interpretation of requirements specifications and study its impact on the definition of the semantics of specifications of (parametrized) components. Our study is carried out in the context of Casl architectural specifications.
Original languageEnglish
Title of host publicationRadical Innovations of Software and Systems Engineering in the Future
Subtitle of host publication9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers
PublisherSpringer Berlin Heidelberg
Number of pages16
ISBN (Electronic)978-3-540-24626-8
ISBN (Print)978-3-540-21179-2
Publication statusPublished - 2002

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg
ISSN (Print)0302-9743


Dive into the research topics of 'Toward Component-Oriented Formal Software Development: An Algebraic Approach'. Together they form a unique fingerprint.

Cite this