Theoretical Computer Science

Algebraic specification

For all stages of software development, beginning with the requirements definition and ending with a running program, specification techniques are defined formally with respect to both syntax and semantics. The major emphasis is laid on:

methods that allow for correctness proofs and a modular structure of software systems on all levels of abstraction, and
formal tools that provide a systematic way to transform one level of abstraction into the next.

The most important subjects are:

partial specification,
specification of parameterized data types and parameter passing,
algebraic implementation of abstract data types,
term rewriting and operational semantics,
institutions, logics, and parchments as a meta-theory for specification methods allowing comparison and translation between different frameworks.

Research in this area contributes partly to CoFI (Common Framework Initiative for Algebraic Specification) within the IFIP Working Group 1.3. The goal of CoFI is to get a common agreement in the algebraic specification community about basic concepts, and to provide a family of specification languages at different levels, a development methodology, and tool support.


	Research Group Theoretical Computer Science
	Algebraic specification For all stages of software development, beginning with the requirements definition and ending with a running program, specification techniques are defined formally with respect to both syntax and semantics. The major emphasis is laid on: methods that allow for correctness proofs and a modular structure of software systems on all levels of abstraction, and formal tools that provide a systematic way to transform one level of abstraction into the next. The most important subjects are: partial specification, specification of parameterized data types and parameter passing, algebraic implementation of abstract data types, term rewriting and operational semantics, institutions, logics, and parchments as a meta-theory for specification methods allowing comparison and translation between different frameworks. Research in this area contributes partly to CoFI (Common Framework Initiative for Algebraic Specification) within the IFIP Working Group 1.3. The goal of CoFI is to get a common agreement in the algebraic specification community about basic concepts, and to provide a family of specification languages at different levels, a development methodology, and tool support.	Mail Address University of Bremen Dept. for Math. & Computer Science P.O. Box 330 440 28334 Bremen Germany Physical Address Linzer Strasse 9a OAS 3002 28359 Bremen Phone ++49(421)218 64450 Fax ++49 (421)218 64459 Email (Secr.) Helga Reinermann helga@tzi.de
		© / 03.03.05