TY - BOOK ID - 64920313 TI - 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 AU - Wehrheim, Heike AU - Wehrheim, Heike. AU - Cabot, Jordi. PY - 2020 SN - 3030452344 3030452336 PB - Cham : Springer International Publishing : Imprint: Springer, DB - UniCat KW - Software engineering. KW - Special purpose computers. KW - Microprogramming . KW - Architecture, Computer. KW - Computers. KW - Artificial intelligence. KW - Software Engineering. KW - Special Purpose and Application-Based Systems. KW - Control Structures and Microprogramming. KW - Computer System Implementation. KW - Information Systems and Communication Service. KW - Artificial Intelligence. KW - AI (Artificial intelligence) KW - Artificial thinking KW - Electronic brains KW - Intellectronics KW - Intelligence, Artificial KW - Intelligent machines KW - Machine intelligence KW - Thinking, Artificial KW - Bionics KW - Cognitive science KW - Digital computer simulation KW - Electronic data processing KW - Logic machines KW - Machine theory KW - Self-organizing systems KW - Simulation methods KW - Fifth generation computers KW - Neural computers KW - Automatic computers KW - Automatic data processors KW - Computer hardware KW - Computing machines (Computers) KW - Electronic calculating-machines KW - Electronic computers KW - Hardware, Computer KW - Computer systems KW - Cybernetics KW - Calculators KW - Cyberspace KW - Architecture, Computer KW - Computer programming KW - Special purpose computers KW - Computers KW - Computer software engineering KW - Engineering KW - Software Engineering KW - Special Purpose and Application-Based Systems KW - Control Structures and Microprogramming KW - Computer System Implementation KW - Information Systems and Communication Service KW - Artificial Intelligence KW - open access KW - software engineering KW - requirements engineering KW - model-based design KW - software analysis KW - testing KW - software architectures KW - security KW - model transformations KW - software evolution KW - software product lines KW - architecting KW - artificial intelligence KW - computer programming KW - computer systems KW - embedded systems KW - mathematics KW - software architecture KW - software design KW - Expert systems / knowledge-based systems KW - Algorithms & data structures KW - Systems analysis & design KW - Computer networking & communications KW - Artificial intelligence KW - Computers, Special purpose. KW - Microprogramming. KW - Computer systems. KW - Computer networks. KW - Computer Communication Networks. KW - Communication systems, Computer KW - Computer communication systems KW - Data networks, Computer KW - ECNs (Electronic communication networks) KW - Electronic communication networks KW - Networks, Computer KW - Teleprocessing networks KW - Data transmission systems KW - Digital communications KW - Electronic systems KW - Information networks KW - Telecommunication KW - Cyberinfrastructure KW - Network computers KW - ADP systems (Computer systems) KW - Computing systems KW - Systems, Computer KW - Distributed processing UR - https://www.unicat.be/uniCat?func=search&query=sysid:64920313 AB - 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. ER -