LEADER 05732nam 22007815 450 001 9910144184303321 005 20200706122957.0 010 $a3-540-27815-X 010 $a3-540-22381-9 024 7 $a10.1007/b98770 035 $a(CKB)1000000000212465 035 $a(SSID)ssj0000321125 035 $a(PQKBManifestationID)11238199 035 $a(PQKBTitleCode)TC0000321125 035 $a(PQKBWorkID)10263540 035 $a(PQKB)10347118 035 $a(DE-He213)978-3-540-27815-3 035 $a(MiAaPQ)EBC3088538 035 $a(PPN)155179896 035 $a(EXLCZ)991000000000212465 100 $a20121227d2004 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAlgebraic Methodology and Software Technology $e10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings /$fedited by Charles Rattray, Savitri Maharaj 205 $a1st ed. 2004. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2004. 215 $a1 online resource (XI, 572 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v3116 300 $aBibliographic Level Mode of Issuance: Monograph 320 $aIncludes bibliographical references and index. 327 $aInvited Speakers -- Algebraic Approaches to Problem Generalisation -- A Science of Software Design -- Glass Box and Black Box Views of State-Based System Specifications -- Abstraction for Safety, Induction for Liveness -- Counting Votes with Formal Methods -- Agent-Oriented Programming: Where Do We Stand? -- Contributed Talks -- On Guard: Producing Run-Time Checks from Integrity Constraints -- Behavioural Types and Component Adaptation -- Towards Correspondence Carrying Specifications -- Formalizing and Proving Semantic Relations between Specifications by Reflection -- Model-Checking Systems with Unbounded Variables without Abstraction -- A Generic Software Safety Document Generator -- Linear Temporal Logic and Z Refinement -- Formal JVM Code Analysis in JavaFAN -- Verifying a Sliding Window Protocol in ?CRL -- State Space Reduction for Process Algebra Specifications -- A Hybrid Logic of Knowledge Supporting Topological Reasoning -- A Language for Configuring Multi-level Specifications -- Flexible Proof Reuse for Software Verification -- Deductive Verification of Distributed Groupware Systems -- Formal Verification of a Commercial Smart Card Applet with Multiple Tools -- Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs -- Refining Mobile UML State Machines -- Verifying Invariants of Component-Based Systems through Refinement -- Modelling Concurrent Interactions -- Proof Support for RAISE by a Reuse Approach Based on Institutions -- Separate Compositional Analysis of Class-Based Object-Oriented Languages -- Abstract Domains for Property Checking Driven Analysis of Temporal Properties -- Modular Rewriting Semantics of Programming Languages -- Modal Kleene Algebra and Partial Correctness -- Modularity and the Rule of Adaptation -- Modal Abstractions in ?CRL -- Semantics of Plan Revision in Intelligent Agents -- Generic Exception Handling and the Java Monad -- Expressing Iterative Properties Logically in a Symbolic Setting -- Extending Separation Logic with Fixpoints and Postponed Substitution -- A Formally Verified Calculus for Full Java Card -- On Refinement of Generic State-Based Software Components -- Techniques for Executing and Reasoning about Specification Diagrams -- Formalising Graphical Behaviour Descriptions -- Model-Checking Distributed Real-Time Systems with States, Events, and Multiple Fairness Assumptions. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v3116 606 $aSoftware engineering 606 $aComputer logic 606 $aLogic, Symbolic and mathematical 606 $aComputer programming 606 $aComputer science?Mathematics 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aSymbolic and Algebraic Manipulation$3https://scigraph.springernature.com/ontologies/product-market-codes/I17052 615 0$aSoftware engineering. 615 0$aComputer logic. 615 0$aLogic, Symbolic and mathematical. 615 0$aComputer programming. 615 0$aComputer science?Mathematics. 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aLogics and Meanings of Programs. 615 24$aMathematical Logic and Formal Languages. 615 24$aSoftware Engineering. 615 24$aProgramming Techniques. 615 24$aSymbolic and Algebraic Manipulation. 676 $a005.1 702 $aRattray$b Charles$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMaharaj$b Savitri$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Conference on Algebraic Methodology and Software Technology. 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910144184303321 996 $aAlgebraic Methodology and Software Technology$9774301 997 $aUNINA