ISBN: 9783540685951
This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Methodology and Software Technology, AMAST '96, held in Munich, Germany, in July 1996. The … Mehr…
Springer.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
ISBN: 9783540685951
Computer Science; Theory of Computation; Software Engineering/Programming and Operating Systems; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Software Enginee… Mehr…
Springer.com Versandkosten: EUR 0.00 Details... |
ISBN: 9783540685951
Computer Science; Theory of Computation; Software Engineering/Programming and Operating Systems; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Software Enginee… Mehr…
Springer.com Versandkosten:zzgl. Versandkosten. Details... |
ISBN: 9783540685951
Computer Science; Theory of Computation; Software Engineering/Programming and Operating Systems; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Software Enginee… Mehr…
Springer.com Versandkosten:zzgl. Versandkosten. Details... |
ISBN: 9783540685951
This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Methodology and Software Technology, AMAST '96, held in Munich, Germany, in July 1996. The … Mehr…
ISBN: 9783540685951
Computer Science; Theory of Computation; Software Engineering/Programming and Operating Systems; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Software Enginee… Mehr…
ISBN: 9783540685951
Computer Science; Theory of Computation; Software Engineering/Programming and Operating Systems; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Software Enginee… Mehr…
ISBN: 9783540685951
Computer Science; Theory of Computation; Software Engineering/Programming and Operating Systems; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Software Enginee… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Algebraic Methodology and Software Technology
EAN (ISBN-13): 9783540685951
Herausgeber: Springer Science+Business Media
Buch in der Datenbank seit 2017-01-12T15:27:11+01:00 (Vienna)
Detailseite zuletzt geändert am 2021-10-05T15:19:09+02:00 (Vienna)
ISBN/EAN: 9783540685951
ISBN - alternative Schreibweisen:
978-3-540-68595-1
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: martin maurice
Titel des Buches: software, technology technology
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: 2005-11-23
Berlin; Heidelberg; DE
Sprache: Englisch
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.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9781447132271 Algebraic Methodology and Software Technology (AMAST'93) (Maurice Nivat; Charles Rattray; Teodor Rus; Giuseppe Scollo)
- 9781447132271 Algebraic Methodology and Software Technology (AMAST'93) (Maurice Nivat; Charles Rattray; Teodor Rus; Giuseppe Scollo)
- 9780387614632 Algebraic Methodology and Software Technology: 5th International Conference, Amast '96, Munich, Germany, July 1-5, 1996 : Proceedings (Lecture Notes in Computer Science, 1101) (Germany) International Conference on Algebraic Methodology and Software Technology (5th : 1996 : Munich, M. Wirsing, M. Nivat)
- 9783540198529 Algebraic Methodology and Software Technology (AMAST?93) (Maurice Nivat; Charles Rattray; Teodor Rus; Giuseppe Scollo)
- 9783540223818 Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings (Lecture Notes in Computer Science, 3116, Band 3116) (Rattray, Charles, Maharaj, Savitri)
- [(Algebraic Methodology and Software Technology : 5th International Conference, AMAST '96, Munich, Germany, July 1996 - Proceedings)] [Edited by Martin Wirsing ] published on (August, 1996) (Martin Wirsing)
< zum Archiv...