Synthesis of Software from Logical Constraints

Kevin Lano, Shekoufeh Kolahdouz-Rahimi

2012

Abstract

This paper presents the case for constraints (requirements formalised as logical assertions) as the key starting point for software development. We describe how system development from such constraints can be automated.

References

  1. Drey, Z. and Faucher, C. and Fleurey, F. and Mahe, V. and Vojtisek, D., Kermeta Language Reference Manual, https://www.kermeta.org/docs/KerMeta-Manual.pdf, April, 2009.
  2. Kolahdouz-Rahimi, S. and Lano, K. and Pillay, S. and Troya, J. and Gorp, P. V. Goal-oriented measurement of model transformation methods, submitted to Science of Computer Programming, 2012.
  3. Lano, K. and Clark, D. and Androutsopoulos, K. Formal specification and verification of railway systems using UML, FORMS 2003.
  4. Lano, K. and Clark, D. and Androutsopoulos, K. RSDS: A subset of UML with precise semantics, L' Objet, vol. 9, no. 4, pp. 53-73, 2003.
  5. Lano, K. Constraint-driven development, Information and Systems Technology, 50, 2008, pp. 406-423.
  6. Lano, K. and Kolahdouz-Rahmi, S. Model migration transformation specification in UML-RSDS, TTC 2010.
  7. Lano, K. and Kolahdouz-Rahimi, S. Model-driven development of model transformations, ICMT 2011, 2011.
  8. Lano, K. and Kolahdouz-Rahimi, S. Slicing techniques for UML models, Journal of Object Technology, vol. 10, pp. 11: 1-49, 2011.
Download


Paper Citation


in Harvard Style

Lano K. and Kolahdouz-Rahimi S. (2012). Synthesis of Software from Logical Constraints . In Proceedings of the 7th International Conference on Software Paradigm Trends - Volume 1: ICSOFT, ISBN 978-989-8565-19-8, pages 355-358. DOI: 10.5220/0004101903550358


in Bibtex Style

@conference{icsoft12,
author={Kevin Lano and Shekoufeh Kolahdouz-Rahimi},
title={Synthesis of Software from Logical Constraints},
booktitle={Proceedings of the 7th International Conference on Software Paradigm Trends - Volume 1: ICSOFT,},
year={2012},
pages={355-358},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004101903550358},
isbn={978-989-8565-19-8},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 7th International Conference on Software Paradigm Trends - Volume 1: ICSOFT,
TI - Synthesis of Software from Logical Constraints
SN - 978-989-8565-19-8
AU - Lano K.
AU - Kolahdouz-Rahimi S.
PY - 2012
SP - 355
EP - 358
DO - 10.5220/0004101903550358