MARC details
| 000 -LEADER |
|---|
| fixed length control field |
07797cam a2200769 i 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
on1096283513 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250707092342.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 |
190410s2019 sz 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 |
YDX |
| -- |
UKMGB |
| -- |
OCLCF |
| -- |
OCLCO |
| -- |
DKU |
| -- |
UKAHL |
| -- |
OCLCQ |
| -- |
COM |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCL |
| 015 ## - NATIONAL BIBLIOGRAPHY NUMBER |
|---|
| National bibliography number |
GBB973443 |
| Source |
bnb |
| 016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER |
|---|
| Record control number |
019361065 |
| Source |
Uk |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783030167226 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3030167224 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783030167219 |
| Qualifying information |
(print) |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/978-3-030-16722-6 |
| Source of number or code |
doi |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000065249260 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
UKMGB |
| System control number |
019361065 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)1096283513 |
| 037 ## - SOURCE OF ACQUISITION |
|---|
| Stock number |
com.springer.onix.9783030167226 |
| Source of stock number/acquisition |
Springer Nature |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.758 |
| Item number |
.F37 2019eb |
| 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 |
(22nd : |
| Date of meeting |
2019 : |
| Location of meeting |
Prague, Czech Republic) |
| 9 (RLIN) |
66965 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Fundamental approaches to software engineering : |
| Remainder of title |
22nd International Conference, FASE 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings / |
| Statement of responsibility, etc. |
Reiner Hähnle, Wil van der Aalst (eds.). |
| 246 3# - VARYING FORM OF TITLE |
|---|
| Title proper/short title |
FASE 2019 |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Place of production, publication, distribution, manufacture |
Cham, Switzerland : |
| Name of producer, publisher, distributor, manufacturer |
Springer Open, |
| Date of production, publication, distribution, manufacture, or copyright notice |
2019. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (xiii, 446 pages) : |
| Other physical details |
illustrations (some color) |
| 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 ; |
| Volume/sequential designation |
11424 |
| 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 |
| 506 0# - RESTRICTIONS ON ACCESS NOTE |
|---|
| Terms governing access |
Open access. |
| Institution to which field applies |
GW5XE |
| 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 April 10, 2019). |
| 505 00 - FORMATTED CONTENTS NOTE |
|---|
| Miscellaneous information |
[I]. |
| Title |
FASE invited talk: |
| Miscellaneous information |
1. |
| Title |
Software assurance in an uncertain world / |
| Statement of responsibility |
Marsha Chechik, Rick Salay, Torin Viger, Sahar Kokaly, and Mona Rahimi. |
| 505 80 - FORMATTED CONTENTS NOTE |
|---|
| Miscellaneous information |
[II]. |
| Title |
Software verification I: |
| Miscellaneous information |
2. |
| Title |
Tool support for correctness-by-construction / |
| Statement of responsibility |
Tobias Runge, Ina Schaefer, Loek Cleophas, Thomas Thüm, Derrick Kourie, and Bruce W. Watson -- |
| Miscellaneous information |
3. |
| Title |
Automatic modeling of opaque code for JavaScript static analysis / |
| Statement of responsibility |
Joonyoung Park, Alexander Jordan, and Sukyoung Ryu -- |
| Miscellaneous information |
4. |
| Title |
SMT-based bounded schedulability analysis of the clock constraint specification language / |
| Statement of responsibility |
Min Zhang, Fu Song, Frédéric Mallet, and Xiaohong Chen -- |
| Miscellaneous information |
5. |
| Title |
A hybrid dynamic logic for event/data-based systems / |
| Statement of responsibility |
Rolf Hennicker, Alexandre Madeira, and Alexander Knapp. |
| 505 80 - FORMATTED CONTENTS NOTE |
|---|
| Miscellaneous information |
[III]. |
| Title |
Model-driven development and model transformation: |
| Miscellaneous information |
6. |
| Title |
Pyro : generating domain-specific collaborative online modeling environments / |
| Statement of responsibility |
Philip Zweihoff, Stefan Naujokat, and Bernhard Steffen -- |
| Miscellaneous information |
7. |
| Title |
Efficient model synchronization by automatically constructed repair processes / |
| Statement of responsibility |
Lars Fritsche, Jens Kosiol, Andy Sch|rr, and Gabriele Taentzer -- |
| Miscellaneous information |
8. |
| Title |
Offline Delta-driven model transformation with dependency injection / |
| Statement of responsibility |
Artur Boronat -- |
| Miscellaneous information |
9. |
| Title |
A logic-based incremental approach to graph repair / |
| Statement of responsibility |
Sven Schneider, Leen Lambers, and Fernando Orejas. |
| 505 80 - FORMATTED CONTENTS NOTE |
|---|
| Miscellaneous information |
[IV]. |
| Title |
Software verification II: |
| Miscellaneous information |
10. |
| Title |
DeepFault : fault localization for deep neural networks / |
| Statement of responsibility |
Hasan Ferit Eniser, Simos Gerasimou, and Alper Sen -- |
| Miscellaneous information |
11. |
| Title |
Variability abstraction and refinement for game-based lifted model checking of full CTL / |
| Statement of responsibility |
Aleksandar S. Dimovski, Axel Legay, and Andrzej Wasowski -- |
| Miscellaneous information |
12. |
| Title |
Formal verification of safety & security related timing constraints for a cooperative automotive system / |
| Statement of responsibility |
Li Huang and Eun-Young Kang -- |
| Miscellaneous information |
13. |
| Title |
Checking observational purity of procedures / |
| Statement of responsibility |
Himanshu Arora, Raghavan Komondoor, and G. Ramalingam. |
| 505 80 - FORMATTED CONTENTS NOTE |
|---|
| Miscellaneous information |
[V]. |
| Title |
Software evolution and requirements engineering: |
| Miscellaneous information |
14. |
| Title |
Structural and nominal cross-language clone detection / |
| Statement of responsibility |
Lawton Nichols, Mehmet Emre, and Ben Hardekopf -- |
| Miscellaneous information |
15. |
| Title |
SL2SF : refactoring Simulink to Stateflow / |
| Statement of responsibility |
Stephen Wynn-Williams, Zinovy Diskin, Vera Pantelic, Mark Lawford, Gehan Selim, Curtis Milo, Moustapha Diab, and Feisel Weslati -- |
| Miscellaneous information |
16. |
| Title |
Metric temporal graph logic over typed attributed graphs / |
| Statement of responsibility |
Holger Giese, Maria Maximova, Lucas Sakizloglou, and Sven Schneider -- |
| Miscellaneous information |
17. |
| Title |
KUPC : a formal tool for modeling and verifying dynamic updating of C programs / |
| Statement of responsibility |
Jiaqi Qian, Min Zhang, Yi Wang, and Kazuhiro Ogata -- |
| Miscellaneous information |
18. |
| Title |
Business process privacy analysis in PLEAK / |
| Statement of responsibility |
Aivo Toots, Reedik Tuuling, Maksym Yerokhin, Marlon Dumas, Luciano García-Bañuelos, Peeter Laud, Raimundas Matulevičius, Alisa Pankova, Martin Pettai, Pille Pullonen, and Jake Tom. |
| 505 80 - FORMATTED CONTENTS NOTE |
|---|
| Miscellaneous information |
[VI]. |
| Title |
Specification, design, and implementation of particular classes of systems: |
| Miscellaneous information |
19. |
| Title |
CLTestCheck : measuring test effectiveness for GPU kernels / |
| Statement of responsibility |
Chao Peng and Ajitha Rajan -- |
| Miscellaneous information |
20. |
| Title |
Implementing SOS with active objects : a case study of a multicore memory system / |
| Statement of responsibility |
Nikolaos Bezirgiannis, Frank de Boer, Einar Broch Johnsen, Ka I Pun, and S. Lizeth Tapia Tarifa -- |
| Miscellaneous information |
21. |
| Title |
Optimal and automated deployment for microservices / |
| Statement of responsibility |
Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, and Gianluigi Zavattaro -- |
| Miscellaneous information |
22. |
| Title |
A data flow model with frequency arithmetic / |
| Statement of responsibility |
Paul Dubrulle, Christophe Gaston, Nikolai Kosmatov, Arnault Lapitre, and Stéphane Louise. |
| 505 80 - FORMATTED CONTENTS NOTE |
|---|
| Miscellaneous information |
[VII]. |
| Title |
Software testing: |
| Miscellaneous information |
23. |
| Title |
CoVeriTest : cooperative verifier-based testing / |
| Statement of responsibility |
Dirk Beyer and Marie-Christine Jakobs -- |
| Miscellaneous information |
24. |
| Title |
PARDIS : priority aware test case reduction / |
| Statement of responsibility |
Golnaz Gharachorlu and Nick Sumner -- |
| Miscellaneous information |
25. |
| Title |
Automatically identifying sufficient object builders from module APIs / |
| Statement of responsibility |
Pablo Ponzio, Valeria S. Bengolea, Mariano Politano, Nazareno Aguirre, and Marcelo F. Frias. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This book is Open Access under a CC BY licence. This book constitutes the proceedings of the 22nd International Conference on Fundamental Approaches to Software Engineering, FASE 2019, which took place in Prague, Czech Republic in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. The 24 papers presented in this volume were carefully reviewed and selected from 94 submissions. The papers are organized in topical sections named: software verification; model-driven development and model transformation; software evolution and requirements engineering; specification, design, and implementation of particular classes of systems; and software testing. -- |
| Assigning source |
Provided by publisher. |
| 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 |
| 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 |
Hähnle, Reiner, |
| Relator term |
editor. |
| 9 (RLIN) |
25349 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Aalst, Wil van der, |
| Relator term |
editor. |
| 9 (RLIN) |
17541 |
| 711 2# - ADDED ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
ETAPS (Conference) |
| Number of part/section/meeting |
(22nd : |
| Date of meeting |
2019 : |
| Location of meeting |
Prague, Czech Republic) |
| 758 ## - |
|---|
| -- |
has work: |
| -- |
Fundamental approaches to software engineering (Text) |
| -- |
https://id.oclc.org/worldcat/entity/E39PCFTTgKTJpjcGtBy6VjQVfm |
| -- |
https://id.oclc.org/worldcat/ontology/hasWork |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
11424. |
| 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-030-16722-6">https://link.springer.com/10.1007/978-3-030-16722-6</a> |
| 938 ## - |
|---|
| -- |
Askews and Holts Library Services |
| -- |
ASKH |
| -- |
AH36230537 |
| 938 ## - |
|---|
| -- |
YBP Library Services |
| -- |
YANK |
| -- |
16195495 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |