Algebraic Methodology and Software Technology - nouveau livre

EAN (ISBN-13): 9783540685951
Editeur: Springer Science+Business Media

Livre dans la base de données depuis 2017-01-12T15:27:11+01:00 (Paris)
Page de détail modifiée en dernier sur 2021-10-05T15:19:09+02:00 (Paris)
ISBN/EAN: 9783540685951

ISBN - Autres types d'écriture:
978-3-540-68595-1
Autres types d'écriture et termes associés:
Auteur du livre: martin maurice
Titre du livre: software, technology technology

---

Données de l'éditeur

Auteur: Martin Wirsing; Maurice Nivat
Titre: Lecture Notes in Computer Science; Algebraic Methodology and Software Technology - 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings
Editeur: Springer; Springer Berlin
647 Pages
Date de parution: 2005-11-23
Berlin; Heidelberg; DE
Langue: Anglais
96,29 € (DE)
99,00 € (AT)
118,00 CHF (CH)
Available
XIII, 647 p.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Algebraische Spezifikation; Formale Methoden; Formale Verifikation; Reaktive Systeme; algebraic specification; formal method; formal methods; formal verification; logic; programming; proving; reactive systems; theorem proving; verification; C; Theory of Computation; Software Engineering; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Special Purpose and Application-Based Systems; Computer Science; Software Engineering; Wissensbasierte Systeme, Expertensysteme; BC

Two industrial trials of formal specification.- Industrial applications of ASF+SDF.- The embedded software of an electricity meter: An experience in using formal methods in an industrial project.- Applying research results in the industrial environment: The case of the TRIO specification language.- Using heterogeneous formal methods in distributed software engineering education.- Introducing formal methods to software engineers through OMG's CORBA environment and interface definition language.- Toward a classification approach to design.- Semantic foundations for embedding HOL in Nuprl.- Free variable tableaux for a many sorted logic with preorders.- Automating induction over mutually recursive functions.- Pushouts of order-sorted algebraic specifications.- A formal framework for modules with state.- Object-oriented implementation of abstract data type specifications.- On the completeness of the equations for the Kleene star in bisimulation.- An equational axiomatization of observation congruence for prefix iteration.- Finite axiom systems for testing preorder and De Simone process languages.- Constructive semantics of Esterel: From theory to practice (abstract).- Using ghost variables to prove refinement.- Tracing the origins of verification conditions.- Preprocessing for invariant validation.- Formal verification of Signal programs: Application to a power transformer station controller.- The discrete time toolbus.- A study on the specification and verification of performance properties.- Symbolic bisimulation for timed processes.- Approximative analysis by process algebra with graded spatial actions.- Boolean formalism and explanations.- Proving existential termination of normal logic programs.- Programming in Lygon: An overview.- Some characteristics of strong innermost normalization.- On the emergence of properties in component-based systems.- Algebraic view specification.- Towards heterogeneous formal specifications.- A categorical characterization of consistency results.- Algebraic specification of reactive systems.- A model for mobile point-to-point data-flow networks without channel sharing.- Coalgebraic specifications and models of deterministic hybrid systems.- A bounded retransmission protocol for large data packets.- SPECWARE: An advanced environment for the formal development of complex software systems.- Asspegique+ an integrated specification environment providing inter-operability of tools.- Towards integrating algebraic specification and functional programming: the Opal system.- InterACT: An interactive theorem prover for algebraic specifications.- A new proof-manager and graphic interface for the Larch Prover.- TERSE: A visual environment for supporting analysis, verification and transformation of term rewriting systems.- The ToolBus coordination architecture.- ASD: The action semantic description tools.- Using occurrrence and evolving algebras for the specification of language-based programming tools.- ECHIDNA: A system for manipulating explicit choice higher dimensional automata.- Verification using PEP.- The Fc2tools set.- Programming in Lygon: A system demonstration.- CtCoq: A system presentation.- The Typelab specification and verification environment.- Incremental formalization.- Proplane: A specification development environment.- A logic-based technology to mechanize software components reuse.- TkGofer: A functional GUI library.- ALPHA — A class library for a metamodel based on algebraic graph theory.- Resolution of goals with the functional and logic programming language LPG: Impact of abstractinterpretation.- Combining reductions and computations in ReDuX.- Conditional directed narrowing.