Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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.

Software engineering. --- Special purpose computers. --- Microprogramming . --- Architecture, Computer. --- Computers. --- Artificial intelligence. --- Software Engineering. --- Special Purpose and Application-Based Systems. --- Control Structures and Microprogramming. --- Computer System Implementation. --- Information Systems and Communication Service. --- Artificial Intelligence. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Architecture, Computer --- Computer programming --- Special purpose computers --- Computers --- Computer software engineering --- Engineering --- Software Engineering --- Special Purpose and Application-Based Systems --- Control Structures and Microprogramming --- Computer System Implementation --- Information Systems and Communication Service --- Artificial Intelligence --- open access --- software engineering --- requirements engineering --- model-based design --- software analysis --- testing --- software architectures --- security --- model transformations --- software evolution --- software product lines --- architecting --- artificial intelligence --- computer programming --- computer systems --- embedded systems --- mathematics --- software architecture --- software design --- Expert systems / knowledge-based systems --- Algorithms & data structures --- Systems analysis & design --- Computer networking & communications --- Artificial intelligence --- Computers, Special purpose. --- Microprogramming. --- Computer systems. --- Computer networks. --- Computer Communication Networks. --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- ADP systems (Computer systems) --- Computing systems --- Systems, Computer --- Distributed processing

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer science --- Programming --- Computer architecture. Operating systems --- Computer. Automation --- programmeren (informatica) --- programmeertalen --- software engineering --- OS (operating system) --- computernetwerken

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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.

Programming --- Computer architecture. Operating systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- computers --- hardware --- programmeertalen --- software engineering --- KI (kunstmatige intelligentie) --- architectuur (informatica) --- AI (artificiële intelligentie)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume contains the proceedings of the 8th IFIP International Conf- enceonFormalMethodsforOpenObject-basedDistributedSystems(FMOODS 2006). The conference was held in Bologna, Italy, 14-16 June 2006, as part of the federated multiconference DisCoTec (Distributed Computing Techniques), together with the 8th International Conference on Coordination Models and Languages (COORDINATION) and the 6th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS). DisCoTec was organizedby the Department of Computer Science of the University of Bologna. Established in 1996, the FMOODS series of conferences aims to provide an integratedforum for researchon formalaspects of open object-baseddistributed systems. The FMOODS 2006 especially attracted novel contributions re?ecting recent developments in the area, such as component- and model-based design, service-oriented computing, and software quality. Some more speci?c topics of interest were: semantics and implementation of object-oriented programming and (visual) modelling languages; formal techniques for speci?cation, design, analysis,veri?cation,validation and testing; formal methods for service-oriented computing;andintegrationofqualityofservicerequirementsintoformalmodels. These proceedings contain a selection of 16 research contributions, out of 51 submissions, which went through a rigorous review process by international reviewers.We therefore owe special thanks to all members of the ProgramC- mittee, and their sub-referees,for the excellent work they have done in the short time they had. Additionally, these proceedings include three invited papers by Pierpaolo Degano (University of Pisa), Jos´ e Luiz Fiadeiro (University of Leicester) and Davide Sangiorgi (University of Bologna).

Computer science --- Programming --- Computer architecture. Operating systems --- Computer. Automation --- programmeren (informatica) --- programmeertalen --- software engineering --- OS (operating system) --- computernetwerken

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Programming --- Computer architecture. Operating systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- hardware --- programmeertalen --- software engineering --- KI (kunstmatige intelligentie) --- architectuur (informatica)