Toward Component-Oriented Formal Software Development: An Algebraic Approach [chapter]

Michel Bidoit, Donald Sannella, Andrzej Tarlecki
2004 Lecture Notes in Computer Science  
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
more » ... ics of specifications of (parametrized) components. Our study is carried out in the context of Casl architectural specifications.
doi:10.1007/978-3-540-24626-8_5 fatcat:qstj66wjgbhnfmbxy7aepayglq