Fundamental Approaches to Software Engineering : : 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 / / edited by Reiner Hähnle, Wil van der Aalst.
This book is Open Access under a CC BY licence.
Saved in:
Superior document: | Theoretical Computer Science and General Issues, 11424 |
---|---|
HerausgeberIn: | |
Place / Publishing House: | Cham : : Springer International Publishing :, Imprint: Springer,, 2019. |
Year of Publication: | 2019 |
Edition: | 1st ed. 2019. |
Language: | English |
Series: | Theoretical Computer Science and General Issues,
11424 |
Physical Description: | 1 online resource (XIII, 446 p. 1202 illus., 85 illus. in color.) |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
993541096304498 |
---|---|
ctrlnum |
(CKB)4100000007823543 (DE-He213)978-3-030-16722-6 (MiAaPQ)EBC5917980 (Au-PeEL)EBL5917980 (OCoLC)1132419369 (oapen)https://directory.doabooks.org/handle/20.500.12854/27030 (PPN)235668389 (EXLCZ)994100000007823543 |
collection |
bib_alma |
record_format |
marc |
spelling |
Hähnle, Reiner edt Fundamental Approaches to Software Engineering : 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 / edited by Reiner Hähnle, Wil van der Aalst. 1st ed. 2019. Cham : Springer International Publishing : Imprint: Springer, 2019. 1 online resource (XIII, 446 p. 1202 illus., 85 illus. in color.) text txt rdacontent computer c rdamedia online resource cr rdacarrier Theoretical Computer Science and General Issues, 2512-2029 ; 11424 English FASE Invited Talk -- Software Assurance in an Uncertain World -- Software Verification -- Tool Support for Correctness-by-Construction -- Automatic Modeling for Opaque Code in JavaScript Static Analysis -- SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language -- A Hybrid Dynamic Logic for Event/Data-based Systems -- Model-driven Development and Model Transformation -- Pyro: Generating Domain-Specific Collaborative Online Modeling Environments -- Efficient Model Synchronization by Automatically Constructed Repair Processes -- Offline Delta-driven Model Transformation with Dependency Injection -- A Logic-Based Incremental Approach to Graph Repair -- Software Verification -- DeepFault: Fault Localization For Deep Neural Networks -- Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL -- Formal Verification of Safety and Security Related Timing Constraints for A Cooperative Automotive System -- Checking Observational Purity Of Procedures -- Software Evolution & Requirements Engineering -- Structural and Nominal Cross-Language Clone Detection -- SL2SF: Refactoring Simulink to Stateflow -- Metric Temporal Graph Logic over Typed Attributed Graphs -- KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs -- Business Process Privacy Analysis in PLEAK -- Specification, Design, and Implementation of Particular Classes of Systems -- CLTestCheck: Measuring Test Effectiveness for GPU Kernels -- Implementing SOS with Active Objects: A Case Study of a Multicore Memory System -- Optimal and Automated Deployment for Microservices -- A Data Flow Model with Frequency Arithmetic -- Software Testing -- CoVeriTest: Cooperative Verifier-Based Testing -- Pardis: Priority Aware Test Case Reduction -- Automatically Identifying Sufficient Object Builders from Module APIs. This book is Open Access under a CC BY licence. Open Access Software engineering. Compilers (Computer programs). Electronic digital computers—Evaluation. Computers. Professions. Computer science. Computer simulation. Software Engineering. Compilers and Interpreters. System Performance and Evaluation. The Computing Profession. Theory of Computation. Computer Modelling. 3-030-16721-6 Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613 https://orcid.org/0000-0001-8000-7613 edt http://id.loc.gov/vocabulary/relators/edt van der Aalst, Wil. editor. (orcid)0000-0002-0955-6940 https://orcid.org/0000-0002-0955-6940 edt http://id.loc.gov/vocabulary/relators/edt |
language |
English |
format |
eBook |
author2 |
Hähnle, Reiner. Hähnle, Reiner. van der Aalst, Wil. van der Aalst, Wil. |
author_facet |
Hähnle, Reiner. Hähnle, Reiner. van der Aalst, Wil. van der Aalst, Wil. |
author2_variant |
r h rh r h rh r h rh d a w v daw dawv d a w v daw dawv |
author2_role |
HerausgeberIn HerausgeberIn HerausgeberIn HerausgeberIn |
author_sort |
Hähnle, Reiner. |
title |
Fundamental Approaches to Software Engineering : 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 / |
spellingShingle |
Fundamental Approaches to Software Engineering : 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 / Theoretical Computer Science and General Issues, FASE Invited Talk -- Software Assurance in an Uncertain World -- Software Verification -- Tool Support for Correctness-by-Construction -- Automatic Modeling for Opaque Code in JavaScript Static Analysis -- SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language -- A Hybrid Dynamic Logic for Event/Data-based Systems -- Model-driven Development and Model Transformation -- Pyro: Generating Domain-Specific Collaborative Online Modeling Environments -- Efficient Model Synchronization by Automatically Constructed Repair Processes -- Offline Delta-driven Model Transformation with Dependency Injection -- A Logic-Based Incremental Approach to Graph Repair -- Software Verification -- DeepFault: Fault Localization For Deep Neural Networks -- Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL -- Formal Verification of Safety and Security Related Timing Constraints for A Cooperative Automotive System -- Checking Observational Purity Of Procedures -- Software Evolution & Requirements Engineering -- Structural and Nominal Cross-Language Clone Detection -- SL2SF: Refactoring Simulink to Stateflow -- Metric Temporal Graph Logic over Typed Attributed Graphs -- KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs -- Business Process Privacy Analysis in PLEAK -- Specification, Design, and Implementation of Particular Classes of Systems -- CLTestCheck: Measuring Test Effectiveness for GPU Kernels -- Implementing SOS with Active Objects: A Case Study of a Multicore Memory System -- Optimal and Automated Deployment for Microservices -- A Data Flow Model with Frequency Arithmetic -- Software Testing -- CoVeriTest: Cooperative Verifier-Based Testing -- Pardis: Priority Aware Test Case Reduction -- Automatically Identifying Sufficient Object Builders from Module APIs. |
title_sub |
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 / |
title_full |
Fundamental Approaches to Software Engineering : 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 / edited by Reiner Hähnle, Wil van der Aalst. |
title_fullStr |
Fundamental Approaches to Software Engineering : 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 / edited by Reiner Hähnle, Wil van der Aalst. |
title_full_unstemmed |
Fundamental Approaches to Software Engineering : 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 / edited by Reiner Hähnle, Wil van der Aalst. |
title_auth |
Fundamental Approaches to Software Engineering : 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 / |
title_new |
Fundamental Approaches to Software Engineering : |
title_sort |
fundamental approaches to software engineering : 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 / |
series |
Theoretical Computer Science and General Issues, |
series2 |
Theoretical Computer Science and General Issues, |
publisher |
Springer International Publishing : Imprint: Springer, |
publishDate |
2019 |
physical |
1 online resource (XIII, 446 p. 1202 illus., 85 illus. in color.) |
edition |
1st ed. 2019. |
contents |
FASE Invited Talk -- Software Assurance in an Uncertain World -- Software Verification -- Tool Support for Correctness-by-Construction -- Automatic Modeling for Opaque Code in JavaScript Static Analysis -- SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language -- A Hybrid Dynamic Logic for Event/Data-based Systems -- Model-driven Development and Model Transformation -- Pyro: Generating Domain-Specific Collaborative Online Modeling Environments -- Efficient Model Synchronization by Automatically Constructed Repair Processes -- Offline Delta-driven Model Transformation with Dependency Injection -- A Logic-Based Incremental Approach to Graph Repair -- Software Verification -- DeepFault: Fault Localization For Deep Neural Networks -- Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL -- Formal Verification of Safety and Security Related Timing Constraints for A Cooperative Automotive System -- Checking Observational Purity Of Procedures -- Software Evolution & Requirements Engineering -- Structural and Nominal Cross-Language Clone Detection -- SL2SF: Refactoring Simulink to Stateflow -- Metric Temporal Graph Logic over Typed Attributed Graphs -- KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs -- Business Process Privacy Analysis in PLEAK -- Specification, Design, and Implementation of Particular Classes of Systems -- CLTestCheck: Measuring Test Effectiveness for GPU Kernels -- Implementing SOS with Active Objects: A Case Study of a Multicore Memory System -- Optimal and Automated Deployment for Microservices -- A Data Flow Model with Frequency Arithmetic -- Software Testing -- CoVeriTest: Cooperative Verifier-Based Testing -- Pardis: Priority Aware Test Case Reduction -- Automatically Identifying Sufficient Object Builders from Module APIs. |
isbn |
3-030-16722-4 3-030-16721-6 |
issn |
2512-2029 ; |
callnumber-first |
Q - Science |
callnumber-subject |
QA - Mathematics |
callnumber-label |
QA76 |
callnumber-sort |
QA 276.758 |
illustrated |
Not Illustrated |
dewey-hundreds |
000 - Computer science, information & general works |
dewey-tens |
000 - Computer science, knowledge & systems |
dewey-ones |
005 - Computer programming, programs & data |
dewey-full |
005.1 |
dewey-sort |
15.1 |
dewey-raw |
005.1 |
dewey-search |
005.1 |
oclc_num |
1132419369 |
work_keys_str_mv |
AT hahnlereiner fundamentalapproachestosoftwareengineering22ndinternationalconferencefase2019heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2019pragueczechrepublicapril6112019proceedings AT vanderaalstwil fundamentalapproachestosoftwareengineering22ndinternationalconferencefase2019heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2019pragueczechrepublicapril6112019proceedings |
status_str |
n |
ids_txt_mv |
(CKB)4100000007823543 (DE-He213)978-3-030-16722-6 (MiAaPQ)EBC5917980 (Au-PeEL)EBL5917980 (OCoLC)1132419369 (oapen)https://directory.doabooks.org/handle/20.500.12854/27030 (PPN)235668389 (EXLCZ)994100000007823543 |
carrierType_str_mv |
cr |
hierarchy_parent_title |
Theoretical Computer Science and General Issues, 11424 |
hierarchy_sequence |
11424 |
is_hierarchy_title |
Fundamental Approaches to Software Engineering : 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 / |
container_title |
Theoretical Computer Science and General Issues, 11424 |
author2_original_writing_str_mv |
noLinkedField noLinkedField noLinkedField noLinkedField |
_version_ |
1804719270548996096 |
fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04554nam a22006375i 4500</leader><controlfield tag="001">993541096304498</controlfield><controlfield tag="005">20230329173200.0</controlfield><controlfield tag="006">m o d | </controlfield><controlfield tag="007">cr nn 008mamaa</controlfield><controlfield tag="008">190403s2019 sz | o |||| 0|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3-030-16722-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-030-16722-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CKB)4100000007823543</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-He213)978-3-030-16722-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)EBC5917980</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL5917980</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1132419369</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(oapen)https://directory.doabooks.org/handle/20.500.12854/27030</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(PPN)235668389</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EXLCZ)994100000007823543</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">MiAaPQ</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="e">pn</subfield><subfield code="c">MiAaPQ</subfield><subfield code="d">MiAaPQ</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA76.758</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">UMZ</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM051230</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">UMZ</subfield><subfield code="2">thema</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">005.1</subfield><subfield code="2">23</subfield></datafield><datafield tag="082" ind1=" " ind2=" "><subfield code="a">005.1</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hähnle, Reiner</subfield><subfield code="4">edt</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Fundamental Approaches to Software Engineering :</subfield><subfield code="b">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 /</subfield><subfield code="c">edited by Reiner Hähnle, Wil van der Aalst.</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2019.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham :</subfield><subfield code="b">Springer International Publishing :</subfield><subfield code="b">Imprint: Springer,</subfield><subfield code="c">2019.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (XIII, 446 p. 1202 illus., 85 illus. in color.) </subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Theoretical Computer Science and General Issues,</subfield><subfield code="x">2512-2029 ;</subfield><subfield code="v">11424</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">English</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">FASE Invited Talk -- Software Assurance in an Uncertain World -- Software Verification -- Tool Support for Correctness-by-Construction -- Automatic Modeling for Opaque Code in JavaScript Static Analysis -- SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language -- A Hybrid Dynamic Logic for Event/Data-based Systems -- Model-driven Development and Model Transformation -- Pyro: Generating Domain-Specific Collaborative Online Modeling Environments -- Efficient Model Synchronization by Automatically Constructed Repair Processes -- Offline Delta-driven Model Transformation with Dependency Injection -- A Logic-Based Incremental Approach to Graph Repair -- Software Verification -- DeepFault: Fault Localization For Deep Neural Networks -- Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL -- Formal Verification of Safety and Security Related Timing Constraints for A Cooperative Automotive System -- Checking Observational Purity Of Procedures -- Software Evolution & Requirements Engineering -- Structural and Nominal Cross-Language Clone Detection -- SL2SF: Refactoring Simulink to Stateflow -- Metric Temporal Graph Logic over Typed Attributed Graphs -- KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs -- Business Process Privacy Analysis in PLEAK -- Specification, Design, and Implementation of Particular Classes of Systems -- CLTestCheck: Measuring Test Effectiveness for GPU Kernels -- Implementing SOS with Active Objects: A Case Study of a Multicore Memory System -- Optimal and Automated Deployment for Microservices -- A Data Flow Model with Frequency Arithmetic -- Software Testing -- CoVeriTest: Cooperative Verifier-Based Testing -- Pardis: Priority Aware Test Case Reduction -- Automatically Identifying Sufficient Object Builders from Module APIs.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This book is Open Access under a CC BY licence.</subfield></datafield><datafield tag="506" ind1="0" ind2=" "><subfield code="a">Open Access</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Software engineering.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Compilers (Computer programs).</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Electronic digital computers—Evaluation.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computers.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Professions.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer science.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer simulation.</subfield></datafield><datafield tag="650" ind1="1" ind2="4"><subfield code="a">Software Engineering.</subfield></datafield><datafield tag="650" ind1="2" ind2="4"><subfield code="a">Compilers and Interpreters.</subfield></datafield><datafield tag="650" ind1="2" ind2="4"><subfield code="a">System Performance and Evaluation.</subfield></datafield><datafield tag="650" ind1="2" ind2="4"><subfield code="a">The Computing Profession.</subfield></datafield><datafield tag="650" ind1="2" ind2="4"><subfield code="a">Theory of Computation.</subfield></datafield><datafield tag="650" ind1="2" ind2="4"><subfield code="a">Computer Modelling.</subfield></datafield><datafield tag="776" ind1=" " ind2=" "><subfield code="z">3-030-16721-6</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hähnle, Reiner.</subfield><subfield code="e">editor.</subfield><subfield code="0">(orcid)0000-0001-8000-7613</subfield><subfield code="1">https://orcid.org/0000-0001-8000-7613</subfield><subfield code="4">edt</subfield><subfield code="4">http://id.loc.gov/vocabulary/relators/edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">van der Aalst, Wil.</subfield><subfield code="e">editor.</subfield><subfield code="0">(orcid)0000-0002-0955-6940</subfield><subfield code="1">https://orcid.org/0000-0002-0955-6940</subfield><subfield code="4">edt</subfield><subfield code="4">http://id.loc.gov/vocabulary/relators/edt</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Theoretical Computer Science and General Issues,</subfield><subfield code="x">2512-2029 ;</subfield><subfield code="v">11424</subfield></datafield><datafield tag="906" ind1=" " ind2=" "><subfield code="a">BOOK</subfield></datafield><datafield tag="ADM" ind1=" " ind2=" "><subfield code="b">2024-07-16 07:52:26 Europe/Vienna</subfield><subfield code="f">system</subfield><subfield code="c">marc21</subfield><subfield code="a">2019-04-13 22:04:18 Europe/Vienna</subfield><subfield code="g">false</subfield></datafield><datafield tag="AVE" ind1=" " ind2=" "><subfield code="i">DOAB Directory of Open Access Books</subfield><subfield code="P">DOAB Directory of Open Access Books</subfield><subfield code="x">https://eu02.alma.exlibrisgroup.com/view/uresolver/43ACC_OEAW/openurl?u.ignore_date_coverage=true&portfolio_pid=5337071400004498&Force_direct=true</subfield><subfield code="Z">5337071400004498</subfield><subfield code="b">Available</subfield><subfield code="8">5337071400004498</subfield></datafield></record></collection> |