Atjaunināt sīkdatņu piekrišanu

Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 1415, 2020, Revised Selected Papers 1st ed. 2021 [Mīkstie vāki]

Edited by , Edited by
  • Formāts: Paperback / softback, 335 pages, height x width: 235x155 mm, weight: 534 g, 77 Illustrations, color; 101 Illustrations, black and white; IX, 335 p. 178 illus., 77 illus. in color., 1 Paperback / softback
  • Sērija : Programming and Software Engineering 12524
  • Izdošanas datums: 17-Jan-2021
  • Izdevniecība: Springer Nature Switzerland AG
  • ISBN-10: 3030672190
  • ISBN-13: 9783030672195
Citas grāmatas par šo tēmu:
  • Mīkstie vāki
  • Cena: 46,91 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Standarta cena: 55,19 €
  • Ietaupiet 15%
  • Grāmatu piegādes laiks ir 3-4 nedēļas, ja grāmata ir uz vietas izdevniecības noliktavā. Ja izdevējam nepieciešams publicēt jaunu tirāžu, grāmatas piegāde var aizkavēties.
  • Daudzums:
  • Ielikt grozā
  • Piegādes laiks - 4-6 nedēļas
  • Pievienot vēlmju sarakstam
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 1415, 2020, Revised Selected Papers 1st ed. 2021Palielināt
  • Formāts: Paperback / softback, 335 pages, height x width: 235x155 mm, weight: 534 g, 77 Illustrations, color; 101 Illustrations, black and white; IX, 335 p. 178 illus., 77 illus. in color., 1 Paperback / softback
  • Sērija : Programming and Software Engineering 12524
  • Izdošanas datums: 17-Jan-2021
  • Izdevniecība: Springer Nature Switzerland AG
  • ISBN-10: 3030672190
  • ISBN-13: 9783030672195
Citas grāmatas par šo tēmu:
Permanent link: https://www.kriso.lv/db/9783030672195.html
This volume constitutes the revised selected papers from the three workshops collocated with the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020.





The 15 full papers presented together with 8 short papers in this volume were carefully reviewed and selected from a total of 35 submissions. The contributions that are collected in this volume have been selected from the presentations at the following workshops:





ASYDE 2020: Second International Workshop on Automated and Verifiable Software System Development; CIFMA 2020: Second International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications; and CoSim-CPS 2020: Fourth International Workshop on Formal Co-Simulation of Cyber-Physical Systems.





Due to the Corona pandemic this event was held virtually.
Model Translation from Papyrus-RT into the nuXmv Model Checker.-
Modeling and Verification of Temporal Constraints for Web Service
Composition.- Modeling Attack-Defense Trees Countermeasures using Continuous
Time Markov Chains.- Automated Validation of State-Based Client-Centric
Isolation with TLA+.- Code Coverage Aware Test Generation Using Constraint
Solver.- From Requirements to Verifiable Executable Models using Rebeca.- A
Pragmatic Model of Justification for Social Epistemology.- Personal Identity
and False Memories.- Against the Illusory Will Hypothesis. A Reinterpretation
of the Test Results from Daniel Wegner and Thalia Wheatleys I Spy
Experiment.- Understanding responses of individuals with ASD in syllogistic
and decision-making tasks: A formal study.- Symbolic and Statistical Theories
of Cognition: Towards Integrated Artificial Intelligence.- An
Interdisciplinary Model for Graphical Representation.- Information Retrieval
from Semantic Memory: BRDL-based Knowledge Representation and Maude-based
Computer Emulation.- A Multi-Agent Depth Bounded Boolean Logic.- The
intensional structure of epistemic convictions.- Short-circuiting the
definition of mathematical knowledge for an Artificial General Intelligence.-
Reasoning about Ignorance and Beliefs.- A Case Study on Formally Validating
Motion Rules for Autonomous Cars.- Modelling Train Driver Behaviour in
Railway Co-simulations.- Cross-level Co-simulation and Verification of an
Automatic Transmission Control on Embedded Processor.- A Semantic-Aware,
accurate and efficient API for (co-)simulation of CPS.- An FMI-Based
initialization plugin for INTO-CPS Maestro 2.- Introducing Regression Tests
and Upgrades to the INTO-CPS Application.- Cosimulation-based Control
Synthesis.