國立高雄大學圖資館 |

語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Fundamental approaches to software e...

(1998 :)

Fundamental approaches to software engineering22nd 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 /

紀錄類型:	書目-電子資源 : Monographic component part
正題名/作者:	Fundamental approaches to software engineeringedited by Reiner Hahnle, Wil van der Aalst.
其他題名:	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 /
其他題名:	FASE 2019
其他作者:	Hahnle, Reiner.
團體作者:
出版者:	Cham :Springer International Publishing :2019.
面頁冊數:	xiii, 446 p. :ill. (some col.), digital ;24 cm.
Contained By:	Springer eBooks
標題:	Software engineering
電子資源:	https://doi.org/10.1007/978-3-030-16722-6
ISBN:	9783030167226$q(electronic bk.)

Fundamental approaches to software engineering22nd 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 /
Fundamental approaches to software engineering22nd 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 /[electronic resource] :FASE 2019edited by Reiner Hahnle, Wil van der Aalst. - Cham :Springer International Publishing :2019. - xiii, 446 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,114240302-9743 ;. - Lecture notes in computer science ;4891..

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.

Open access.

This book is Open Access under a CC BY licence.

ISBN: 9783030167226$q(electronic bk.)

Standard No.: 10.1007/978-3-030-16722-6doiSubjects--Topical Terms:

253562
Software engineering

LC Class. No.: QA76.758 / .F37 2019

Dewey Class. No.: 005.1

Fundamental approaches to software engineering22nd 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 /
LDR:03319nmam 22003853 a 450 001 554439
003 DE-He213
005 20190403182119.0
006 m d
007 cr nn 008maaau
008 191118s2019 gw s 0 eng d
020 $a 9783030167226$q(electronic bk.)
020 $a 9783030167219$q(paper)
024 7 $a 10.1007/978-3-030-16722-6 $2 doi
035 $a 978-3-030-16722-6
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.758 $b .F37 2019
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
072 7 $a UMZ $2 thema
082 0 4 $a 005.1 $2 23
090 $a QA76.758 $b .F248 2019
111 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
245 1 0 $a Fundamental approaches to software engineering $h [electronic resource] : $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 / $c edited by Reiner Hahnle, Wil van der Aalst.
246 3 $a FASE 2019
246 3 $a ETAPS 2019,
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2019.
300 $a xiii, 446 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 11424
490 1 $a Theoretical computer science and general issues
505 0 $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.
506 $a Open access.
520 $a This book is Open Access under a CC BY licence.
650 0 $a Software engineering $3 253562
650 1 4 $a Software Engineering. $3 274511
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 274102
650 2 4 $a System Performance and Evaluation. $3 273898
650 2 4 $a The Computing Profession. $3 275271
650 2 4 $a Theory of Computation. $3 274475
650 2 4 $a Simulation and Modeling. $3 273719
700 1 $a Hahnle, Reiner. $3 260189
700 1 $a Aalst, Wil van der. $3 231490
710 2 $a SpringerLink (Online service) $3 273601
711 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
830 0 $a Theoretical computer science and general issues. $3 822018
856 4 0 $u https://doi.org/10.1007/978-3-030-16722-6
950 $a Computer Science (Springer-11645)