Type(s) de contenu et mode(s) de consultation : Texte noté : électronique

Auteur(s) : Fitzgerald, John  Voir les notices liées en tant qu'auteur

Titre(s) : FM 2005 [Texte électronique] : Formal Methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings / edited by John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki

Titre d'ensemble : Lecture Notes in Computer Science ; 3582

Publication : Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005

Description matérielle : 1 ressource dématérialisée

Collection : Lecture Notes in Computer Science ; 3582
SpringerLink: Springer e-Books

Note(s) : Computer Science (Springer-11645)

Autre(s) auteur(s) : Hayes, Ian J.. Fonction indéterminée  Voir les notices liées en tant qu'auteur
Tarlecki, Andrzej (1956-....). Fonction indéterminée  Voir les notices liées en tant qu'auteur

Sujet(s) : Génie logiciel  Voir les notices liées en tant que sujet
Informatique  Voir les notices liées en tant que sujet
Méthodes formelles (informatique)  Voir les notices liées en tant que sujet
Langages de programmation  Voir les notices liées en tant que sujet
Programmation (informatique)  Voir les notices liées en tant que sujet
Logique mathématique  Voir les notices liées en tant que sujet

Indice(s) Dewey :  005.1 (23e éd.) = Développement de logiciels  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9783540317142

Identifiant de la notice  : ark:/12148/cb44685745t

Notice n° :  FRBNF44685745 (notice reprise d'un réservoir extérieur)

Table des matières : Keynote Talks ; Formal Aids for the Growth of Software Systems ; Formal Methods and Testing: Hypotheses, and Correctness Approximations ; The Natural History of Bugs: Using Formal Methods to Analyse Software Related Failures in Space Missions ; Object Orientation ; Modular Verification of Static Class Invariants ; Decoupling in Object Orientation ; Controlling Object Allocation Using Creation Guards ; Symbolic Animation of JML Specifications ; Resource Analysis and Verification ; Certified Memory Usage Analysis ; Compositional Specification and Analysis of Cost-Based Properties in Probabilistic Programs ; Formally Defining and Verifying Master/Slave Speculative Parallelization ; Timing and Testing ; Systematic Implementation of Real-Time Models ; Timing Tolerances in Safety-Critical Software ; Timed Testing with TorX ; Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems ; CSP, B and Circus ; Adding Conflict and Confu