LEADER 03655nam  22005415  450 
001 996465945103316
005 20200704124151.0
010   $a3-540-47382-3
024 7 $a10.1007/BFb0018512
035   $a(CKB)1000000000548783
035   $a(SSID)ssj0000321138
035   $a(PQKBManifestationID)11238200
035   $a(PQKBTitleCode)TC0000321138
035   $a(PQKBWorkID)10260429
035   $a(PQKB)11716148
035   $a(DE-He213)978-3-540-47382-4
035   $a(PPN)155215485
035   $a(EXLCZ)991000000000548783
100   $a20121227d1991      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aAlgebraic System Specification and Development$b[electronic resource] $eA Survey and Annotated Bibliography /$fedited by Michel Bidoit, Hans-Jörg Kreowski, Pierre Lescanne, Fernando Orejas, Donald Sannella
205   $a1st ed. 1991.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1991.
215   $a1 online resource (XII, 184 p.) 
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v501
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-54060-1 
327   $aBasic foundations -- Models and logics -- Development concepts -- Support tools -- Applications.
330   $aMethods 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.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v501
606   $aComputer organization
606   $aComputer Systems Organization and Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13006
615  0$aComputer organization.
615 14$aComputer Systems Organization and Communication Networks.
676   $a004.2/1
702   $aBidoit$b Michel$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aKreowski$b Hans-Jörg$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aLescanne$b Pierre$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aOrejas$b Fernando$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSannella$b Donald$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465945103316
996   $aAlgebraic System Specification and Development$92831120
997   $aUNISA