Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Tristan Schäfer"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 301, Iss Proc. PxTP 2019, Pp 51-65 (2019)
We introduce an approach that aims to combine the usage of satisfiability modulo theories (SMT) solvers with the Combinatory Logic Synthesizer (CL)S framework. (CL)S is a tool for the automatic composition of software components from a user-specified
Externí odkaz:
https://doaj.org/article/9136cd5bcbe0401ab50c41c736710019
Publikováno v:
Algorithmic Foundations of Robotics XV ISBN: 9783031210891
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b01a0d0b7ce1d44b9f64219d12a7b048
https://doi.org/10.1007/978-3-031-21090-7_3
https://doi.org/10.1007/978-3-031-21090-7_3
Publikováno v:
Procedia CIRP. 104:918-923
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7c4da4cb89832ac6f405e5973230e2c8
https://doi.org/10.1016/j.procir.2021.11.154
https://doi.org/10.1016/j.procir.2021.11.154
Autor:
Jakob Rehof, Frederik Möller, Norbert Weißenberg, Marcus Hintze, Yevgen Pikus, Tristan Schäfer, Anja Burmann
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030034269
ISoLA (4)
ISoLA (4)
Combinatory Process Synthesis (CPS) is a special case of software synthesis that can be used to manage variability by synthetizing target-specific processes from a repository of components. While conducted CPS research mainly addresses formal aspects
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d97d7f32ffd6ed04af5d365b94597450
https://doi.org/10.1007/978-3-030-03427-6_35
https://doi.org/10.1007/978-3-030-03427-6_35
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030034269
ISoLA (4)
ISoLA (4)
Increasing competition, stronger customer focus, shorter product lifecycles and accelerated technological developments imply that companies are faced with the challenge of adapting their own production to the circumstances at ever shorter intervals.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::75e3df7ad3dd099e737eabd071d04d79
https://doi.org/10.1007/978-3-030-03427-6_36
https://doi.org/10.1007/978-3-030-03427-6_36