SCADE 6: A formal language for embedded critical software development (invited paper).

Jean-Louis Colaço Bruno Pagano Marc Pouzet

Published in: TASE (2017)

Keyphrases

invited paper
formal language
software development
formal semantics
natural language interface
natural language
software engineering
representation language
software architecture
software systems
real world
case study
database
fine grained
development process
machine learning
databases