Comprehensive Algebraic Approach to System Specification and Development

Project: Research

Project Details

to provide a comprehensive algebraic approach to the specification of systems and their components,
to provide a formal basis for their correct development,
to consolidate the theoretical background,
to lay the basis for an increased power of support tools,
to encompass new programming methodologies and application areas, and
to make progress towards the development of a uniform mathematical framework for logic and semantics within computer science.