Geschäftskunden Kundenprogramme
Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

*Gültig bis 20.07.2026 auf alle Bücher. Ausgeschlossen sind Zeitschriften, Prozentbücher und Abos | Einlösbar in allen Buchhandlungen von Orell Füssli, Barth Bücher, Buchladen Rapunzel, Papeterie Köhler, Schuler Orell Füssli, Stauffacher und ZAP unter Vorweisung des Gutscheins, auf www.orellfüssli.ch durch Eingabe des Gutscheincodes. Beim Service „eBooks verschenken“ und bei eBook-Käufen via eReader nicht einlösbar | Mindesteinkaufswert: Fr. 30.- | Nicht mit anderen Rabatten kumulierbar.
Produktbild: Formal Methods and Software Engineering
Band 3308

Formal Methods and Software Engineering 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings

Aus der Reihe Lecture Notes in Computer Science

Fr. 138.00

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.10.2004

Herausgeber

Jim Davies + weitere

Verlag

Springer Berlin

Seitenzahl

500

Maße (L/B/H)

23.5/15.5/2.8 cm

Gewicht

756 g

Auflage

2004

Sprache

Englisch

ISBN

978-3-540-23841-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.10.2004

Herausgeber

Verlag

Springer Berlin

Seitenzahl

500

Maße (L/B/H)

23.5/15.5/2.8 cm

Gewicht

756 g

Auflage

2004

Sprache

Englisch

ISBN

978-3-540-23841-6

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Formal Methods and Software Engineering
  • Tutorials.- Model-Based Development: Combining Engineering Approaches and Formal Techniques.- Tutorial on the RAISE Language, Method and Tools.- Model-Based Testing with Spec#.- Formal Engineering for Industrial Software Development – An Introduction to the SOFL Specification Language and Method.- Tutorial: Software Model Checking.- Invited Talks.- Engineering Quality Software.- When Can Formal Methods Make a Real Difference?.- On the Adoption of Formal Methods by Industry: The ACL2 Experience.- A CLP Approach to Modelling Systems.- Full Papers.- Multi-prover Verification of C Programs.- Memory-Model-Sensitive Data Race Analysis.- Formal Models for Web Navigations with Session Control and Browser Cache.- Managing Verification Activities Using SVM.- A General Model for Reachability Testing of Concurrent Programs.- A Knowledge Based Analysis of Cache Coherence.- A Propositional Logic-Based Method for Verification of Feature Models.- Deriving Probabilistic Semantics Via the ‘Weakest Completion’.- CSP Representation of Game Semantics for Second-Order Idealized Algol.- An Equational Calculus for Alloy.- Guiding Spin Simulation.- Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains.- Software Model Checking Using Linear Constraints.- Counterexample Guided Abstraction Refinement Via Program Execution.- Faster Analysis of Formal Specifications.- Bridging Refinement of Interface Automata to Forward Simulation of I/O Automata.- Learning to Verify Safety Properties.- Automatic Extraction of Object-Oriented Observer Abstractions from Unit-Test Executions.- A Specification-Based Approach to Testing Polymorphic Attributes.- From Circus to JCSP.- An Approach to Preserve Protocol Consistency and Executability Across Updates.- A Formal Monitoring-Based Framework for Software Development and Analysis.- Verifying a File System Implementation.- Verifying the On-line Help System of SIEMENS Magnetic Resonance Tomographs.- Implementing Dynamic Aggregations of Abstract Machines in the B Method.- Formal Proof from UML Models.- Interactive Verification of UML State Machines.- Refinement of Actions for Real-Time Concurrent Systems with Causal Ambiguity.- From Durational Specifications to TLA Designs of Timed Automata.- Timed Patterns: TCOZ to Timed Automata.