Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development

Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli, Ulrich Freund, Erhard Schlenker, Hans-Jörg Wolff. Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development. In 2005 Design, Automation and Test in Europe Conference and Exposition (DATE 2005), 7-11 March 2005, Munich, Germany. pages 1044-1049, IEEE Computer Society, 2005. [doi]

@inproceedings{BaleaniFMSFSW05,
  title = {Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development},
  author = {Massimo Baleani and Alberto Ferrari and Leonardo Mangeruca and Alberto L. Sangiovanni-Vincentelli and Ulrich Freund and Erhard Schlenker and Hans-Jörg Wolff},
  year = {2005},
  doi = {10.1109/DATE.2005.105},
  url = {http://doi.ieeecomputersociety.org/10.1109/DATE.2005.105},
  tags = {model-to-model transformation, meta-model, embedded software, model-driven development, source-to-source, model transformation, Meta-Environment, design, transformation},
  researchr = {https://researchr.org/publication/BaleaniFMSFSW05},
  cites = {0},
  citedby = {0},
  pages = {1044-1049},
  booktitle = {2005 Design, Automation and Test in Europe Conference and Exposition (DATE 2005), 7-11 March  2005, Munich, Germany},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2288-2},
}