04798nam 22007455 450 991014363020332120200702014439.03-540-44616-810.1007/b75154(CKB)1000000000211253(SSID)ssj0000326159(PQKBManifestationID)11212928(PQKBTitleCode)TC0000326159(PQKBWorkID)10264981(PQKB)10378282(DE-He213)978-3-540-44616-3(MiAaPQ)EBC3088388(PPN)155164260(EXLCZ)99100000000021125320121227d2000 u| 0engurnn#008mamaatxtccrRecent Trends in Algebraic Development Techniques 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers /edited by Didier Bert, Christine Choppy, Peter Mosses1st ed. 2000.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2000.1 online resource (X, 490 p.)Lecture Notes in Computer Science,0302-9743 ;1827Bibliographic Level Mode of Issuance: Monograph3-540-67898-0 Includes bibliographical references.Invited Topics -- A Type-Theoretic Memory Model for Verification of Sequential Java Programs -- From States to Histories -- Principles and Pragmatics of Subtyping in PVS -- Casl: Language, Methodology and Tools -- Extending Casl by Late Binding -- Towards an Evolutionary Formal Software-Development Using CASL -- Development of Parsing Tools for CASL Using Generic Language Technology -- Using CASL to Specify the Requirements and the Design: A Problem Specific Approach -- Subsorted Partial Higher-Order Logic as an Extension of CASL -- Specifying Real Numbers in CASL -- Foundations -- Specification Refinement with System F – The Higher-Order Case -- Guarded Algebras: Disguising Partiality so You Won’t Know Whether Its There -- A General Completeness Result in Refinement -- An Institution of Hybrid Systems -- Realization of Probabilistic Automata: Categorical Approach -- Specifications in an Arbitrary Institution with Symbols -- A General Algebraic Framework for Studying Modular Systems -- Specification of Processes and Interactions -- History Preserving Bisimulation for Contextual Nets -- A Model for Interaction of Agents and Environments -- Algebra-Coalgebra Structures and Bialgebras -- A Uniform Model Theory for the Specification of Data and Process Types -- Other Topics -- Relating Abstract Datatypes and Z-Schemata -- Algebraic Specification of Operator-Based Multimedia Scenarios -- Higher-Order Logic and Theorem Proving for Structured Specifications -- Extraction of Structured Programs from Specification Proofs -- Towards a Verification Logic for Rewriting Logic -- The Rôle of Normalisation in Testing from Structured Algebraic Specifications.Lecture Notes in Computer Science,0302-9743 ;1827Software engineeringProgramming languages (Electronic computers)Computer programmingComputer logicSoftware Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XSoftware engineering.Programming languages (Electronic computers).Computer programming.Computer logic.Software Engineering/Programming and Operating Systems.Programming Languages, Compilers, Interpreters.Programming Techniques.Software Engineering.Logics and Meanings of Programs.005.1Bert Didieredthttp://id.loc.gov/vocabulary/relators/edtChoppy Christineedthttp://id.loc.gov/vocabulary/relators/edtMosses Peteredthttp://id.loc.gov/vocabulary/relators/edtWADT '99MiAaPQMiAaPQMiAaPQBOOK9910143630203321Recent Trends in Algebraic Development Techniques771917UNINA