Abstract
We present the Simple Language of Communicating Objects (Slco) framework, which has resulted from our research on applying formal methods for correct and efficient model-driven development of multi-component software. At the core is a domain specific language called Slco that specifies software behaviour. In this paper, we discuss the language, give an overview of the features of the framework, and discuss our roadmap for the future.
Cite
CITATION STYLE
de Putter, S., Wijs, A., & Zhang, D. (2018). The SLCO framework for verified, model-driven construction of component software. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 11222 LNCS, pp. 288–296). Springer Verlag. https://doi.org/10.1007/978-3-030-02146-7_15
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
