MARC details
| 000 -LEADER |
|---|
| fixed length control field |
08216cam a2200757 a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn693779286 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250703160358.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS |
|---|
| fixed length control field |
m o d |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr cn||||||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
101220s2010 gw a ob 101 0 eng d |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
GW5XE |
| Language of cataloging |
eng |
| Description conventions |
pn |
| Transcribing agency |
GW5XE |
| Modifying agency |
OCLCQ |
| -- |
E7B |
| -- |
OUN |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCF |
| -- |
BEDGE |
| -- |
DKDLA |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
NUI |
| -- |
KIJ |
| -- |
COO |
| -- |
OCL |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
EBLCP |
| -- |
OCLCQ |
| -- |
VT2 |
| -- |
SHS |
| -- |
UAB |
| -- |
ESU |
| -- |
OCLCQ |
| -- |
IOG |
| -- |
U3W |
| -- |
WYU |
| -- |
CNTRU |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
COM |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCL |
| 019 ## - |
|---|
| -- |
694146535 |
| -- |
703210762 |
| -- |
727276351 |
| -- |
769769614 |
| -- |
964903208 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783642165610 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3642165613 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783642165603 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
3642165605 |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/978-3-642-16561-0 |
| Source of number or code |
doi |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000048776525 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
13668921 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
13778338 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)693779286 |
| Canceled/invalid control number |
(OCoLC)694146535 |
| -- |
(OCoLC)703210762 |
| -- |
(OCoLC)727276351 |
| -- |
(OCoLC)769769614 |
| -- |
(OCoLC)964903208 |
| 037 ## - SOURCE OF ACQUISITION |
|---|
| Stock number |
978-3-642-16560-3 |
| Source of stock number/acquisition |
Springer |
| Note |
http://www.springerlink.com |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.758 |
| Item number |
.I86 2010 |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
QA |
| Source |
lcco |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UM |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UYF |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
COM051000 |
| Source |
bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
COM036000 |
| Source |
bisacsh |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.1 |
| Edition number |
22 |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 111 2# - MAIN ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
ISoLA 2010 |
| Date of meeting |
(2010 : |
| Location of meeting |
Ērakleion, Greece) |
| 9 (RLIN) |
41088 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Leveraging applications of formal methods, verification, and validation : |
| Remainder of title |
4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, proceedings. |
| Number of part/section of a work |
Part II / |
| Statement of responsibility, etc. |
Tiziana Margaria, Bernhard Steffen (eds.). |
| 246 30 - VARYING FORM OF TITLE |
|---|
| Title proper/short title |
ISoLA 2010 |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc. |
Berlin : |
| Name of publisher, distributor, etc. |
Springer, |
| Date of publication, distribution, etc. |
2010. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (xix, 500 pages) : |
| Other physical details |
illustrations |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
computer |
| Media type code |
c |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
online resource |
| Carrier type code |
cr |
| Source |
rdacarrier |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| File type |
text file |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| Encoding format |
PDF |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in computer science, |
| International Standard Serial Number |
0302-9743 ; |
| Volume/sequential designation |
6416 |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and index. |
| 588 0# - SOURCE OF DESCRIPTION NOTE |
|---|
| Source of description note |
Print version record. |
| 520 8# - SUMMARY, ETC. |
|---|
| Summary, etc. |
Annotation The two volume set LNCS 6415 and LNCS 6416 constitutes the refereed proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2010, held in Heraklion, Crete, Greece, in October 2010. The 100 revised full papers presented were carefully revised and selected from numerous submissions and discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems. The 46 papers of the first volume are organized in topical sections on new challenges in the development of critical embedded systems, formal languages and methods for designing and verifying complex embedded systems, worst-case traversal time (WCTT), tools in scientific workflow composition, emerging services and technologies for a converging telecommunications / Web world in smart environments of the internet of things, Web science, model transformation and analysis for industrial scale validation, and learning techniques for software verification and validation. The second volume presents 54 papers addressing the following topics: EternalS: mission and roadmap, formal methods in model-driven development for service-oriented and cloud computing, quantitative verification in practice, CONNECT: status and plans, certification of software-driven medical devices, modeling and formalizing industrial software for verification, validation and certification, and resource and timing analysis. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
EternalS: Mission and Roadmap -- to the EternalS Track: Trustworthy Eternal Systems via Evolving Software, Data and Knowledge -- HATS: Highly Adaptable and Trustworthy Software Using Formal Methods -- SecureChange: Security Engineering for Lifelong Evolvable Systems -- 3DLife: Bringing the Media Internet to Life -- LivingKnowledge: Kernel Methods for Relational Learning and Semantic Modeling -- Task Forces in the EternalS Coordination Action -- Modeling and Analyzing Diversity -- Modeling and Managing System Evolution -- Self-adaptation and Evolution by Learning -- Overview of Roadmapping by EternalS -- Formal Methods in Model-Driven Development for Service-Oriented and Cloud Computing -- Adaptive Composition of Conversational Services through Graph Planning Encoding -- Performance Prediction of Service-Oriented Systems with Layered Queueing Networks -- Error Handling: From Theory to Practice -- Modeling and Reasoning about Service Behaviors and Their Compositions -- Design and Verification of Systems with Exogenous Coordination Using Vereofy -- A Case Study in Model-Based Adaptation of Web Services -- Quantitative Verification in Practice -- Quantitative Verification in Practice -- Ten Years of Performance Evaluation for Concurrent Systems Using CADP -- Towards Dynamic Adaptation of Probabilistic Systems -- UPPAAL in Practice: Quantitative Verification of a RapidIO Network -- Schedulability Analysis Using Uppaal: Herschel-Planck Case Study -- Model-Checking Temporal Properties of Real-Time HTL Programs -- CONNECT: Status and Plans -- Towards an Architecture for Runtime Interoperability -- On Handling Data in Automata Learning -- A Theory of Mediators for Eternal Connectors -- On-the-Fly Interoperability through Automated Mediator Synthesis and Monitoring -- Dependability Analysis and Verification for Connected Systems -- Towards a Connector Algebra -- Certification of Software-Driven Medical Devices -- Certification of Software-Driven Medical Devices -- Arguing for Software Quality in an IEC 62304 Compliant Development Process -- Trustable Formal Specification for Software Certification -- Design Choices for High-Confidence Distributed Real-Time Software -- Assurance Cases in Model-Driven Development of the Pacemaker Software -- Modeling and Formalizing Industrial Software for Verification, Validation and Certification -- Improving Portability of Linux Applications by Early Detection of Interoperability Issues -- Specification Based Conformance Testing for Email Protocols -- Covering Arrays Generation Methods Survey -- Resource and Timing Analysis -- A Scalable Approach for the Description of Dependencies in Hard Real-Time Systems -- Verification of Printer Datapaths Using Timed Automata -- Resource Analysis of Automotive/Infotainment Systems Based on Domain-Specific Models -- A Real-World Example -- Source-Level Support for Timing Analysis -- Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial Code -- Worst-Case Analysis of Heap Allocations -- Partial Flow Analysis with oRange -- Towards an Evaluation Infrastructure for Automotive Multicore Real-Time Operating Systems -- Context-Sensitivity in IPET for Measurement-Based Timing Analysis -- On the Role of Non-functional Properties in Compiler Verification. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Software engineering |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
15264 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Génie logiciel |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
18168 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Informatique. |
| Source of heading or term |
eclas |
| 9 (RLIN) |
14930 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Software engineering |
| Source of heading or term |
fast |
| 9 (RLIN) |
14736 |
| 655 #2 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Congress |
| 9 (RLIN) |
11670 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
proceedings (reports) |
| Source of term |
aat |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings |
| Source of term |
fast |
| 9 (RLIN) |
6065 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings. |
| Source of term |
lcgft |
| 9 (RLIN) |
6065 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Actes de congrès. |
| Source of term |
rvmgf |
| 9 (RLIN) |
609890 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Margaria-Steffen, Tiziana, |
| Dates associated with a name |
1964- |
| -- |
https://id.oclc.org/worldcat/entity/E39PBJtxb999wFC3D4fRF6Vt8C |
| 9 (RLIN) |
19595 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Steffen, Bernhard. |
| 9 (RLIN) |
15074 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Print version: |
| Main entry heading |
ISoLA 2010 (4th : 2010 : Ērakleion, Greece). |
| Title |
Leveraging applications of formal methods, verification, and validation. |
| Place, publisher, and date of publication |
Berlin ; New York : Springer, 2010 |
| International Standard Book Number |
9783642165603 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
6416. |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
LNCS sublibrary. |
| Number of part/section of a work |
SL 1, |
| Name of part/section of a work |
Theoretical computer science and general issues. |
| 9 (RLIN) |
20736 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link.springer.com/10.1007/978-3-642-16561-0">https://link.springer.com/10.1007/978-3-642-16561-0</a> |
| 938 ## - |
|---|
| -- |
ProQuest Ebook Central |
| -- |
EBLB |
| -- |
EBL3066051 |
| 938 ## - |
|---|
| -- |
ebrary |
| -- |
EBRY |
| -- |
ebr10427760 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |