FME '97 : :: SCD d'Orléans

FME '97 : industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15 19, 1997 : proceedings

FME '97 : industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15 19, 1997 : proceedings

This book constitutes the refereed proceedings of FME '97, the 4th International Symposium of Formal Methods Europe devoted to Industrial Applications and Strengthened Foundations of Formal Methods , held in Graz, Austria, in September 1997. The 35 revised full papers presented in the volume we...

Kaydedildi:

Detaylı Bibliyografya
Müşterek Yazar:	International Symposium on Formal methods Europe :Graz, Autriche
Diğer Yazarlar:	Fitzgerald, John, 1965- (Yayın yönetmeni), Jones, Cliff B., 1944- (Yayın yönetmeni), Lucas, Peter, 1955- (Yayın yönetmeni)
Materyal Türü:	Livre numérique
Dil:	Anglais
Baskı/Yayın Bilgisi:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Seri Bilgileri:	Lecture notes in computer science 1313
Konular:	Génie logiciel Informatique Langages de programmation Ordinateurs Systèmes, Conception de Méthodologie Logiciels > Développement Actes de congrès
Online Erişim:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Not:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• FME '97, industrial applications and strengthened foundations of formal methods, 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997, proceedings, John Fitzgerald, Cliff B. Jones, Peter Lucas, eds, 1997, Berlin, Springer, 1 vol. (XIII-684 p.), Lecture notes in computer science, 3-540-63533-5 • FME '97 Industrial Applications and Strengthened Foundations of Formal Methods, Texte imprimé, 9783662183335

Benzer Materyaller

FME '94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 28, 1994 : proceedings

FME 2002 : formal methods : getting IT right : [11th] International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22 24, 2002 : proceedings

FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings

FME '96 : industrial benefit and advances in formal methods : Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18 22, 1996 : proceedings

FME '93 : industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19 23, 1993 : proceedings

FME 2001 : formal methods for increasing software productivity : [10th] International Symposium of Formal Methods Europe, Berlin, Germany, March 12 16, 2001 : proceedings

Software engineering - ESEC/FSE '97 : 6th European Software Engineering Conference held jointly with the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Zurich, Switzerland, September 22 25, 1997 : proceedings

Reliable software technologies - Ada-Europe '97 : 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2 6, 1997 : proceedings

FM 99 - formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20 24, 1999 : proceedings

FM 99 - formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20 24, 1999 : proceedings

Software development environments and CASE technology : European symposium, Königswinter, June 17-19, 1991 : proceedings

Integrated formal methods : 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004 : proceedings
Yazar:: Boiten, Eerke, 1966-

TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings

ECOOP' 97 - object-oriented programming : 11th European Conference Jyväskylä, Finland, June 9 13, 1997 : proceedings

Integrated formal methods : second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings

Design and implementation of symbolic computation systems : International Symposium, DISCO '93, Gmunden, Austria, September 15 17, 1993 : proceedings

SOFSEM'97 : theory and practice of informatics : 24th Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22 29, 1997 : proceedings

Formal development of reactive systems : case study production cell
Yazar:: Lewerentz, Claus, 19..-

Integrated formal methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings

Formal methods for software architectures : Third International School on Formal Methods for the Design of Computer, Communication and Software Systems : Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003 : advanced lectures

Formal methods for industrial applications : specifying and programming the steam boiler control
Yazar:: Abrial, Jean-Raymond, 1938-2025, informaticien

Formal methods for components and objects : second international symposium, FMCO 2003, Leiden, The Netherlands, november 4-7, 2003 : revised lectures

Modular programming languages : Joint Modular Languages Conference, JMLC '97, Linz, Austria, March 19 21, 1997 : proceedings

ZUM '97 : the Z formal specification notation : 10th International Conference of Z Users Reading, UK, April 3 4, 1997 : proceedings

Advanced information systems engineering : 4th International Conference CAiSE '92, Manchester, UK, May 12 15, 1992 : proceedings

Theoretical aspects of computer software : [second] international symposium TACS '94, Sendai, Japan, April 19-22, 1994 : proceedings

Static analysis : 4th international symposium, SAS '97, Paris, France, September 8-10, 1997 : proceedings

Mathematical foundations of computer science 1997 : 22nd International Symposium, MFCS '97 Bratislava, Slovakia, August 25 29, 1997 : proceedings

Advanced information systems engineering : 5th International Conference, CAiSE '93, Paris, France, June 8 11, 1993 : proceedings

Advanced information systems engineering : 7th International Conference, CAiSE '95, Jyväskylä, Finland, June 12 16, 1995 : proceedings

Applied formal methods - FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7 9, 1998 : proceedings

Formal methods in computer-aided design : 4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 : proceedings

Extreme Programming and Agile Methods : XP/Agile Universe 2004 : 4th Conference on Extreme Programming and Agile Methods, Calgary, Canada, August 15-18, 2004 : proceedings
Yazar:: Zannier, Carmen

Foundations of software technology and theoretical computer science : 18th conference, Chennai, India, December 17-19, 1998 : proceedings : FST and TCS 18

Component-based software engineering : 7th international symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004 : proceedings

Teaching formal methods : CoLogNET/FME symposium, TFM 2004, Ghent, Belgium, november 18-19, 2004 : proceedings
Yazar:: Dean, Neville, 19..-

Theoretical aspects of computer software : [first] International Conference, TACS'91, Sendai, Japan, September 24-27, 1991 : proceedings

Advanced information systems engineering : 13th international conference, CAiSE 2001, Interlaken, Switzerland, June 4-8, 2001 : proceedings

Software engineering - ESEC/FSE 99 : 7th European Software Engineering Conference held jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 6 10, 1999 : proceedings

Applications objet
Yazar:: Harmon, Paul, 19..-, ve diğerleri
Baskı/Yayın Bilgisi: (1994)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales