-
Formal methods and software engineering [Elektronski vir] : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010 : proceedingsInternational Conference on Formal Engineering Methods (12th ; 2010 ; Shanghai, China)Annotation. 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.Type of material - e-bookPublication and manufacture - Berlin : Springer, 2010Language - englishISBN - 978-3-642-16901-4; 3-642-16901-5COBISS.SI-ID - 1543069663
Link(s):
SpringerLink e-books 2008-2012Celotno besedilo dostopno za uporabnike SpringerLink slovenskega konzorcija neprofitnih institucij
Full text accessible to the users of SpringerLink Slovenian Consortium of Non-Profit Institutions
DOI
Author
International Conference on Formal Engineering Methods
Other authors
Dong, Jin Song, 1967- |
Zhu, Huibiao
Collection
Lecture notes in computer science
Topics
Formal methods (Computer science) |
Congresses |
Software engineering |
Congresses |
Formal methods (Computer science) |
Software engineering |
Informatique |
Softwareentwicklung |
Formale Methode |
Entscheidungsverfahren |
Programmverifikation |
Programmanalyse |
Programmtest |
Model Checking |
Serviceorientierte Architektur |
Web Services |
Leistungsbewertung |
Schanghai <2010> |
Electronic books |
Conference proceedings
Shelf entry
Permalink
- URL:
Impact factor
Access to the JCR database is permitted only to users from Slovenia. Your current IP address is not on the list of IP addresses with access permission, and authentication with the relevant AAI accout is required.
Year | Impact factor | Edition | Category | Classification | ||||
---|---|---|---|---|---|---|---|---|
JCR | SNIP | JCR | SNIP | JCR | SNIP | JCR | SNIP |
Select the library membership card:
DRS, in which the journal is indexed
Database name | Field | Year |
---|
Links to authors' personal bibliographies | Links to information on researchers in the SICRIS system |
---|
Select pickup location:
Material pickup by post
Notification
Subject headings in COBISS General List of Subject Headings
Select pickup location
Pickup location | Material status | Reservation |
---|
Please wait a moment.