Algebraic Methodology and Software Technology - neues Buch

EAN (ISBN-13): 9783540696612
Herausgeber: Springer Science+Business Media

Buch in der Datenbank seit 2017-01-14T09:01:32+01:00 (Vienna)
Detailseite zuletzt geändert am 2021-01-24T17:28:22+01:00 (Vienna)
ISBN/EAN: 9783540696612

ISBN - alternative Schreibweisen:
978-3-540-69661-2
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: johnson michael
Titel des Buches: software, technology technology

---

Daten vom Verlag:

Autor/in: Michael Johnson
Titel: Lecture Notes in Computer Science; Algebraic Methodology and Software Technology - 6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings
Verlag: Springer; Springer Berlin
602 Seiten
Erscheinungsjahr: 2005-10-05
Berlin; Heidelberg; DE
Sprache: Englisch
96,29 € (DE)
99,00 € (AT)
118,00 CHF (CH)
Available
X, 602 p.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Software Engineering; Verstehen; Attribut; Bisimulation; CAM; Processing; design; formal method; formal verification; modeling; programming; real-time; semantics; simulation; software engineering; validation; verification; C; Software Engineering; Theory of Computation; Computer Science Logic and Foundations of Programming; Special Purpose and Application-Based Systems; Formal Languages and Automata Theory; Computer Science; Theoretische Informatik; Wissensbasierte Systeme, Expertensysteme; BC

Software configuration with information systems.- Head-tactics simplification.- Iteration 2-theories: Extended Abstract.- Model checking and fault tolerance.- Deadlock analysis for a fault-tolerant system.- From sequential to multi-threaded Java: An event-based operational semantics.- Permissive subsorted partial logic in CASL.- Specification of timing constraints within the circal process algebra.- On the specification and verification of performance properties for a timed process algebra.- Abstract interpretation of algebraic polynomial systems (Extended abstract).- Modular refinement and model building.- A linear temporal logic approach to objects with transactions.- Software design, specification, and verification: Lessons learned from the Rether case study.- Refinement rules for real-time multi-tasking programs.- Rigorous object-oriented modeling: Integrating formal and informal notations.- Completeness in abstract interpretation: A domain perspective.- Floating point verification in HOL light: The exponential function.- Verification of distributed real-time and fault-tolerant protocols.- Invariants, bisimulations and the correctness of coalgebraic refinements.- On bisimulation, fault-monotonicity and provable fault-tolerance.- Span(Graph): A categorical algebra of transition systems.- Representing place/transition nets in Span(Graph).- Invariants of parameterized binary tree networks as greatest fixpoints.- Modelling specification construction by successive approximations.- On partial validation of logic programs.- Preservation and reflection in specification.- Case studies in using a meta-method for formal method integration.- The update calculus.- Selective attribute elimination for categorical data specifications.- ATM switch design: Parametric high-level modeling and formal verification.- The hidden function question revisited.- Synchronization of logics with mixed rules: Completeness preservation.- Symbolic bisimulation for Full LOTOS.- Algebraic composition and refinement of proofs.- Ensuring streams flow.- Extending process languages with time.- Parametric analysis of computer systems.- CAMILA: Prototyping and refinement of constructive specifications.- PAMELA+PVS.- The circal system.- A refinement-type checker for standard ML.- Recording HOL proofs in a structured browsable format.- Analysing multi-agent system traces with IDaF.- DOVE: A tool for design oriented verification and evaluation.- The B method and the B toolkit.- An algebraic language processing environment.- The Cogito development system.