Paper Info
Title
The SLCO Framework for Verified, Model-Driven Construction of Component Software.
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.
Year
Venue
Field
2018
FACS
Domain-specific language,Software engineering,Computer science,Software,Formal methods,Component-based software engineering
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
15
3
Name
Order
Citations
PageRank
Sander de Putter172.50
Anton Wijs220322.84
Dan Zhang341.79