Cover Image
Read Now

Fundamental Approaches to Software Engineering 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

This open access book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Full description

Bibliographic Details
Other Authors: Wehrheim, Heike (Editor), Cabot, Jordi (Editor)
Format: eBook
Language:English
Published: Cham Springer International Publishing 2020, 2020
Edition:1st ed. 2020
Series:Theoretical Computer Science and General Issues
Subjects:
Computer Communication Networks
Microprogramming 
Computer Systems
Software Engineering
Computer System Implementation
Artificial Intelligence
Computer Networks 
Control Structures And Microprogramming
Special Purpose And Application-based Systems
Computers, Special Purpose
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
LEADER 02634nmm a2200409 u 4500
001 EB001896264
003 EBX01000000000000001059270
005 00000000000000.0
007 cr|||||||||||||||||||||
008 200506 ||| eng
020 |a 9783030452346 
100 1 |a Wehrheim, Heike  |e [editor] 
245 0 0 |a Fundamental Approaches to Software Engineering  |h Elektronische Ressource  |b 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings  |c edited by Heike Wehrheim, Jordi Cabot 
250 |a 1st ed. 2020 
260 |a Cham  |b Springer International Publishing  |c 2020, 2020 
300 |a XIII, 552 p. 1 illus  |b online resource 
505 0 |a Requirements engineering -- Software architectures -- Specification -- Software quality -- Validation -- Verification of functional and non-functional properties -- Model-driven development and model transformation -- Software processes -- Security and software evolution 
653 |a Computer Communication Networks 
653 |a Microprogramming  
653 |a Computer systems 
653 |a Software engineering 
653 |a Computer System Implementation 
653 |a Artificial Intelligence 
653 |a Software Engineering 
653 |a Computer networks  
653 |a Control Structures and Microprogramming 
653 |a Artificial intelligence 
653 |a Special Purpose and Application-Based Systems 
653 |a Computers, Special purpose 
700 1 |a Cabot, Jordi  |e [editor] 
041 0 7 |a eng  |2 ISO 639-2 
989 |b Springer  |a Springer eBooks 2005- 
490 0 |a Theoretical Computer Science and General Issues 
028 5 0 |a 10.1007/978-3-030-45234-6 
856 4 0 |u https://doi.org/10.1007/978-3-030-45234-6?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 005.1 
520 |a This open access book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 23 full papers, 1 tool paper and 6 testing competition papers presented in this volume were carefully reviewed and selected from 81 submissions. The papers cover topics such as requirements engineering, software architectures, specification, software quality, validation, verification of functional and non-functional properties, model-driven development and model transformation, software processes, security and software evolution 

Similar Items