LEADER 04939nam  22007215  450 
001 996466087803316
005 20200629114129.0
010   $a3-540-47545-1
024 7 $a10.1007/3-540-56379-2
035   $a(CKB)1000000000233926
035   $a(SSID)ssj0000326168
035   $a(PQKBManifestationID)11262706
035   $a(PQKBTitleCode)TC0000326168
035   $a(PQKBWorkID)10265260
035   $a(PQKB)11241785
035   $a(DE-He213)978-3-540-47545-3
035   $a(PPN)155219847
035   $a(EXLCZ)991000000000233926
100   $a20121227d1993      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aRecent Trends in Data Type Specification$b[electronic resource] $e8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991. Selected Papers /$fedited by Michel Bidoit, Christine Choppy
205   $a1st ed. 1993.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1993.
215   $a1 online resource (X, 346 p.) 
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v655
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-56379-2 
327   $aAlgebraic specification of concurrency -- Objects and their specification -- The use of sorts in algebraic specifications -- Implementation and behavioural equivalence: A survey -- Relationships between logical frameworks -- Label algebras: A systematic use of terms -- How to specify non determinism and true concurrency with algebraic term nets -- Bounded implementation of algebraic specifications -- New concepts of amalgamation and extension for a general theory of specifications -- Nonequivalence of categories for equational algebraic specifications -- Process semantics of temporal logic specification -- The object-based specification language ?: concepts, syntax, and semantics -- Specifications with observable formulae and observational satisfaction relation -- Event logic for specifying abstract dynamic data types -- A soft stairway to institutions -- Generic classes in an object-based language.
330   $aThe algebraic specification of abstract data types has been a flourishing research topic in computer science since 1974. The main goal of this work isto evolve theoretical foundations and a methodology to support the design and formal development of reliable software. This volume gives the proceedings of the Eighth Workshop on Specification of Abstract Data Types, held jointly with the Third COMPASS workshop near Paris in August 1991. The main topics covered by the joint workshop are: - specification languagesand program development - algebraic specification of concurrency - theorem proving - object-oriented specifications - order-sorted algebras - abstract implementation and behavioral semantics. The volume contains four invited surveys and twelve contributed papers, all of which underwent a careful refereeing process.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v655
606   $aSoftware engineering
606   $aData structures (Computer science)
606   $aComputers
606   $aProgramming languages (Electronic computers)
606   $aComputer logic
606   $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002
606   $aData Structures and Information Theory$3https://scigraph.springernature.com/ontologies/product-market-codes/I15009
606   $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
615  0$aSoftware engineering.
615  0$aData structures (Computer science).
615  0$aComputers.
615  0$aProgramming languages (Electronic computers).
615  0$aComputer logic.
615 14$aSoftware Engineering/Programming and Operating Systems.
615 24$aData Structures and Information Theory.
615 24$aTheory of Computation.
615 24$aSoftware Engineering.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aLogics and Meanings of Programs.
676   $a005.1
702   $aBidoit$b Michel$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aChoppy$b Christine$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996466087803316
996   $aRecent Trends in Data Type Specification$92829876
997   $aUNISA