European Joint Conferences on Theory and Practices of Software (ETAPS). Designing Correct Circuits (DCC '02)

Abstract : The Final Proceedings for European Joint Conferences on Theory and Practice of Software (ETAPS), 6 April 2002 - 14 April 2002 This is a computer and information science conference. Topics include compiler construction; programming language implementation; language design; specification, design, and analysis of programming languages and programming systems; fundamental approaches to software engineering; component-based software architectures; middleware systems for large scale heterogeneous software federation; formal modeling and specification techniques for component based software; mathematical models and methods for the specification, synthesis, verification, analysis, and transformation of sequential, concurrent, distributed, and mobile programs and software systems; tools and algorithms for the construction and analysis of systems.