Formality, evolution, and model-driven software engineering
<p>This paper introduces an approach to software development in which a series of working implemen- tations are generated automatically from a series of formal specifications. The implementations are data stores, communicating through standard protocols. The specifications are precise object m...
| Main Authors: | , , , , |
|---|---|
| Format: | Journal article |
| Language: | English |
| Published: |
Elsevier
2005
|
| Subjects: |
| _version_ | 1826274787628941312 |
|---|---|
| author | Davies, J Crichton, C Crichton, E Neilson, D Sørensen, I |
| author_facet | Davies, J Crichton, C Crichton, E Neilson, D Sørensen, I |
| author_sort | Davies, J |
| collection | OXFORD |
| description | <p>This paper introduces an approach to software development in which a series of working implemen- tations are generated automatically from a series of formal specifications. The implementations are data stores, communicating through standard protocols. The specifications are precise object models, in which operations are described in terms of pre- and post-conditions. The approach is evolutionary, in the sense that the specification may evolve while the system is in use, in response to changes in requirements, and any changes to the specification are automatically reflected in the structure of the implementation, and in the representation of any data currently stored.</p> |
| first_indexed | 2024-03-06T22:48:44Z |
| format | Journal article |
| id | oxford-uuid:5e1757ce-f929-417c-b152-6d8096e6c495 |
| institution | University of Oxford |
| language | English |
| last_indexed | 2024-03-06T22:48:44Z |
| publishDate | 2005 |
| publisher | Elsevier |
| record_format | dspace |
| spelling | oxford-uuid:5e1757ce-f929-417c-b152-6d8096e6c4952022-03-26T17:38:23ZFormality, evolution, and model-driven software engineeringJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:5e1757ce-f929-417c-b152-6d8096e6c495ComputingComputer science (mathematics)Technology and Applied SciencesEnglishOxford University Research Archive - ValetElsevier2005Davies, JCrichton, CCrichton, ENeilson, DSørensen, I<p>This paper introduces an approach to software development in which a series of working implemen- tations are generated automatically from a series of formal specifications. The implementations are data stores, communicating through standard protocols. The specifications are precise object models, in which operations are described in terms of pre- and post-conditions. The approach is evolutionary, in the sense that the specification may evolve while the system is in use, in response to changes in requirements, and any changes to the specification are automatically reflected in the structure of the implementation, and in the representation of any data currently stored.</p> |
| spellingShingle | Computing Computer science (mathematics) Technology and Applied Sciences Davies, J Crichton, C Crichton, E Neilson, D Sørensen, I Formality, evolution, and model-driven software engineering |
| title | Formality, evolution, and model-driven software engineering |
| title_full | Formality, evolution, and model-driven software engineering |
| title_fullStr | Formality, evolution, and model-driven software engineering |
| title_full_unstemmed | Formality, evolution, and model-driven software engineering |
| title_short | Formality, evolution, and model-driven software engineering |
| title_sort | formality evolution and model driven software engineering |
| topic | Computing Computer science (mathematics) Technology and Applied Sciences |
| work_keys_str_mv | AT daviesj formalityevolutionandmodeldrivensoftwareengineering AT crichtonc formalityevolutionandmodeldrivensoftwareengineering AT crichtone formalityevolutionandmodeldrivensoftwareengineering AT neilsond formalityevolutionandmodeldrivensoftwareengineering AT sørenseni formalityevolutionandmodeldrivensoftwareengineering |