Synthesis of Software from Logical Constraints

Kevin Lano; Shekoufeh Kolahdouz-Rahimi

Research.Publish.Connect.

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

Synthesis of Software from Logical Constraints

Topics: Model Execution and Simulation; Model Transformation

In Proceedings of the 7th International Conference on Software Paradigm Trends ICSOFT - Volume 1, 355-358, 2012 , Rome, Italy

Authors: Kevin Lano ¹ and Shekoufeh Kolahdouz-Rahimi ²

Affiliations: ¹ King’s College London, United Kingdom ; ² 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

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

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

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, SciTePress, 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
PB - SciTePress