Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings Martin Wirsing Editor - neues Buch

EAN (ISBN-13): 9783540614630
ISBN (ISBN-10): 354061463X
Taschenbuch
Erscheinungsjahr: 1996
Herausgeber: Springer Berlin Heidelberg Core >1 >T
660 Seiten
Gewicht: 0,982 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-05-10T13:52:52+02:00 (Berlin)
Buch zuletzt gefunden am 2024-08-10T14:00:41+02:00 (Berlin)
ISBN/EAN: 354061463X

ISBN - alternative Schreibweisen:
3-540-61463-X, 978-3-540-61463-0
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: wirsing, maurice martin, held, mauri martin
Titel des Buches: methodology and science, algebraic methodology software technology, munich, proceedings the international conference methodologies, proceedings from 5th, algebra, july, lecture notes computer science

---

Daten vom Verlag:

Autor/in: Martin Wirsing; Maurice Nivat
Titel: Lecture Notes in Computer Science; Algebraic Methodology and Software Technology - 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings
Verlag: Springer; Springer Berlin
647 Seiten
Erscheinungsjahr: 1996-06-19
Berlin; Heidelberg; DE
Sprache: Englisch
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
Available
XIII, 647 p.

BC; Hardcover, Softcover / 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; Theory of Computation; Software Engineering; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Special Purpose and Application-Based Systems; Software Engineering; Wissensbasierte Systeme, Expertensysteme; EA

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.