Till Mossakowski

Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers - Theoretical Computer Science and General Issues Till Mossakowski

Publisher Marketing: This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on Algebraic Development Techniques, WADT 2010, held in July 2010 in Etelsen, Germany. The 15 revised papers presented were carefully reviewed and selected from 32 presentations. The workshop deals with the following topics: foundations of algebraic specification; other approaches to formal specification including process calculi and models of concurrent, distributed and mobile computing; specification languages, methods, and environments; semantics of conceptual modeling methods and techniques; model-driven development; graph transformations, term rewriting and proof systems; integration of formal specification techniques; formal testing and quality assurance validation, and verification.

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..