loading
Papers Papers/2020

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Kevin Lano 1 and Shekoufeh Kolahdouz-Rahimi 2

Affiliations: 1 King’s College London, United Kingdom ; 2 King's College London, United Kingdom

Keyword(s): Model-driven Development, Agile Development, Software Synthesis.

Related Ontology Subjects/Areas/Topics: Applications and Software Development ; Model Execution and Simulation ; Model Transformation ; Model-Driven Software Development ; Models ; Paradigm Trends ; Software Engineering

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 34.207.230.188

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Lano, K. and Kolahdouz-Rahimi, S. (2012). Synthesis of Software from Logical Constraints. In Proceedings of the 7th International Conference on Software Paradigm Trends - ICSOFT, ISBN 978-989-8565-19-8; ISSN 2184-2833, pages 355-358. DOI: 10.5220/0004101903550358

@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 - ICSOFT,},
year={2012},
pages={355-358},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004101903550358},
isbn={978-989-8565-19-8},
issn={2184-2833},
}

TY - CONF

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

0123movie.net