Cover of: Algebraic System Specification and Development | Read Online

Algebraic System Specification and Development A Survey and Annotated Bibliography (Lecture Notes in Computer Science)

  • 700 Want to read
  • ·
  • 74 Currently reading

Published by Springer .
Written in English


  • Algebra,
  • Applied mathematics,
  • Reference works,
  • Software engineering,
  • Programming - Systems Analysis & Design,
  • Computers - Languages / Programming,
  • Networking - General,
  • Computers / Networking / General,
  • System design

Book details:

Edition Notes

ContributionsMichel Bidoit (Editor), Hans-Jörg Kreowski (Editor), Pierre Lescanne (Editor), Fernando Orejas (Editor), Donald Sannella (Editor)
The Physical Object
Number of Pages98
ID Numbers
Open LibraryOL9060632M
ISBN 103540540601
ISBN 109783540540601

Download Algebraic System Specification and Development


The first author is a professor of computer science at the University of Edinburgh. His key research area is foundations for specification and formal development of modular software systems from specifications, with applications to computer security and programming languages; among other responsibilities, he is the Editor-in-Chief of the journal Theoretical Computer Science and Vice Cited by: Get this from a library! Algebraic system specification and development: a survey and annotated bibliography. [M Bidoit;] -- "Methods for the algebraic specification of abstract data types were proposed in the early s in the USA and Canada and became a major research issue in Europe shortly afterwards. Since then the. Methods for the algebraic specification of abstract data types were proposed in the early s in the USA and Canada and became a major research issue in Europe shortly afterwards. Rating: (not yet rated) 0 with reviews - Be the first. This book should be seen as a contribution towards creating this virtuous circle. The book will be of interest to software designers and programmers. It can also be used as material for an introductory course on algebraic specifications and software engineering at undergraduate or graduate level.

The main ideas underlying work on the model-theoretic foundations of algebraic specification and formal program development are presented in an informal way. An attempt is made to offer an overall view, rather than new results, and to focus on the basic motivation behind the . description and allows for parallel sub-system development ⊗ Interfaces may be defined as a set of abstract data types or object classes ⊗ Algebraic specification is particularly appropriate for ADT specification as it focuses on operations and their relationships. Algebra A Complete - search pdf books free download Free eBook and manual for Business, Education,Finance, Inspirational, Novel, Religion, Social, Sports, Science, Technology, Holiday, Medical,Daily new PDF ebooks documents ready for download, All PDF documents are Free,The biggest database for Free books and documents search with fast results better than any online library eBooks. The General Algebraic Modeling Language is the easiest way to formulate complex optimization problems. Products. THE GENERAL ALGEBRAIC MODELING SYSTEM The one stop solution for your mathematical programming needs. GAMS Development Corp. GAMS Software GmbH. General Information and Sales. U.S. (+1)

Algebraic System Specification and Development: A Survey and Annotated Bibliography (Lecture Notes in Computer Science ()) Categories: E-Books & Audio Books pages | English | ISBN | ISBN This book presents state-of-the-art research and survey articles that highlight work done within the Priority Program SPP “Algorithmic and Experimental Methods in Algebra, Geometry and Number Theory”, which was established and generously supported by the German Research Foundation (DFG) from to The goal of the program was to substantially advance algorithmic and. He wrote a very influential book on algebraic number theory in , which gave the first systematic account of the theory. Some of his famous problems were on number theory, and have also been influential. TAKAGI (–). He proved the fundamental theorems of abelian class field theory, as conjectured by Weber and Hilbert. NOETHER. Algebraic theory provides a framework for the specification and design of modules and modular software systems. Research in this area has focused on the development of “horizontal” operations for building up module and interface specifications.