71 citations · 110 across the 18 of their papers we have counts for
3 papers · 1 filter
Syntheto: A Surface Language for APT and ACL2
Alessandro Coglio, Eric McCarthy, Stephen Westfold +3
Syntheto is a surface language for carrying out formally verified program synthesis by transformational refinement in ACL2 using the APT toolkit. Syntheto aims at providing more fa…
Workflow Automation for Cyber Physical System Development Processes
Charles Hartsell, Nagabhushan Mahadevan, Harmon Nine +3
Development of Cyber Physical Systems (CPSs) requires close interaction between developers with expertise in many domains to achieve ever-increasing demands for improved performanc…
Metamodelling: State of the Art and Research Challenges
Jonathan Sprinkle, Bernhard Rumpe, Hans Vangheluwe +1
This chapter discusses the current state of the art, and emerging research challenges, for metamodelling. In the state-of-the-art review on metamodelling, we review approaches, abs…