|
|
|
|
| LEADER |
10258cam a22015012 4500 |
| 001 |
0-165059724X |
| 003 |
DE-627 |
| 005 |
20240122105238.0 |
| 007 |
cr uuu---uuuuu |
| 008 |
101203s2010 gw |||||o 00| ||eng c |
| 020 |
|
|
|a 9783642169014
|9 978-3-642-16901-4
|
| 024 |
7 |
|
|a 10.1007/978-3-642-16901-4
|2 doi
|
| 035 |
|
|
|a (DE-627)165059724X
|
| 035 |
|
|
|a (DE-576)334439019
|
| 035 |
|
|
|a (DE-599)BSZ334439019
|
| 035 |
|
|
|a (OCoLC)698517567
|
| 035 |
|
|
|a (OCoLC)846204621
|
| 035 |
|
|
|a (OCoLC)700527410
|
| 035 |
|
|
|a (DE-He213)978-3-642-16901-4
|
| 035 |
|
|
|a (EBP)040531066
|
| 040 |
|
|
|a DE-627
|b ger
|c DE-627
|e rakwb
|
| 041 |
|
|
|a eng
|
| 044 |
|
|
|c XA-DE
|
| 050 |
|
0 |
|a QA76.758
|
| 072 |
|
7 |
|a UMZ
|2 bicssc
|
| 072 |
|
7 |
|a COM051230
|2 bisacsh
|
| 084 |
|
|
|a SS 4800
|2 rvk
|0 (DE-625)rvk/143528:
|
| 084 |
|
|
|a 54.52
|2 bkl
|
| 084 |
|
|
|a 54.51
|2 bkl
|
| 100 |
1 |
|
|a Dong, Jin Song
|0 (DE-627)1257105531
|0 (DE-576)187105537
|4 aut
|
| 245 |
1 |
0 |
|a Formal Methods and Software Engineering
|b 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings
|c edited by Jin Song Dong, Huibiao Zhu
|
| 264 |
|
1 |
|a Berlin, Heidelberg
|b Springer Berlin Heidelberg
|c 2010
|
| 300 |
|
|
|a Online-Ressource (XIV, 712p. 202 illus, digital)
|
| 336 |
|
|
|a Text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a Computermedien
|b c
|2 rdamedia
|
| 338 |
|
|
|a Online-Ressource
|b cr
|2 rdacarrier
|
| 490 |
1 |
|
|a Lecture Notes in Computer Science
|v 6447
|
| 490 |
0 |
|
|a SpringerLink
|a Bücher
|
| 520 |
|
|
|a Invited Talks -- Fostering Proof Scores in CafeOBJ -- Exploiting Partial Success in Applying Automated Formal Methods -- Multicore Embedded Systems: The Timing Problem and Possible Solutions -- Theorem Proving and Decision Procedures -- Applying PVS Background Theories and Proof Strategies in Invariant Based Programming -- Proof Obligation Generation and Discharging for Recursive Definitions in VDM -- Correct-by-Construction Model Transformations from Partially Ordered Specifications in Coq -- Decision Procedures for the Temporal Verification of Concurrent Lists -- An Improved Decision Procedure for Propositional Projection Temporal Logic -- Web Services and Workflow -- A Semantic Model for Service Composition with Coordination Time Delays -- Compensable WorkFlow Nets -- Automatically Testing Web Services Choreography with Assertions -- Applying Ordinary Differential Equations to the Performance Analysis of Service Composition -- Verification I -- Verifying Heap-Manipulating Programs with Unknown Procedure Calls -- API Conformance Verification for Java Programs -- Assume-Guarantee Reasoning with Local Specifications -- Automating Coinduction with Case Analysis -- Applications of Formal Methods -- Enhanced Semantic Access to Formal Software Models -- Making Pattern- and Model-Based Software Development More Rigorous -- Practical Parameterised Session Types -- A Formal Verification Study on the Rotterdam Storm Surge Barrier -- Verification II -- Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems -- Automated Multiparameterised Verification by Cut-Offs -- Automating Cut-off for Multi-parameterized Systems -- Method for Formal Verification of Soft-Error Tolerance Mechanisms in Pipelined Microprocessors -- Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP -- Probability and Concurrency -- Model Checking Hierarchical Probabilistic Systems -- Trace-Driven Verification of Multithreaded Programs -- Closed Form Approximations for Steady State Probabilities of a Controlled Fork-Join Network -- Reasoning about Safety and Progress Using Contracts -- Program Analysis -- Abstract Program Slicing: From Theory towards an Implementation -- Loop Invariant Synthesis in a Combined Domain -- Software Metrics in Static Program Analysis -- A Combination of Forward and Backward Reachability Analysis Methods -- Model Checking -- Model Checking a Model Checker: A Code Contract Combined Approach -- On Symmetries and Spotlights – Verifying Parameterised Systems -- A Methodology for Automatic Diagnosability Analysis -- Making the Right Cut in Model Checking Data-Intensive Timed Systems -- Comparison of Model Checking Tools for Information Systems -- Object Orientation and Model Driven Engineering -- A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model -- Model-Driven Protocol Design Based on Component Oriented Modeling -- Laws of Pattern Composition -- Dynamic Resource Reallocation between Deployment Components -- Specification and Verification -- A Pattern System to Support Refining Informal Ideas into Formal Expressions -- Specification Translation of State Machines from Equational Theories into Rewrite Theories -- Alternating Interval Based Temporal Logics.
|
| 520 |
|
|
|a This book constitutes the refereed proceedings of the 12th International Conference 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 mod el driven engineering, as well as specification and verification.
|
| 650 |
|
0 |
|a Computer science
|
| 650 |
|
0 |
|a Computer Communication Networks
|
| 650 |
|
0 |
|a Computer software
|
| 650 |
|
0 |
|a Computer Science
|
| 650 |
|
0 |
|a Software engineering
|
| 650 |
|
0 |
|a Computer networks .
|
| 650 |
|
0 |
|a Compilers (Computer programs).
|
| 650 |
|
0 |
|a Computer programming.
|
| 650 |
|
0 |
|a Algorithms.
|
| 655 |
|
7 |
|a Konferenzschrift
|y 2010
|z Schanghai
|0 (DE-588)1071861417
|0 (DE-627)826484824
|0 (DE-576)433375485
|2 gnd-content
|
| 689 |
0 |
0 |
|D s
|0 (DE-588)4116522-6
|0 (DE-627)104616369
|0 (DE-576)209502258
|a Softwareentwicklung
|2 gnd
|
| 689 |
0 |
1 |
|D s
|0 (DE-588)4333722-3
|0 (DE-627)148061516
|0 (DE-576)21134253X
|a Formale Methode
|2 gnd
|
| 689 |
0 |
2 |
|D s
|0 (DE-588)4637781-5
|0 (DE-627)32960015X
|0 (DE-576)214522164
|a Entscheidungsverfahren
|2 gnd
|
| 689 |
0 |
|
|5 DE-101
|
| 689 |
1 |
0 |
|D s
|0 (DE-588)4135576-3
|0 (DE-627)10566409X
|0 (DE-576)209661925
|a Programmverifikation
|2 gnd
|
| 689 |
1 |
1 |
|D s
|0 (DE-588)4175841-9
|0 (DE-627)105361038
|0 (DE-576)209966513
|a Programmanalyse
|2 gnd
|
| 689 |
1 |
2 |
|D s
|0 (DE-588)4132652-0
|0 (DE-627)105686085
|0 (DE-576)209637390
|a Softwaretest
|2 gnd
|
| 689 |
1 |
3 |
|D s
|0 (DE-588)4434799-6
|0 (DE-627)222527455
|0 (DE-576)212412167
|a Model Checking
|2 gnd
|
| 689 |
1 |
|
|5 DE-101
|
| 689 |
2 |
0 |
|D s
|0 (DE-588)4841015-9
|0 (DE-627)497936860
|0 (DE-576)217093450
|a Serviceorientierte Architektur
|2 gnd
|
| 689 |
2 |
1 |
|D s
|0 (DE-588)4691234-4
|0 (DE-627)35055126X
|0 (DE-576)215074130
|a Web Services
|2 gnd
|
| 689 |
2 |
2 |
|D s
|0 (DE-588)4167271-9
|0 (DE-627)104122404
|0 (DE-576)209907495
|a Leistungsbewertung
|2 gnd
|
| 689 |
2 |
|
|5 DE-101
|
| 700 |
1 |
|
|a Zhu, Huibiao
|4 oth
|
| 776 |
1 |
|
|z 9783642169007
|
| 776 |
0 |
8 |
|i Buchausg. u.d.T.
|t Formal methods and software engineering
|d Berlin : Springer, 2010
|h XIV, 712 S.
|w (DE-627)636696154
|w (DE-576)333576934
|z 3642169007
|z 9783642169007
|
| 830 |
|
0 |
|a Lecture notes in computer science
|v 6447
|9 6447
|w (DE-627)316228877
|w (DE-576)093890923
|w (DE-600)2018930-8
|x 1611-3349
|7 ns
|
| 856 |
4 |
0 |
|u https://doi.org/10.1007/978-3-642-16901-4
|m X:SPRINGER
|x Verlag
|z lizenzpflichtig
|3 Volltext
|
| 856 |
4 |
2 |
|u https://swbplus.bsz-bw.de/bsz334439019cov.jpg
|m V:DE-576
|m X:springer
|q image/jpeg
|v 20150929173909
|3 Cover
|
| 912 |
|
|
|a ZDB-2-SCS
|
| 912 |
|
|
|a ZDB-2-LNC
|b 2010
|
| 912 |
|
|
|a ZDB-2-SEB
|
| 912 |
|
|
|a ZDB-2-SCS
|b 2010
|
| 912 |
|
|
|a ZDB-2-SXCS
|b 2010
|
| 912 |
|
|
|a ZDB-2-SEB
|b 2010
|
| 936 |
r |
v |
|a SS 4800
|b Lecture notes in computer science
|k Informatik
|k Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen
|k Schriftenreihen (indiv. Sign.)
|k Lecture notes in computer science
|0 (DE-627)1271461242
|0 (DE-625)rvk/143528:
|0 (DE-576)201461242
|
| 936 |
b |
k |
|a 54.52
|j Software engineering
|q SEPA
|0 (DE-627)106418882
|
| 936 |
b |
k |
|a 54.51
|j Programmiermethodik
|q SEPA
|0 (DE-627)106418122
|
| 951 |
|
|
|a BO
|
| 900 |
|
|
|a Dong, J. S.
|
| 950 |
|
|
|a Performancebewertung
|
| 950 |
|
|
|a Performance-Bewertung
|
| 950 |
|
|
|a Performance evaluation
|
| 950 |
|
|
|a Leistungsanalyse
|
| 950 |
|
|
|a Performance analysis
|
| 950 |
|
|
|a Bewertung
|
| 950 |
|
|
|a Leistungsmessung
|
| 950 |
|
|
|a Arbeitsbewertung
|
| 950 |
|
|
|a Оценивание производительности
|
| 950 |
|
|
|a Software
|
| 950 |
|
|
|a Entwicklung
|
| 950 |
|
|
|a Softwareentwurf
|
| 950 |
|
|
|a Programmentwicklung
|
| 950 |
|
|
|a Programmentwurf
|
| 950 |
|
|
|a Software Engineering
|
| 950 |
|
|
|a Programmierung
|
| 950 |
|
|
|a Softwareentwickler
|
| 950 |
|
|
|a Webentwicklung
|
| 950 |
|
|
|a Разработка программного обеспечения
|
| 950 |
|
|
|a Algorithmenanalyse
|
| 950 |
|
|
|a Programmverstehen
|
| 950 |
|
|
|a Verifikation
|
| 950 |
|
|
|a Hoare-Logik
|
| 950 |
|
|
|a Programmtest
|
| 950 |
|
|
|a Testen
|
| 950 |
|
|
|a Programm
|
| 950 |
|
|
|a Formales Verfahren
|
| 950 |
|
|
|a Methode
|
| 950 |
|
|
|a Modellprüfung
|
| 950 |
|
|
|a Entscheidungsprozedur
|
| 950 |
|
|
|a Decision procedure
|
| 950 |
|
|
|a Application Services
|
| 950 |
|
|
|a Web-Service
|
| 950 |
|
|
|a Dienstekomposition
|
| 950 |
|
|
|a Dienstorientierte Architektur
|
| 950 |
|
|
|a Service oriented architecture
|
| 950 |
|
|
|a SOA
|
| 950 |
|
|
|a Architektur
|
| 856 |
4 |
0 |
|u http://dx.doi.org/10.1007/978-3-642-16901-4
|9 DE-14
|
| 852 |
|
|
|a DE-14
|z 2011-07-20T14:58:17Z
|x epn:3337513727
|
| 856 |
4 |
0 |
|u http://dx.doi.org/10.1007/978-3-642-16901-4
|9 DE-15
|
| 852 |
|
|
|a DE-15
|z 2011-05-16T16:34:05Z
|x epn:3337513794
|
| 976 |
|
|
|h Elektronischer Volltext - Campuslizenz
|
| 856 |
4 |
0 |
|u http://dx.doi.org/10.1007/978-3-642-16901-4
|z Zum Online-Dokument
|9 DE-Zi4
|
| 852 |
|
|
|a DE-Zi4
|z 2011-01-26T14:26:59Z
|x epn:3337513875
|
| 856 |
4 |
0 |
|u http://dx.doi.org/10.1007/978-3-642-16901-4
|9 DE-520
|
| 852 |
|
|
|a DE-520
|z 2010-12-03T09:53:13Z
|x epn:3337513921
|
| 980 |
|
|
|a 165059724X
|b 0
|k 165059724X
|o 334439019
|
SOLR
| _version_ |
1789361329884102656 |
| access_facet |
Electronic Resources |
| author |
Dong, Jin Song |
| author2 |
Zhu, Huibiao |
| author2_role |
oth |
| author2_variant |
h z hz |
| author_facet |
Dong, Jin Song, Zhu, Huibiao |
| author_role |
aut |
| author_sort |
Dong, Jin Song |
| author_variant |
j s d js jsd |
| callnumber-first |
Q - Science |
| callnumber-label |
QA76 |
| callnumber-raw |
QA76.758 |
| callnumber-search |
QA76.758 |
| callnumber-sort |
QA 276.758 |
| callnumber-subject |
QA - Mathematics |
| collection |
ZDB-2-SCS, ZDB-2-LNC, ZDB-2-SEB, ZDB-2-SXCS |
| contents |
Invited Talks -- Fostering Proof Scores in CafeOBJ -- Exploiting Partial Success in Applying Automated Formal Methods -- Multicore Embedded Systems: The Timing Problem and Possible Solutions -- Theorem Proving and Decision Procedures -- Applying PVS Background Theories and Proof Strategies in Invariant Based Programming -- Proof Obligation Generation and Discharging for Recursive Definitions in VDM -- Correct-by-Construction Model Transformations from Partially Ordered Specifications in Coq -- Decision Procedures for the Temporal Verification of Concurrent Lists -- An Improved Decision Procedure for Propositional Projection Temporal Logic -- Web Services and Workflow -- A Semantic Model for Service Composition with Coordination Time Delays -- Compensable WorkFlow Nets -- Automatically Testing Web Services Choreography with Assertions -- Applying Ordinary Differential Equations to the Performance Analysis of Service Composition -- Verification I -- Verifying Heap-Manipulating Programs with Unknown Procedure Calls -- API Conformance Verification for Java Programs -- Assume-Guarantee Reasoning with Local Specifications -- Automating Coinduction with Case Analysis -- Applications of Formal Methods -- Enhanced Semantic Access to Formal Software Models -- Making Pattern- and Model-Based Software Development More Rigorous -- Practical Parameterised Session Types -- A Formal Verification Study on the Rotterdam Storm Surge Barrier -- Verification II -- Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems -- Automated Multiparameterised Verification by Cut-Offs -- Automating Cut-off for Multi-parameterized Systems -- Method for Formal Verification of Soft-Error Tolerance Mechanisms in Pipelined Microprocessors -- Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP -- Probability and Concurrency -- Model Checking Hierarchical Probabilistic Systems -- Trace-Driven Verification of Multithreaded Programs -- Closed Form Approximations for Steady State Probabilities of a Controlled Fork-Join Network -- Reasoning about Safety and Progress Using Contracts -- Program Analysis -- Abstract Program Slicing: From Theory towards an Implementation -- Loop Invariant Synthesis in a Combined Domain -- Software Metrics in Static Program Analysis -- A Combination of Forward and Backward Reachability Analysis Methods -- Model Checking -- Model Checking a Model Checker: A Code Contract Combined Approach -- On Symmetries and Spotlights – Verifying Parameterised Systems -- A Methodology for Automatic Diagnosability Analysis -- Making the Right Cut in Model Checking Data-Intensive Timed Systems -- Comparison of Model Checking Tools for Information Systems -- Object Orientation and Model Driven Engineering -- A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model -- Model-Driven Protocol Design Based on Component Oriented Modeling -- Laws of Pattern Composition -- Dynamic Resource Reallocation between Deployment Components -- Specification and Verification -- A Pattern System to Support Refining Informal Ideas into Formal Expressions -- Specification Translation of State Machines from Equational Theories into Rewrite Theories -- Alternating Interval Based Temporal Logics., This book constitutes the refereed proceedings of the 12th International Conference 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 mod el driven engineering, as well as specification and verification. |
| ctrlnum |
(DE-627)165059724X, (DE-576)334439019, (DE-599)BSZ334439019, (OCoLC)698517567, (OCoLC)846204621, (OCoLC)700527410, (DE-He213)978-3-642-16901-4, (EBP)040531066 |
| de15_date |
2011-05-16T16:34:05Z |
| doi_str_mv |
10.1007/978-3-642-16901-4 |
| era_facet |
2010 |
| facet_912a |
ZDB-2-SCS, ZDB-2-LNC, ZDB-2-SEB, ZDB-2-SXCS |
| facet_avail |
Online |
| facet_local_del330 |
Softwareentwicklung, Formale Methode, Entscheidungsverfahren, Programmverifikation, Programmanalyse, Softwaretest, Model Checking, Serviceorientierte Architektur, Web Services, Leistungsbewertung |
| finc_class_facet |
Informatik, Mathematik |
| finc_id_str |
0001455381 |
| fincclass_txtF_mv |
science-computerscience |
| format |
eBook, ConferenceProceedings |
| format_access_txtF_mv |
Book, E-Book |
| format_de105 |
Ebook |
| format_de14 |
Book, E-Book |
| format_de15 |
Book, E-Book |
| format_del152 |
Buch |
| format_detail_txtF_mv |
text-online-monograph-independent-conference |
| format_dezi4 |
e-Book |
| format_finc |
Book, E-Book |
| format_legacy |
ElectronicBook |
| format_legacy_nrw |
Book, E-Book |
| format_nrw |
Book, E-Book |
| format_strict_txtF_mv |
E-Book |
| genre |
Konferenzschrift 2010 Schanghai (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content |
| genre_facet |
Konferenzschrift |
| geogr_code |
not assigned |
| geogr_code_person |
not assigned |
| geographic_facet |
Schanghai |
| hierarchy_parent_id |
0-316228877 |
| hierarchy_parent_title |
Lecture notes in computer science |
| hierarchy_sequence |
6447 |
| hierarchy_top_id |
0-316228877 |
| hierarchy_top_title |
Lecture notes in computer science |
| id |
0-165059724X |
| illustrated |
Not Illustrated |
| imprint |
Berlin, Heidelberg, Springer Berlin Heidelberg, 2010 |
| imprint_str_mv |
Berlin, Heidelberg: Springer Berlin Heidelberg, 2010 |
| institution |
DE-14, DE-Zi4, DE-520, DE-15 |
| is_hierarchy_id |
0-165059724X |
| is_hierarchy_title |
Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings |
| isbn |
9783642169014 |
| isbn_isn_mv |
9783642169007, 3642169007 |
| issn_isn_mv |
1611-3349 |
| kxp_id_str |
165059724X |
| language |
English |
| last_indexed |
2024-01-28T18:52:22.295Z |
| local_heading_facet_dezwi2 |
Computer science, Computer Communication Networks, Computer software, Computer Science, Software engineering, Computer networks ., Compilers (Computer programs)., Computer programming., Algorithms., Softwareentwicklung, Formale Methode, Entscheidungsverfahren, Programmverifikation, Programmanalyse, Softwaretest, Model Checking, Serviceorientierte Architektur, Web Services, Leistungsbewertung |
| marc024a_ct_mv |
10.1007/978-3-642-16901-4 |
| match_str |
dong2010formalmethodsandsoftwareengineering12thinternationalconferenceonformalengineeringmethodsicfem2010shanghaichinanovember17192010proceedings |
| mega_collection |
Verbunddaten SWB |
| multipart_link |
093890923 |
| multipart_part |
(093890923)6447 |
| names_id_str_mv |
(DE-627)1257105531, (DE-576)187105537 |
| oclc_num |
698517567, 846204621, 700527410 |
| physical |
Online-Ressource (XIV, 712p. 202 illus, digital) |
| publishDate |
2010 |
| publishDateSort |
2010 |
| publishPlace |
Berlin, Heidelberg |
| publisher |
Springer Berlin Heidelberg |
| record_format |
marcfinc |
| record_id |
334439019 |
| recordtype |
marcfinc |
| rsn_id_str_mv |
(DE-15)2462235 |
| rvk_facet |
SS 4800 |
| rvk_label |
Informatik, Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen, Schriftenreihen (indiv. Sign.), Lecture notes in computer science |
| rvk_path |
SS, SQ - SU, SS 4000 - SS 5999, SS 4800 |
| rvk_path_str_mv |
SS, SQ - SU, SS 4000 - SS 5999, SS 4800 |
| series |
Lecture notes in computer science, 6447 |
| series2 |
Lecture Notes in Computer Science ; 6447, SpringerLink ; Bücher |
| source_id |
0 |
| spelling |
Dong, Jin Song (DE-627)1257105531 (DE-576)187105537 aut, Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings edited by Jin Song Dong, Huibiao Zhu, Berlin, Heidelberg Springer Berlin Heidelberg 2010, Online-Ressource (XIV, 712p. 202 illus, digital), Text txt rdacontent, Computermedien c rdamedia, Online-Ressource cr rdacarrier, Lecture Notes in Computer Science 6447, SpringerLink Bücher, Invited Talks -- Fostering Proof Scores in CafeOBJ -- Exploiting Partial Success in Applying Automated Formal Methods -- Multicore Embedded Systems: The Timing Problem and Possible Solutions -- Theorem Proving and Decision Procedures -- Applying PVS Background Theories and Proof Strategies in Invariant Based Programming -- Proof Obligation Generation and Discharging for Recursive Definitions in VDM -- Correct-by-Construction Model Transformations from Partially Ordered Specifications in Coq -- Decision Procedures for the Temporal Verification of Concurrent Lists -- An Improved Decision Procedure for Propositional Projection Temporal Logic -- Web Services and Workflow -- A Semantic Model for Service Composition with Coordination Time Delays -- Compensable WorkFlow Nets -- Automatically Testing Web Services Choreography with Assertions -- Applying Ordinary Differential Equations to the Performance Analysis of Service Composition -- Verification I -- Verifying Heap-Manipulating Programs with Unknown Procedure Calls -- API Conformance Verification for Java Programs -- Assume-Guarantee Reasoning with Local Specifications -- Automating Coinduction with Case Analysis -- Applications of Formal Methods -- Enhanced Semantic Access to Formal Software Models -- Making Pattern- and Model-Based Software Development More Rigorous -- Practical Parameterised Session Types -- A Formal Verification Study on the Rotterdam Storm Surge Barrier -- Verification II -- Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems -- Automated Multiparameterised Verification by Cut-Offs -- Automating Cut-off for Multi-parameterized Systems -- Method for Formal Verification of Soft-Error Tolerance Mechanisms in Pipelined Microprocessors -- Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP -- Probability and Concurrency -- Model Checking Hierarchical Probabilistic Systems -- Trace-Driven Verification of Multithreaded Programs -- Closed Form Approximations for Steady State Probabilities of a Controlled Fork-Join Network -- Reasoning about Safety and Progress Using Contracts -- Program Analysis -- Abstract Program Slicing: From Theory towards an Implementation -- Loop Invariant Synthesis in a Combined Domain -- Software Metrics in Static Program Analysis -- A Combination of Forward and Backward Reachability Analysis Methods -- Model Checking -- Model Checking a Model Checker: A Code Contract Combined Approach -- On Symmetries and Spotlights – Verifying Parameterised Systems -- A Methodology for Automatic Diagnosability Analysis -- Making the Right Cut in Model Checking Data-Intensive Timed Systems -- Comparison of Model Checking Tools for Information Systems -- Object Orientation and Model Driven Engineering -- A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model -- Model-Driven Protocol Design Based on Component Oriented Modeling -- Laws of Pattern Composition -- Dynamic Resource Reallocation between Deployment Components -- Specification and Verification -- A Pattern System to Support Refining Informal Ideas into Formal Expressions -- Specification Translation of State Machines from Equational Theories into Rewrite Theories -- Alternating Interval Based Temporal Logics., This book constitutes the refereed proceedings of the 12th International Conference 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 mod el driven engineering, as well as specification and verification., Computer science, Computer Communication Networks, Computer software, Computer Science, Software engineering, Computer networks ., Compilers (Computer programs)., Computer programming., Algorithms., Konferenzschrift 2010 Schanghai (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, s (DE-588)4116522-6 (DE-627)104616369 (DE-576)209502258 Softwareentwicklung gnd, s (DE-588)4333722-3 (DE-627)148061516 (DE-576)21134253X Formale Methode gnd, s (DE-588)4637781-5 (DE-627)32960015X (DE-576)214522164 Entscheidungsverfahren gnd, DE-101, s (DE-588)4135576-3 (DE-627)10566409X (DE-576)209661925 Programmverifikation gnd, s (DE-588)4175841-9 (DE-627)105361038 (DE-576)209966513 Programmanalyse gnd, s (DE-588)4132652-0 (DE-627)105686085 (DE-576)209637390 Softwaretest gnd, s (DE-588)4434799-6 (DE-627)222527455 (DE-576)212412167 Model Checking gnd, s (DE-588)4841015-9 (DE-627)497936860 (DE-576)217093450 Serviceorientierte Architektur gnd, s (DE-588)4691234-4 (DE-627)35055126X (DE-576)215074130 Web Services gnd, s (DE-588)4167271-9 (DE-627)104122404 (DE-576)209907495 Leistungsbewertung gnd, Zhu, Huibiao oth, 9783642169007, Buchausg. u.d.T. Formal methods and software engineering Berlin : Springer, 2010 XIV, 712 S. (DE-627)636696154 (DE-576)333576934 3642169007 9783642169007, Lecture notes in computer science 6447 6447 (DE-627)316228877 (DE-576)093890923 (DE-600)2018930-8 1611-3349 ns, https://doi.org/10.1007/978-3-642-16901-4 X:SPRINGER Verlag lizenzpflichtig Volltext, https://swbplus.bsz-bw.de/bsz334439019cov.jpg V:DE-576 X:springer image/jpeg 20150929173909 Cover, http://dx.doi.org/10.1007/978-3-642-16901-4 DE-14, DE-14 2011-07-20T14:58:17Z epn:3337513727, http://dx.doi.org/10.1007/978-3-642-16901-4 DE-15, DE-15 2011-05-16T16:34:05Z epn:3337513794, http://dx.doi.org/10.1007/978-3-642-16901-4 Zum Online-Dokument DE-Zi4, DE-Zi4 2011-01-26T14:26:59Z epn:3337513875, http://dx.doi.org/10.1007/978-3-642-16901-4 DE-520, DE-520 2010-12-03T09:53:13Z epn:3337513921 |
| spellingShingle |
Dong, Jin Song, Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings, Lecture notes in computer science, 6447, Invited Talks -- Fostering Proof Scores in CafeOBJ -- Exploiting Partial Success in Applying Automated Formal Methods -- Multicore Embedded Systems: The Timing Problem and Possible Solutions -- Theorem Proving and Decision Procedures -- Applying PVS Background Theories and Proof Strategies in Invariant Based Programming -- Proof Obligation Generation and Discharging for Recursive Definitions in VDM -- Correct-by-Construction Model Transformations from Partially Ordered Specifications in Coq -- Decision Procedures for the Temporal Verification of Concurrent Lists -- An Improved Decision Procedure for Propositional Projection Temporal Logic -- Web Services and Workflow -- A Semantic Model for Service Composition with Coordination Time Delays -- Compensable WorkFlow Nets -- Automatically Testing Web Services Choreography with Assertions -- Applying Ordinary Differential Equations to the Performance Analysis of Service Composition -- Verification I -- Verifying Heap-Manipulating Programs with Unknown Procedure Calls -- API Conformance Verification for Java Programs -- Assume-Guarantee Reasoning with Local Specifications -- Automating Coinduction with Case Analysis -- Applications of Formal Methods -- Enhanced Semantic Access to Formal Software Models -- Making Pattern- and Model-Based Software Development More Rigorous -- Practical Parameterised Session Types -- A Formal Verification Study on the Rotterdam Storm Surge Barrier -- Verification II -- Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems -- Automated Multiparameterised Verification by Cut-Offs -- Automating Cut-off for Multi-parameterized Systems -- Method for Formal Verification of Soft-Error Tolerance Mechanisms in Pipelined Microprocessors -- Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP -- Probability and Concurrency -- Model Checking Hierarchical Probabilistic Systems -- Trace-Driven Verification of Multithreaded Programs -- Closed Form Approximations for Steady State Probabilities of a Controlled Fork-Join Network -- Reasoning about Safety and Progress Using Contracts -- Program Analysis -- Abstract Program Slicing: From Theory towards an Implementation -- Loop Invariant Synthesis in a Combined Domain -- Software Metrics in Static Program Analysis -- A Combination of Forward and Backward Reachability Analysis Methods -- Model Checking -- Model Checking a Model Checker: A Code Contract Combined Approach -- On Symmetries and Spotlights – Verifying Parameterised Systems -- A Methodology for Automatic Diagnosability Analysis -- Making the Right Cut in Model Checking Data-Intensive Timed Systems -- Comparison of Model Checking Tools for Information Systems -- Object Orientation and Model Driven Engineering -- A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model -- Model-Driven Protocol Design Based on Component Oriented Modeling -- Laws of Pattern Composition -- Dynamic Resource Reallocation between Deployment Components -- Specification and Verification -- A Pattern System to Support Refining Informal Ideas into Formal Expressions -- Specification Translation of State Machines from Equational Theories into Rewrite Theories -- Alternating Interval Based Temporal Logics., This book constitutes the refereed proceedings of the 12th International Conference 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 mod el driven engineering, as well as specification and verification., Computer science, Computer Communication Networks, Computer software, Computer Science, Software engineering, Computer networks ., Compilers (Computer programs)., Computer programming., Algorithms., Konferenzschrift 2010 Schanghai, Softwareentwicklung, Formale Methode, Entscheidungsverfahren, Programmverifikation, Programmanalyse, Softwaretest, Model Checking, Serviceorientierte Architektur, Web Services, Leistungsbewertung |
| swb_id_str |
334439019 |
| title |
Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings |
| title_auth |
Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings |
| title_full |
Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings edited by Jin Song Dong, Huibiao Zhu |
| title_fullStr |
Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings edited by Jin Song Dong, Huibiao Zhu |
| title_full_unstemmed |
Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings edited by Jin Song Dong, Huibiao Zhu |
| title_in_hierarchy |
6447. Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings (2010) |
| title_short |
Formal Methods and Software Engineering |
| title_sort |
formal methods and software engineering 12th international conference on formal engineering methods icfem 2010 shanghai china november 17 19 2010 proceedings |
| title_sub |
12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings |
| title_unstemmed |
Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings |
| topic |
Computer science, Computer Communication Networks, Computer software, Computer Science, Software engineering, Computer networks ., Compilers (Computer programs)., Computer programming., Algorithms., Konferenzschrift 2010 Schanghai, Softwareentwicklung, Formale Methode, Entscheidungsverfahren, Programmverifikation, Programmanalyse, Softwaretest, Model Checking, Serviceorientierte Architektur, Web Services, Leistungsbewertung |
| topic_facet |
Computer science, Computer Communication Networks, Computer software, Computer Science, Software engineering, Computer networks ., Compilers (Computer programs)., Computer programming., Algorithms., Konferenzschrift, Softwareentwicklung, Formale Methode, Entscheidungsverfahren, Programmverifikation, Programmanalyse, Softwaretest, Model Checking, Serviceorientierte Architektur, Web Services, Leistungsbewertung |
| url |
https://doi.org/10.1007/978-3-642-16901-4, https://swbplus.bsz-bw.de/bsz334439019cov.jpg, http://dx.doi.org/10.1007/978-3-642-16901-4 |
