000 03616nam a22005055i 4500
001 978-3-540-47545-3
003 DE-He213
005 20160624102024.0
007 cr nn 008mamaa
008 121227s1993 gw | s |||| 0|eng d
020 _a9783540475453
_9978-3-540-47545-3
024 7 _a10.1007/3-540-56379-2
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
082 0 4 _a005.1
_223
245 1 0 _aRecent Trends in Data Type Specification
_h[electronic resource] :
_b8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop Dourdan, France, August 26–30, 1991 Selected Papers /
_cedited by Michel Bidoit, Christine Choppy.
260 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1993.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1993.
300 _aX, 346 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v655
505 0 _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.
520 _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.
650 0 _aComputer science.
650 0 _aSoftware engineering.
650 0 _aLogic design.
650 1 4 _aComputer Science.
650 2 4 _aSoftware Engineering.
650 2 4 _aProgramming Languages, Compilers, Interpreters.
650 2 4 _aLogics and Meanings of Programs.
700 1 _aBidoit, Michel.
_eeditor.
700 1 _aChoppy, Christine.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783540563792
786 _dSpringer
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v655
856 4 0 _uhttp://dx.doi.org/10.1007/3-540-56379-2
942 _2EBK6100
_cEBK
999 _c35394
_d35394