Algebraic Methodology and Software Technology
Subtitle: 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, ... (Lecture Notes in Computer Science)
Contributors: Helene Kirchner (Editor); Christophe Ringeissen (Editor)
Edition: 1 edition
Publisher: Springer
Published: October 3, 2002
Language: eng
Format: Paperback
Number of pages: 503
ISBN-13: 9783540441441
Subjects: Algebra; Computer Programming; Mathematical theory of computation; Programming - General; Congresses; Software Engineering; Database Engineering; Computers; Computers - Languages / Programming; Logic; Computer Books: General; General; Programming - Software Development; Abstract State Machines; Algebraic Methods; Algebraic State Machines; Computers / Logic Design; Formal Methods; Formal Specification; Formal Verification; Mathematical Software Construction; Abstract data types (Computer science); Database Management - General; Abstract data types (Computer
First sentence: The Common Framework Initiative, abbreviated CoFI, is an open international collaboration which aims to provide a common framework for algebraic specification and development of software by consolidating the results of past research in the area [AKBK99].