top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Algebraic Methodology and Software Technology [[electronic resource] ] : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings / / edited by Charles Rattray, Savitri Maharaj
Algebraic Methodology and Software Technology [[electronic resource] ] : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings / / edited by Charles Rattray, Savitri Maharaj
Edizione [1st ed. 2004.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004
Descrizione fisica 1 online resource (XI, 572 p.)
Disciplina 005.1
Collana Lecture Notes in Computer Science
Soggetto topico Software 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
ISBN 3-540-27815-X
3-540-22381-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto 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.
Record Nr. UNISA-996465719103316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Algebraic Methodology and Software Technology : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings / / edited by Charles Rattray, Savitri Maharaj
Algebraic Methodology and Software Technology : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings / / edited by Charles Rattray, Savitri Maharaj
Edizione [1st ed. 2004.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004
Descrizione fisica 1 online resource (XI, 572 p.)
Disciplina 005.1
Collana Lecture Notes in Computer Science
Soggetto topico Software 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
ISBN 3-540-27815-X
3-540-22381-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto 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.
Record Nr. UNINA-9910144184303321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui