Verwandte Artikel zu Formal Methods and Software Engineering: 12th International...
Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, ... 6447 (Programming and Software Engineering) - Softcover
Inhaltsangabe
This book constitutes the refereed proceedings of the 12th InternationalConference on Formal Engineering Methods, ICFEM 2010, held in Shanghai, China,November 2010.
The 42 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 114 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on theorem proving and decision procedures, web services and workflow, verification, applications of formal methods, probability and concurrency, program analysis, model checking, object orientation and model driven engineering, as well as specification and verification.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
This book constitutes the refereed proceedings of the 12th InternationalConference on Formal Engineering Methods, ICFEM 2010, held in Shanghai, China,November 2010.
The 42 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 114 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on theorem proving and decision procedures, web services and workflow, verification, applications of formal methods, probability and concurrency, program analysis, model checking, object orientation and model driven engineering, as well as specification and verification.
Reseña del editor
Formal methods have made signi?cant progress in recent years with succe- ful stories from Microsoft (SLAM project), Intel (i7 processor veri?cation) and NICTA/OK-Lab (formal veri?cation of an OS kernel). The main focus of f- malengineeringmethodsliesinhowformalmethodscanbee?ectivelyintegrated intomainstreamsoftwareengineering.Variousadvancedtheories,techniquesand tools havebeen proposed, developed and applied in the speci?cation, design and veri?cation of software or in the construction of software. The challenge now is how to integrate them into engineering development processes to e?ectively deal with large-scale and complex computer systems for their correct and - ?cient construction and maintenance. This requires us to improve the state of the art by researching e?ective approaches and techniques for integration of f- mal methods into industrial engineering practice, including new and emerging practice. Thisseries,InternationalConferencesonFormalEngineeringMethods,brings together those interested in the application of formal engineering methods to computer systems. This volume contains the papers presented at ICFEM 2010, the 12th International Conference on Formal Engineering Methods, held November 17–19, in Shanghai, China, in conjunction with the Third Inter- tional Symposium on Unifying Theories of Programming (UTP 2010). The Program Committee received 114 submissions from 29 countries and - gions. Each paper was reviewed by at least three program committee members.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. K
- Erscheinungsdatum2010
- ISBN 10 3642169007
- ISBN 13 9783642169007
- EinbandTapa blanda
- SpracheEnglisch
- Anzahl der Seiten712
- HerausgeberDong Jin Song, Zhu Huibiao
- Kontakt zum HerstellerNicht verfügbar
Neu kaufen
Diesen Artikel anzeigen
EUR 118,64
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & Dauer
Suchergebnisse für Formal Methods and Software Engineering: 12th International...
Beispielbild für diese ISBN
Formal Methods and Software Engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 712 | Sprache: Englisch | Produktart: Bücher. Artikel-Nr. 9886056/12
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Methods and Software Engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 712 | Sprache: Englisch | Produktart: Bücher. Artikel-Nr. 9886056/1
Anzahl: 1 verfügbar
Foto des Verkäufers
Formal Methods and Software Engineering
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. This book constitutes the refereed proceedings of the 12th InternationalConference on Formal Engineering Methods, ICFEM 2010, held in Shanghai, China,November 2010.The 42 revised full papers together with. Artikel-Nr. 5051293
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, . / Programming and Software Engineering)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 712 pages. 9.20x6.10x1.10 inches. In Stock. Artikel-Nr. x-3642169007
Anzahl: 2 verfügbar