Wir verwenden Cookies, die für die ordnungsgemäße Bereitstellung unseres Webseitenangebots zwingend erforderlich sind. Mit Klick auf "Einverstanden" setzen wir zusätzlich Cookies und Dienste von Drittanbietern ein, um unser Angebot durch Analyse des Nutzungsverhaltens zu optimieren, um Nutzungsprofile zu erstellen, interessenbezogene Werbung anzuzeigen, sowie die Webseiten-Performance zu verbessern. Ihre Einwilligung können Sie jederzeit durch erneuten Aufruf dieses Cookie-Banners am Ende der Webseite widerrufen. Weitere Informationen und Einzelheiten finden Sie in der Datenschutzerklärung.
Einverstanden
Nur funktionale Cookies
Alle
Direkt bestellen
Merkzettel
Warenkorb

MEGA-SALE: jetzt bis zu 90%² sparen!

FM'99 - Formal Methods

World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings (Sprache: Englisch)
Keine Kommentare vorhanden
Jetzt bewerten

Schreiben Sie den ersten Kommentar zu "FM'99 - Formal Methods".

Kommentar verfassen
 
 
Merken
Teilen
Merken
Teilen
 
 
Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industrial and governmental organisations. A transfer of technology into the mainstream of systems...
Mehr zum Inhalt Video Inhaltsverzeichnis
lieferbar
versandkostenfrei

Bestellnummer: 1663207

Buch 129.99 €
In den Warenkorb
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich
lieferbar
versandkostenfrei

Bestellnummer: 1663207

Buch 129.99 €
In den Warenkorb
Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industrial and governmental organisations. A transfer of technology into the mainstream of systems...
Mehr zum Inhalt Video Inhaltsverzeichnis
Andere Kunden interessierten sich auch für
Lecture Notes in Computer Science: FM'99 - Formal Methods

Lecture Notes in Computer Science: FM'99 - Formal Methods

0 Sterne
eBook

135.23 €

Erschienen am 31.07.2003
Leider schon ausverkauft
FM '99, Formal Methods

FM '99, Formal Methods

0 Sterne
Buch

128.39 €

In den Warenkorb
Erschienen am 13.09.1999
lieferbar
Automata, Languages and Programming

Automata, Languages and Programming

0 Sterne
Buch

139.09 €

In den Warenkorb
Erschienen am 28.06.2000
lieferbar
Open Source Software: New Horizons

Open Source Software: New Horizons

0 Sterne
Buch

112.35 €

In den Warenkorb
Erschienen am 10.05.2010
lieferbar
Open Source Systems: Grounding Research

Open Source Systems: Grounding Research

0 Sterne
Buch

112.35 €

In den Warenkorb
Erschienen am 15.09.2011
lieferbar
S-BPM ONE: Setting the Stage for Subject-Oriented Business Process Management

S-BPM ONE: Setting the Stage for Subject-Oriented Business Process Management

0 Sterne
Buch

79.99 €

In den Warenkorb
Erschienen am 06.10.2010
lieferbar
Multicore Software Engineering, Performance and Tools

Multicore Software Engineering, Performance and Tools

0 Sterne
Buch

53.49 €

In den Warenkorb
lieferbar
Formal Methods for Computational Systems Biology

Formal Methods for Computational Systems Biology

0 Sterne
Buch

84.99 €

In den Warenkorb
Erschienen am 20.05.2008
lieferbar
Trends in Functional Programming

Trends in Functional Programming

0 Sterne
Buch

44.94 €

Vorbestellen
Erschienen am 19.04.2018
Voraussichtlich lieferbar in 3 Tag(en)
Software and Data Technologies

Software and Data Technologies

0 Sterne
Buch

117.69 €

In den Warenkorb
Erschienen am 19.11.2008
lieferbar
Coordination Models and Languages

Coordination Models and Languages

0 Sterne
Buch

62.05 €

In den Warenkorb
Erschienen am 30.05.2018
lieferbar
Software and Data Technologies

Software and Data Technologies

0 Sterne
Buch

69.99 €

In den Warenkorb
lieferbar
Software and Data Technologies

Software and Data Technologies

0 Sterne
Buch

106.99 €

In den Warenkorb
Erschienen am 09.04.2011
lieferbar
Runtime Verification

Runtime Verification

0 Sterne
Buch

74.89 €

In den Warenkorb
Erschienen am 23.09.2009
lieferbar
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science

0 Sterne
Buch

117.69 €

In den Warenkorb
Erschienen am 07.12.2005
lieferbar
Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics

0 Sterne
Buch

74.89 €

In den Warenkorb
Erschienen am 30.07.2008
lieferbar
Concurrency, Compositionality, and Correctness

Concurrency, Compositionality, and Correctness

0 Sterne
Buch

119.99 €

In den Warenkorb
Erschienen am 24.02.2010
lieferbar
Pattern Calculus

Pattern Calculus

Barry Jay

0 Sterne
Buch

139.09 €

In den Warenkorb
Erschienen am 12.08.2009
lieferbar
Vorlesungen über Informatik: Bd.1 Vorlesungen über Informatik

Vorlesungen über Informatik: Bd.1 Vorlesungen über Informatik

Gerhard Goos, Wolf Zimmermann

0 Sterne
Buch

22.99 €

In den Warenkorb
Erschienen am 07.09.2005
lieferbar
Produktdetails
Produktinformationen zu „FM'99 - Formal Methods “
Klappentext zu „FM'99 - Formal Methods “
Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industrial and governmental organisations. A transfer of technology into the mainstream of systems development is slowly, but surely, taking place. FM'99, the First World Congress on Formal Methods in the Development of Computing Systems, is a result, and a measure, of this new-found maturity. It brings an impressive array of industrial and applications-oriented papers that show how formal methods have been used to tackle real problems. These proceedings are a record of the technical symposium ofFM'99:alo- side the papers describingapplicationsofformalmethods,youwill ndtechnical reports,papers,andabstracts detailing new advances in formaltechniques,from mathematical foundations to practical tools. The World Congress is the successor to the four Formal Methods Europe Symposia, which in turn succeeded the four VDM Europe Symposia. This s- cession re?ects an increasing openness within the international community of researchers and practitioners: papers were submitted covering a wide variety of formal methods and application areas. The programmecommittee re?ects the Congress's international nature, with a membership of 84 leading researchersfrom 38 di erent countries.The comm- tee was divided into 19 tracks, each with its own chair to oversee the reviewing process. Our collective task was a di cult one: there were 259 high-quality s- missions from 35 di erent countries.
Inhaltsverzeichnis zu „FM'99 - Formal Methods “
Invited Papers.- Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle.- Scientific Decisions which Characterize VDM.- Mechanized Formal Methods: Where Next?.- Integration, the Price of Success.- The Role of Formalism in Method.- Integration into the Development Process.- Formal Design for Automatic Coding and Testing: The ESSI/SPACES Project.- A Business Process Design Language.- Software Architecture.- Refinement of Pipe-and-Filter Architectures.- A Formalization of Software Architecture.- European Association for Theoretical Computer Science (EATCS).- Component and Interface Refinement in Closed-System Specifications.- Semantics of First Order Parametric Specifications.- Model Checking.- A Perfecto Verification: Combining Model Checking with Deductive Analysis to Verify Real-Life Software.- Error Detection with Directed Symbolic Model Checking.- Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination.- On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems.- On-the-fly Verification of Linear Temporal Logic.- Symbolic Model Checking with Fewer Fixpoint Computations.- Formula Based Abstractions of Transition Systems for Real-Time Model Checking.- If: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems.- Automatic Verification of Pointer Data-Structure Systems for All Numbers of Processes.- The B Method.- The Use of the B Formal Method for the Design and the Validation of the Transaction Mechanism for Smart Card Applications.- Météor: A Successful Application of B in a Large Project.- Formal Development of Databases in ASSO and B.- Interpreting the B-Method in the Refinement Calculus.- Compositional Symmetric Sharing in B.- Structural Embeddings: Mechanization with Method.- The Safe Machine: A New Specification Construct for B.- csp2B: A Practical Approach to Combining CSP and B.- Test Criteria Definition for B Models.- Composition and Synthesis.- Bunches for
... mehr
Object-Oriented, Concurrent, and Real-Time Specification.- Applications of Structural Synthesis of Programs.- Towards a Compositional Approach to the Design and Verification of Distributed Systems.- Telecommunications.- Formal Modeling in a Commercial Setting: A Case Study.- KVEST: Automated Generation of Test Suites from Formal Specifications.- Feature Interaction Detection Using Testing and Model-Checking Experience Report.- Emma: Developing an Industrial Reachability Analyser for SDL.- Correctness Proof of the Standardized Algorithm for ABR Conformance.- Verifying a Distributed Database Lookup Manager Written in Erlang.- Security.- Secure Interoperation of Secure Distributed Databases.- A Formal Security Model for Microprocessor Hardware.- Abstraction and Testing.- Formal Analysis of a Secure Communication Channel: Secure Core-Email Protocol.- Probabilistic Polynomial-Time Equivalence and Security Analysis.- A Uniform Approach for the Definition of Security Properties.- Group Principals and the Formalization of Anonymity.- Object-Orientation.- Developing BON as an Industrial-Strength Formal Method.- On the Expressive Power of OCL.- A Systematic Approach to Transform OMT Diagrams to a B Specification.- Verifying Consistency and Validity of Formal.- Verifying Consistency and Validity of Formal Specifications by Testing.- A GSM-MAP Protocol Experiment Using Passive Testing.
... weniger
Bibliographische Angaben

  • 1999, 1999, XVIII, 937 Seiten, Maße: 15,7 x 23,6 cm, Kartoniert (TB), Englisch
  • Verlag: Springer, Berlin
  • ISBN-10: 3540665870
  • ISBN-13: 9783540665878
  • Erscheinungsdatum: 13.09.1999

Sprache:
Englisch
Kommentar zu "FM'99 - Formal Methods"
Keine Kommentare vorhanden
Jetzt bewerten

Schreiben Sie den ersten Kommentar zu "FM'99 - Formal Methods".

Kommentar verfassen
Andere Kunden kauften auch
FM '99, Formal Methods

FM '99, Formal Methods

0 Sterne
Buch

128.39 €

In den Warenkorb
Erschienen am 13.09.1999
lieferbar
Automata, Languages and Programming

Automata, Languages and Programming

0 Sterne
Buch

139.09 €

In den Warenkorb
Erschienen am 28.06.2000
lieferbar
Open Source Software: New Horizons

Open Source Software: New Horizons

0 Sterne
Buch

112.35 €

In den Warenkorb
Erschienen am 10.05.2010
lieferbar
Open Source Systems: Grounding Research

Open Source Systems: Grounding Research

0 Sterne
Buch

112.35 €

In den Warenkorb
Erschienen am 15.09.2011
lieferbar
S-BPM ONE: Setting the Stage for Subject-Oriented Business Process Management

S-BPM ONE: Setting the Stage for Subject-Oriented Business Process Management

0 Sterne
Buch

79.99 €

In den Warenkorb
Erschienen am 06.10.2010
lieferbar
Multicore Software Engineering, Performance and Tools

Multicore Software Engineering, Performance and Tools

0 Sterne
Buch

53.49 €

In den Warenkorb
lieferbar
Formal Methods for Computational Systems Biology

Formal Methods for Computational Systems Biology

0 Sterne
Buch

84.99 €

In den Warenkorb
Erschienen am 20.05.2008
lieferbar
Trends in Functional Programming

Trends in Functional Programming

0 Sterne
Buch

44.94 €

Vorbestellen
Erschienen am 19.04.2018
Voraussichtlich lieferbar in 3 Tag(en)
Software and Data Technologies

Software and Data Technologies

0 Sterne
Buch

117.69 €

In den Warenkorb
Erschienen am 19.11.2008
lieferbar
Coordination Models and Languages

Coordination Models and Languages

0 Sterne
Buch

62.05 €

In den Warenkorb
Erschienen am 30.05.2018
lieferbar
Software and Data Technologies

Software and Data Technologies

0 Sterne
Buch

69.99 €

In den Warenkorb
lieferbar
Software and Data Technologies

Software and Data Technologies

0 Sterne
Buch

106.99 €

In den Warenkorb
Erschienen am 09.04.2011
lieferbar
Runtime Verification

Runtime Verification

0 Sterne
Buch

74.89 €

In den Warenkorb
Erschienen am 23.09.2009
lieferbar
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science

0 Sterne
Buch

117.69 €

In den Warenkorb
Erschienen am 07.12.2005
lieferbar
Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics

0 Sterne
Buch

74.89 €

In den Warenkorb
Erschienen am 30.07.2008
lieferbar
Concurrency, Compositionality, and Correctness

Concurrency, Compositionality, and Correctness

0 Sterne
Buch

119.99 €

In den Warenkorb
Erschienen am 24.02.2010
lieferbar
Pattern Calculus

Pattern Calculus

Barry Jay

0 Sterne
Buch

139.09 €

In den Warenkorb
Erschienen am 12.08.2009
lieferbar
Vorlesungen über Informatik: Bd.1 Vorlesungen über Informatik

Vorlesungen über Informatik: Bd.1 Vorlesungen über Informatik

Gerhard Goos, Wolf Zimmermann

0 Sterne
Buch

22.99 €

In den Warenkorb
Erschienen am 07.09.2005
lieferbar
Weitere Empfehlungen zu „FM'99 - Formal Methods “
Weitere Artikel zum Thema
0 Gebrauchte Artikel zu „FM'99 - Formal Methods“
Zustand Preis Porto Zahlung Verkäufer Rating
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich