The Resource Algebraic system specification and development : a survey and annotated bibliography, M. Bidoit [and others], eds

Algebraic system specification and development : a survey and annotated bibliography, M. Bidoit [and others], eds

Label
Algebraic system specification and development : a survey and annotated bibliography
Title
Algebraic system specification and development
Title remainder
a survey and annotated bibliography
Statement of responsibility
M. Bidoit [and others], eds
Contributor
Subject
Genre
Language
eng
Summary
"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 just software to the development of integrated hardware and software systems. These flourishing activities in the area of algebraic specifications have led to an abundance of approaches, theories and concepts, which have universal algebra, category theory and logic as a common mathematical basis. This volume is an annotated bibliography which provides an up-to-date overview of past and present work on algebraic specification. No attempt is made to provide a coherent introduction to the topic for beginners; the intention is rather to provide a guide to the current literature for researchers in algebraic specification and neighboring fields. Some indications of how the different approaches are related are included, together with some ideas concerning possible future directions."--PUBLISHER'S WEBSITE
Member of
Cataloging source
DLC
Index
no index present
LC call number
QA76.9.S88
LC item number
A5 1991
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1957-
http://library.link/vocab/relatedWorkOrContributorName
Bidoit, M.
http://library.link/vocab/subjectName
  • System design
  • outil logiciel
  • développement logiciel
  • langage programmation
  • bibliographie
  • spécification algébrique
  • type abstrait
  • Systèmes, Conception de
  • System design
  • Systèmes, Conception de
  • Algebraische Spezifikation
Label
Algebraic system specification and development : a survey and annotated bibliography, M. Bidoit [and others], eds
Instantiates
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Dimensions
25 cm.
Dimensions
unknown
Extent
viii, 98 pages
File format
unknown
Isbn
9783540540601
Isbn Type
(Berlin : acid-free paper)
Lccn
91013193
Level of compression
unknown
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Quality assurance targets
unknown
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
  • (OCoLC)23693091
  • (OCoLC)ocm23693091
Label
Algebraic system specification and development : a survey and annotated bibliography, M. Bidoit [and others], eds
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Dimensions
25 cm.
Dimensions
unknown
Extent
viii, 98 pages
File format
unknown
Isbn
9783540540601
Isbn Type
(Berlin : acid-free paper)
Lccn
91013193
Level of compression
unknown
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Quality assurance targets
unknown
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
  • (OCoLC)23693091
  • (OCoLC)ocm23693091

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...