Experience Report: Towards Moving Things with Types -- Helping Logistics Domain Experts to Control Cyber-Physical Systems with Type-Based Synthesis

One of the ultimate goals of software engineering is to leave virtual spaces and move real things. We take one step toward supporting users with this goal by connecting a type-based synthesis algorithm, (CL)S, and its IDE to a logistics lab environment. The environment is built and used by domain ex...

Full description

Saved in:

Bibliographic Details
Published in:	arXiv.org
Main Authors:	Bessai, Jan, Roidl, Moritz, Vasileva, Anna
Format:	Paper
Language:	English
Published:	Ithaca Cornell University Library, arXiv.org 23.12.2019
Subjects:	Algorithms Cyber-physical systems Laser applications Logistics Software engineering Subject specialists Synthesis
ISSN:	2331-8422
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!