02965nam 22005295 450 99646634230331620200704223530.03-540-39176-210.1007/3-540-11490-4(CKB)1000000000230175(SSID)ssj0000325908(PQKBManifestationID)11912738(PQKBTitleCode)TC0000325908(PQKBWorkID)10266915(PQKB)11319472(DE-He213)978-3-540-39176-0(PPN)155189018(EXLCZ)99100000000023017520121227d1982 u| 0engurnn|008mamaatxtccrProgram Specification[electronic resource] Proceedings of a Workshop Aarhus, Denmark, August 1981 /edited by J. Staunstrup1st ed. 1982.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1982.1 online resource (VI, 426 p.) Lecture Notes in Computer Science,0302-9743 ;134Bibliographic Level Mode of Issuance: Monograph3-540-11490-4 Program specification: Issues and observations -- Example 1: Geometrical constructions -- Example 1: Geometrical constructions -- Example 2: KWIC — index generation -- Example 2: KWIC — index generation -- Example 2: KWIC — index generation -- Example 2: KWIC — index generation -- Example 2: KWIC — index generation -- Example 2: KWIC — index generation -- Example 2: KWIC — index generation -- Example 3: Communication network -- Example 3: Communication network -- Partial correctness of distributed programs -- Specification of distributed programs -- Robust data types -- A reduction specification for DTL -- Recursive definitions of operations in universal algebras -- The SRDL specification experiment -- Program specification by module trees -- Parameter passing in algebraic specification languages -- A few remarks on putting formal specifications to productive use -- A specification language -- Tecton: A language for manipulating generic objects -- Concurrency -- Workshop on program specification -- List of participants.Lecture Notes in Computer Science,0302-9743 ;134Computer logicSoftware engineeringLogics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Computer logic.Software engineering.Logics and Meanings of Programs.Software Engineering.005.1015113Staunstrup Jedthttp://id.loc.gov/vocabulary/relators/edtBOOK996466342303316Program specification332013UNISA