MARC details
| 000 -LEADER |
|---|
| fixed length control field |
06401cam a2200889 i 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn880374301 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250703163302.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 cnu|||unuuu |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
140522s2014 gw a o 101 0 eng d |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
GW5XE |
| Language of cataloging |
eng |
| Description conventions |
rda |
| -- |
pn |
| Transcribing agency |
GW5XE |
| Modifying agency |
UKMGB |
| -- |
A7U |
| -- |
COO |
| -- |
OCLCO |
| -- |
OCLCF |
| -- |
YDXCP |
| -- |
OCL |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
EBLCP |
| -- |
OCLCO |
| -- |
DIBIB |
| -- |
OCLCO |
| -- |
JG0 |
| -- |
OCLCQ |
| -- |
IOG |
| -- |
CEF |
| -- |
TFW |
| -- |
U3W |
| -- |
AU@ |
| -- |
WYU |
| -- |
YOU |
| -- |
OCLCQ |
| -- |
WURST |
| -- |
AJS |
| -- |
UKAHL |
| -- |
OCLCQ |
| -- |
COM |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCL |
| 016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER |
|---|
| Record control number |
016645196 |
| Source |
Uk |
| 019 ## - |
|---|
| -- |
879262024 |
| -- |
934988260 |
| -- |
936312830 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783642548048 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3642548040 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3642548032 |
| Qualifying information |
(print) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783642548031 |
| Qualifying information |
(print) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783642548031 |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/978-3-642-54804-8 |
| Source of number or code |
doi |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000057657119 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
15585096 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)880374301 |
| Canceled/invalid control number |
(OCoLC)879262024 |
| -- |
(OCoLC)934988260 |
| -- |
(OCoLC)936312830 |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.758 |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UMZ |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
COM051230 |
| Source |
bisacsh |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.1 |
| Edition number |
23 |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 111 2# - MAIN ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
FASE (Conference) |
| Number of part/section/meeting |
(17th : |
| Date of meeting |
2014 : |
| Location of meeting |
Grenoble, France) |
| 9 (RLIN) |
51474 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Fundamental approaches to software engineering : |
| Remainder of title |
17th International Conference, FASE 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings / |
| Statement of responsibility, etc. |
Stefania Gnesi, Arend Rensink (eds.). |
| 246 3# - VARYING FORM OF TITLE |
|---|
| Title proper/short title |
FASE 2014 |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Place of production, publication, distribution, manufacture |
Heidelberg : |
| Name of producer, publisher, distributor, manufacturer |
Springer, |
| Date of production, publication, distribution, manufacture, or copyright notice |
2014. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (xvi, 432 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 |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture Notes in Computer Science, |
| International Standard Serial Number |
0302-9743 ; |
| Volume/sequential designation |
8411 |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Advanced research in computing and software science |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
| 500 ## - GENERAL NOTE |
|---|
| General note |
International conference proceedings. |
| 500 ## - GENERAL NOTE |
|---|
| General note |
Includes author index. |
| 588 0# - SOURCE OF DESCRIPTION NOTE |
|---|
| Source of description note |
Online resource; title from PDF title page (SpringerLink, viewed May 22, 2014). |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This book constitutes the proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering, FASE 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, which took place in Grenoble, France, in April 2014. The 28 papers included in this volume, together with one invited talk, were carefully reviewed and selected from 125 submissions. They have been organized in topical sections on: modeling and model transformation; time and performance; static analysis; scenario-based specification; software verification; analysis and repair; verification and validation; graph transformation and debugging and testing. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Probabilistic Model Checking and Non-standard Multi-objective Reasoning -- Target Oriented Relational Model Finding -- Splitting Models Using Information Retrieval and Model Crawling Techniques -- Sound Merging and Differencing for Class Diagrams -- Heterogeneous and Asynchronous Networks of Timed Systems -- Family-Based Performance Analysis of Variant-Rich Software Systems -- Touch Cost: Cost Analysis of Touch Develop Scripts -- Efficient Incremental Static Analysis Using Path Abstraction -- Type-Based Taint Analysis for Java Web Applications -- Mining the Categorized Software Repositories to Improve the Analysis of Security Vulnerabilities -- Modularizing Early Architectural Assumptions in Scenario-Based Requirements -- Semantically Configurable Analysis of Scenario-Based Specifications -- Formal Verification of Medical Device User Interfaces Using PVS -- Sound Control Flow Graph Extraction from Incomplete Java Bytecode Programs -- Verifying Class Invariants in Concurrent Programs -- Automatic Program Repair by Fixing Contracts -- Dynamic Package Interfaces -- SMT-Based Checking of SOLOIST over Sparse Traces -- An Online Validator for Provenance: Algorithmic Design, Testing and API -- Comparator: A Tool for Quantifying Behavioural Compatibility -- Transformation of Attributed Structures with Cloning -- Implementing Graph Transformations in the Bulk Synchronous Parallel Model -- Modularizing Triple Graph Grammars Using Rule Refinement -- Polymorphic Single-Pushout Graph Transformation -- Causal-Consistent Reversible Debugging -- An Expressive Semantics of Mocking -- Integration Testing in the Test Template Framework -- Data Flow Coverage for Circus-Based Testing. |
| 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 |
Software engineering |
| Source of heading or term |
fast |
| 9 (RLIN) |
14736 |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
computerwetenschappen |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
computer sciences |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
programmeertalen |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
programming languages |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
wiskunde |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
mathematics |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
logica |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
logic |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
software engineering |
| 653 10 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Information and Communication Technology (General) |
| 653 10 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Informatie- en communicatietechnologie (algemeen) |
| 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 |
Gnesi, Stefania, |
| Dates associated with a name |
1954- |
| Relator term |
editor. |
| -- |
https://id.oclc.org/worldcat/entity/E39PCjDHjPfBbxXgbTTG7ccycX |
| 9 (RLIN) |
21712 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Rensink, Arend, |
| Relator term |
editor. |
| 9 (RLIN) |
20130 |
| 711 2# - ADDED ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
ETAPS (Conference) |
| Number of part/section/meeting |
(17th : |
| Date of meeting |
2014 : |
| Location of meeting |
Grenoble, France) |
| 9 (RLIN) |
51369 |
| 758 ## - |
|---|
| -- |
has work: |
| -- |
Fundamental approaches to software engineering (Text) |
| -- |
https://id.oclc.org/worldcat/entity/E39PCFByMqRJBpjM37yVdtvQC3 |
| -- |
https://id.oclc.org/worldcat/ontology/hasWork |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Printed edition: |
| International Standard Book Number |
9783642548031 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
8411. |
| International Standard Serial Number |
0302-9743 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science. |
| Name of part/section of a work |
Advanced research in computing and software science. |
| 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-54804-8">https://link.springer.com/10.1007/978-3-642-54804-8</a> |
| 938 ## - |
|---|
| -- |
Askews and Holts Library Services |
| -- |
ASKH |
| -- |
AH29656030 |
| 938 ## - |
|---|
| -- |
ProQuest Ebook Central |
| -- |
EBLB |
| -- |
EBL3093571 |
| 938 ## - |
|---|
| -- |
YBP Library Services |
| -- |
YANK |
| -- |
11729350 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |