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.).
Material type:
TextSeries: Lecture notes in computer science ; 12226. | LNCS sublibrary. SL 2, Programming and software engineering.Publisher: Cham, Switzerland : Springer, [2020]Description: 1 online resourceContent type: - text
- computer
- online resource
- 9783030575069
- 3030575063
- Software engineering -- Congresses
- Formal methods (Computer science) -- Congresses
- Génie logiciel -- Congrès
- Méthodes formelles (Informatique) -- Congrès
- 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)
- 005.1 23
- QA76.758 .S64 2020
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
eBook
|
e-Library | eBook LNCS | Available |
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.
Includes author index.
Online resource; title from digital title page (viewed on November 02, 2020).
Software Engineering -- Software Technologies -- Model-Driven Engineering -- Formal Methods.