Login / Signup
A formal framework-based K-Maude for modelling scalable software architectures.
Sahar Smaali
Aïcha Choutri
Faïza Belala
Published in:
Int. J. Comput. Aided Eng. Technol. (2019)
Keyphrases
</>
software architecture
lightweight
formal model
embedded software
main contribution
formal specification
description language
software engineering
logic programs
software systems
reference model
reference architecture