Title Software engineering and formal methods : SEFM 2019 collocated workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, revised selected papers / Javier Camara, Martin Steffan (eds.)

Published Cham, Switzerland : Springer, [2020]

Click on the following:
Springer eBooks
Springer Computer Science eBooks

Copies

Description 1 online resource Series Lecture Notes in Computer Science ; 12226 LNCS sublibrary: SL 2 Programming and software engineering Lecture notes in computer science ; 12226. LNCS sublibrary. SL 2, Programming and software engineering. Contents Software Engineering -- Software Technologies -- Model-Driven Engineering -- Formal Methods Summary he volume LNCS 12226 constitutes the revised selected papers from the four workshops collocated with the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019. The 13 full papers presented together with 7 short papers in this volume were carefully reviewed and selected from a total of 45 submissions. They stem from the following workshops: CoSim-CPS 2019 - 3rd International Workshop on Formal Co-Simulation of Cyber-Physical Systems; ASYDE 2019 -- 1st International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications; and FOCLASA 2019 -- 17th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems Notes Includes author index Online resource; title from digital title page (viewed on November 02, 2020) Subject Software engineering -- Congresses Formal methods (Computer science) -- Congresses Artificial intelligence. Natural language & machine translation. Algorithms & data structures. Systems analysis & design. Information retrieval. Computer science. Computers -- Intelligence (AI) & Semantics. Computers -- Speech & Audio Processing. Computers -- Hardware -- General. Computers -- Information Technology. Computers -- Computer Science. Software engineering Formal methods (Computer science) Application software Artificial intelligence Computer architecture Computer logic Computers Microprogramming Natural language processing (Computer science) Genre/Form proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès. Form Electronic book Author Cámara, Javier (Computer scientist), editor. Steffen, Martin, editor. CoSim-CPS (Workshop) (3rd : 2019 : Oslo, Norway), jointly held conference. ASYDE (Workshop) (2019 : Oslo, Norway), jointly held conference. CIFMA (Workshop) (2019 : Oslo, Norway), jointly held conference International Workshop on the Foundations of Coordination Languages and Software Architectures (17th : 2019 : Oslo, Norway), jointly held conference ISBN 9783030575069 3030575063

  Permalink