Algebraic System Specification and Development: Survey and Annotated Bibliography - Second Edition -

Algebraic System Specification and Development: Survey and Annotated Bibliography - Second Edition - (1997)

Cached

Download Links

[ftp.uni-bremen.de]

by Martin Gogolla , Zhenyu Qian , Hélène Kirchner , Markus Wolf (Eds.) , Maura Cerioli , Maura Cerioli , Universit`a Degli Studi Di Genova , Prof Dr , Bernd Krieg-Brückner , Bernd Krieg-bruckner

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Algebraic System Specification and Development: Survey and Annotated Bibliography - Second Edition -	user correction - Legacy Corrections
AUTHOR NAME	Martin Gogolla	user correction - Legacy Corrections
AUTHOR NAME	Zhenyu Qian	user correction - Legacy Corrections
AUTHOR NAME	Hélène Kirchner	user correction - Legacy Corrections
AUTHOR NAME	Markus Wolf (Eds.)	user correction - Legacy Corrections
AUTHOR NAME	Maura Cerioli	user correction - Legacy Corrections
AUTHOR AFFIL	Martin Gogolla, Universitat Bremen; H'el`ene Kirchner, CRIN-CNRS and INRIA-Lorraine; Bernd Krieg-Bruckner, Universitat Bremen; Zhenyu Qian, Universitat Bremen; Markus Wolf, Universitat des Saarlandes	user correction - Legacy Corrections
AUTHOR NAME	Maura Cerioli	user correction - Legacy Corrections
AUTHOR AFFIL	Martin Gogolla, Universitat Bremen; H'el`ene Kirchner, CRIN-CNRS and INRIA-Lorraine; Bernd Krieg-Bruckner, Universitat Bremen; Zhenyu Qian, Universitat Bremen; Markus Wolf, Universitat des Saarlandes	user correction - Legacy Corrections
AUTHOR NAME	Universit`a Degli Studi Di Genova	user correction - Legacy Corrections
AUTHOR AFFIL	Martin Gogolla, Universitat Bremen; H'el`ene Kirchner, CRIN-CNRS and INRIA-Lorraine; Bernd Krieg-Bruckner, Universitat Bremen; Zhenyu Qian, Universitat Bremen; Markus Wolf, Universitat des Saarlandes	user correction - Legacy Corrections
AUTHOR NAME	Prof Dr	user correction - Legacy Corrections
AUTHOR AFFIL	Bremer Institute for Safe Systems; FB3 Mathematik und Informatik; Universitat Bremen	user correction - Legacy Corrections
AUTHOR ADDR	Postfach 330 440; D-28334 Bremen, Germany	user correction - Legacy Corrections
AUTHOR NAME	Bernd Krieg-Brückner	user correction - Legacy Corrections
AUTHOR AFFIL	Bremer Institute for Safe Systems; FB3 Mathematik und Informatik; Universitat Bremen	user correction - Legacy Corrections
AUTHOR ADDR	Postfach 330 440; D-28334 Bremen, Germany	user correction - Legacy Corrections
AUTHOR NAME	Bernd Krieg-bruckner	user correction - Legacy Corrections
AUTHOR AFFIL	Bremer Institute for Safe Systems; FB3 Mathematik und Informatik; Universitat Bremen	user correction - Legacy Corrections
AUTHOR ADDR	Postfach 330 440; D-28334 Bremen, Germany	user correction - Legacy Corrections
ABSTRACT	Data Types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50 4.5.4 Special Approaches . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50 4.6 Semantics of Programming Languages . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52 4.6.1 Semantics of Ada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52 4.6.2 Action Semantics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52 4.7 Specification Languages . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53 4.7.1 Early Algebraic Specification Languages . . . . . . . . . . . . . . . . . . . . . . . . 53 4.7.2 Recent Algebraic Specification Languages . . . . . . . . . . . . . . . . . . . . . . . 55 4.7.3 The Common Framework Initiative. . . . . . . . . . . . . . . . . . . . . . . . . . . 56 5 Methodology 57 5.1 Development Phases . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57 5.1.1 Applica...	user correction - Legacy Corrections
YEAR	1997	user correction - Legacy Corrections
CITATIONS	955 found	ParsCit 1.0