Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2005 | 10.1016/j.entcs.2005.03.004 | Electr. Notes Theor. Comput. Sci. |
Keywords | Field | DocType |
model-driven software engineering,standard protocol,formal methods,formal specification,software development,object modelling,model-driven,precise object model,data store,software engineering,object model,formal method | Programming language,Computer science,Object model,Formal specification,Implementation,Formal methods,Software requirements specification,Software verification and validation,Software development,Formal verification | Journal |
Volume | ISSN | Citations |
130, | Electronic Notes in Theoretical Computer Science | 14 |
PageRank | References | Authors |
0.75 | 1 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jim Davies | 1 | 673 | 80.95 |
Charles Crichton | 2 | 101 | 9.36 |
Edward Crichton | 3 | 27 | 2.04 |
David Neilson | 4 | 14 | 0.75 |
Ib Holm Sørensen | 5 | 14 | 0.75 |