Michel Bidoit

Algebraic System Specification and Development: a Survey and Annotated Bibliography - Lecture Notes in Computer Science Michel Bidoit Annotated edition

Marc Notes: Includes bibliographical references (p. [59]-98). Description for Sales People: This book is an annotated bibliography providing an up-to-date overview of past and present work on algebraic specification. Some indications of how the different approaches are related are included, together with some ideas concerning possible future developments. Table of Contents: Basic foundations.- Models and logics.- Development concepts.- Support tools.- Applications. Publisher Marketing: Methods for the algebraic specification of abstract data types were proposed in the early 1970s in the USA and Canada and became a major research issue in Europe shortly afterwards. Since then the algebraic approach has come to play a central role in research on formal specification and development, as its range of applications was extended to the specification of complete software systems, to the formal description of the program development process, and to the uniform definition of syntax and semantics of programming languages. Today this approach extends beyond software to the development of integrated hardware and software systems. This volume is an annotated bibliography which provides an up-to-date overview of past and present work on algebraic specification.

Contributor Bio:  Kreowski, Hans-Jorg Hans-Dietrich Haasis is full professor for Business Administration, Production Management and Industrial Economics at the University of Bremen and chairman of Business Administration, Production-Management and Industrial Economics, University of Bremen, and director of the ISL - Institute of Shipping Economics and Logistics, Bremen. He held lectures at the Ecole Nationale Superieure de Petrole et des Moteurs, Paris Rueil-Malmaison, at the University Eichstatt-Ingolstadt, and at the Private University Witten-Herdecke. He also was invited to give lectures at the St. Petersburg State University of Economics and Finance, and the Technical University of Changcha, China. Hans-Jorg Kreowski is professor for Theoretical Computer Science at the University of Bremen. His main research topics are graph transformation, formal modelling and their applications in computer science and logistics. He (co)-authored and (co)-edited 15 books and published more than 120 scientific papers. Bernd Scholz-Reiter was founder and head of the Fraunhofer Application Center for Logistics Systems Planning and Information Systems at Cottbus. Since November 2000 he is a full professor and chair holder of the chair of Planning and Control of Production Systems (PSPS) at the University of Bremen where he also serves as director of the Bremen Institute of Industrial Technology and Applied Work Science (BIBA). He was initiator and vice-speaker of the research group on Autonomous Control of Logistic Processes, speaker of the Bremen Research Cluster for Dynamics in Logistics as well as speaker of the International Graduate School for Dynamics in Logistics. Scholz-Reiter is an ordinary member of theBerlin-Brandenburg Academy of Sciences and Humanities, an ordinary member of acatech, the Council for Engineering Sciences at the Union of the German Academies of Sciences and Humanities; BESIDE OTHER NATIONAL MEMBERSHIIPS he is a member of CIRP, the International Institution for Production Engineering Research, a fellow of the European Academy of Industrial Management (AIM) and an Advisory Board member of the Schlesinger Laboratory at TECHNION - Israel Institute of Technology, Haifa, Israel, as well as a member of the Scientific Advisory Board of the German Logistics Association (BVL). Professor Scholz-Reiter serves as vice president of the German Research Foundation (Deutsche Forschungsgemeinschaft, DFG). He is editor of the professional journals Industrie-Management and PPS-Management and member of the editorial board of the scientific International Journal Production Planning & Control. He is author and co-author of more than 250 scientific publications..