Foclasa 2020

Link to the external website

About the workshop

Nowadays software systems are distributed, concurrent, mobile, and often involve the composition of heterogeneous components and stand-alone (micro)services. Service coordination, service orchestration and self-adaptation constitute the core characteristics of distributed and service-oriented systems. Theoretical/practical approaches to modelling and reasoning about …

more ...

Asyde 2020

Link to the external website

About the workshop

During the last three decades, automation in software development has gone mainstream. Software development teams strive to automate as much of the software development activities as possible. Automation helps, in fact, to reduce development time and cost, as well as to concentrate …

more ...

Cifma 2020

Link to the external website

About the workshop

Cognition encompasses many aspects of intellectual functions and processes such as attention, knowledge, memory, judgment, reasoning, problem solving, decision making, comprehension and production of language. Although it originated from the field of psychology, it goes beyond the individual human mind and behaviour …

more ...

CoSim-CPS 2020

Link to the external website

About the workshop

CoSim-CPS workshop focuses on the integrated application of formal methods and co-simulation technologies in the development of software for Cyber-Physical Systems. Co-simulation is an advanced simulation technique that allows developers to generate a global simulation of a complex system by orchestrating and …

more ...