Software Engineering and Formal Methods : :: SCD d'Orléans

Software Engineering and Formal Methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings

Software Engineering and Formal Methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings

This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. The 21 full papers included in this volume were carefully reviewed and selected from 58 submissions. They are organized...

Mô tả đầy đủ

Đã lưu trong:

Chi tiết về thư mục
Tác giả khác:	Hierons, Robert M. (Giám đốc xuất bản), Merayo, Mercedes G. (Giám đốc xuất bản), Bravetti, Mario (Giám đốc xuất bản)
Định dạng:	Livre numérique
Ngôn ngữ:	Anglais
Được phát hành:	Berlin, Heidelberg : Springer Berlin Heidelberg [20..]. Cham : Springer Nature
Phiên bản:	1st ed. 2013.
Loạt:	Programming and Software Engineering 8137
Những chủ đề:	Actes de congrès
Truy cập trực tuyến:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Chú thích:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Software Engineering and Formal Methods, 9783642405600 • Software Engineering and Formal Methods, 9783642405624

Những quyển sách tương tự

Formal methods and software engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21 25, 2002 : proceedings

Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings

Formal methods and software engineering : 6th international conference on formal engineering methods, ICFEM 2004, Seattle, WA, USA, november 8-12, 2004 : proceedings

Formal methods and software development : Proceedings of the [first] International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25 29, 1985 Colloquium on software engineering (CSE)

Formal methods and software engineering : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 November 1, 2013, proceedings

Software engineering - ESEC '95 : 5th European Software Engineering Conference, Sitges, Spain, September 25 28, 1995 : proceedings

Software Language Engineering : 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. 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: Foundations and Applications : 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings
Được phát hành: (2013)

Search Based Software Engineering : 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings

Multicore Software Engineering, Performance, and Tools : International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings
Được phát hành: (2013)

Formal foundations for software engineering methods
Bằng: Hussmann, Heinrich, 1959-

Formal concept analysis : 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. : proceedings
Bằng: Cellier, Peggy, 1981-...., chercheuse en informatique

Software engineering - ESEC '93 : 4th European Software Engineering Conference, Garmisch-Partenkirchen, Germany, September 13-17, 1993 : proceedings

Cooperative Design, Visualization, and Engineering : 10th International Conference, CDVE 2013, Alcudia, Mallorca, Spain, September 22-25, 2013. Proceedings
Bằng: Luo, Yuhua
Được phát hành: (2013)

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

Software engineering environments : International Workshop on Environments, Chinon, France, September 18 20, 1989 : proceedings

Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 : revised Papers
Bằng: Petrenko, Alexandre

Proceedings of the 2012 International Conference on Information Technology and Software Engineering : Software Engineering & Digital Media Technology

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

Generative and component-based software engineering : third international conference, GCSE 2001, Erfurt, Germany, September 2001 : proceedings

Software engineering : proceedings of a symposium held at the Queen's University of Belfast, 1976
Được phát hành: (1977)

Fundamental approaches to software engineering : 7th international conference, FASE 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings
Bằng: Wermelinger, Michel, 1966-

Formal Modeling and Analysis of Timed Systems : 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings
Bằng: Braberman, Víctor
Được phát hành: (2013)

Software engineering education : [5th] SEI Conference 1991, Pittsburgh, Pennsylvania, USA, October 7-8, 1991 : proceedings

Software engineering education : [4th] SEI conference 1990, Pittsburgh, Pennsylvania, USA, April 2-3, 1990 : proceedings

Fundamental approaches to software engineering : 6th international conference, FASE 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings

Proceedings of the 2012 International Conference on Information Technology and Software Engineering : Information Technology
Được phát hành: (2013)

Software engineering education : [6th] SEI Conference 1992, San Diego, California, USA, October 5-7, 1992 : proceedings

VDM '90 VDM and Z - formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 : proceedings

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

Software engineering education : 7th SEI CSEE Conference, San Antonio, Texas, USA, January 5 7, 1994 : proceedings

Software engineering education : 8th SEI CSEE Conference, New Orleans, LA, USA, March 29-April 1, 1995 : proceedings

Proceedings of the 2012 International Conference on Information Technology and Software Engineering : Information Technology & Computing Intelligence

Software reuse : ; proceedings methods, techniques, and tools : 8th international conference, ICSR 2004, Madrid, Spain, July 5-9, 2004

Experimental software engineering issues : critical assessment and future directions : international workshop, Dagstuhl Castle, Germany, September 14-18, 1992 : proceedings

Fundamental approaches to software engineering : 5th international conference, FASE 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings

Fundamental Approaches to Software Engineering : 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2 6, 2001 Proceedings

Fundamental approaches to software engineering : third international conference, FASE 2000 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings

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

© 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