05728nam 22007815 450 99646571910331620200706122957.03-540-27815-X3-540-22381-910.1007/b98770(CKB)1000000000212465(SSID)ssj0000321125(PQKBManifestationID)11238199(PQKBTitleCode)TC0000321125(PQKBWorkID)10263540(PQKB)10347118(DE-He213)978-3-540-27815-3(MiAaPQ)EBC3088538(PPN)155179896(EXLCZ)99100000000021246520121227d2004 u| 0engurnn#008mamaatxtccrAlgebraic Methodology and Software Technology[electronic resource] 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings /edited by Charles Rattray, Savitri Maharaj1st ed. 2004.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2004.1 online resource (XI, 572 p.)Lecture Notes in Computer Science,0302-9743 ;3116Bibliographic Level Mode of Issuance: MonographIncludes bibliographical references and index.Invited 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.Lecture Notes in Computer Science,0302-9743 ;3116Software engineeringComputer logicMathematical logicComputer programmingComputer science—MathematicsSoftware Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XMathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Symbolic and Algebraic Manipulationhttps://scigraph.springernature.com/ontologies/product-market-codes/I17052Software engineering.Computer logic.Mathematical logic.Computer programming.Computer science—Mathematics.Software Engineering/Programming and Operating Systems.Logics and Meanings of Programs.Mathematical Logic and Formal Languages.Software Engineering.Programming Techniques.Symbolic and Algebraic Manipulation.005.1Rattray Charlesedthttp://id.loc.gov/vocabulary/relators/edtMaharaj Savitriedthttp://id.loc.gov/vocabulary/relators/edtInternational Conference on Algebraic Methodology and Software TechnologyMiAaPQMiAaPQMiAaPQBOOK996465719103316Algebraic Methodology and Software Technology774301UNISA