02463nam 22004815 450 99646576060331620200701011832.03-540-38136-810.1007/3-540-10007-5(CKB)1000000000230035(SSID)ssj0000320766(PQKBManifestationID)11235368(PQKBTitleCode)TC0000320766(PQKBWorkID)10268662(PQKB)10228948(DE-He213)978-3-540-38136-5(PPN)155179535(EXLCZ)99100000000023003520121227d1980 u| 0engurnn|008mamaatxtccrAbstract Software Specifications[electronic resource] 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings /edited by D. Bjorner1st ed. 1980.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1980.1 online resource (XVI, 572 p.)Lecture Notes in Computer Science,0302-9743 ;86Bibliographic Level Mode of Issuance: Monograph3-540-10007-5 Abstract Architecture -- Foundations of denotational semantics -- Models of programming language concepts -- Formalization of data base models -- Experiments in block-structured GOTO language modeling: — EXITs versus continuations -- An introduction to data algebras -- Time sequences as a tool for describing program behaviour -- The semantics of clear, a specification language -- An example of hierarchical program specification -- Modular program construction using abstractions -- On the structure of application programs -- Abstract objects as abstract data types -- Design and analysis of highly parallel and distributed systems -- On the semantics of fair parallelism -- Dijkstra's predicate transformers and smyth's powerdomains -- Banquet talk.Lecture Notes in Computer Science,0302-9743 ;86Software engineeringSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Software engineering.Software Engineering.005.1Bjorner Dedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465760603316Abstract software specifications878546UNISA