摘要: A methodology is proposed for the formal development of software systems from a user's requirements specification in natural language into complete implementation, proceeding through steps specification, and detailed design implementation an automated manner. Our based upon theories two-level grammar (TLG) object-oriented takes advantage existence several existing tools. We develop iterative transformation process final with environment to assist user, as well designer accomplishing this transformation. underlying may also be used implementation. This major advance engineering general.
sci-hub.se 参考文章(17)
Norbert E. Fuchs, Rolf Schwitter, Attempto Controlled Natural Language for Requirements Specifications workshop on logic programming environments. ,(1995)
Ian Graham, Requirements engineering and rapid development ,(1998)
Grady Booch, James Rumbaugh, Ivar Jacobson, The unified software development process ,(1999)
Kendall Scott, Martin Fowler, UML distilled: applying the standard object modeling language Addison-Wesley Longman Ltd.. ,(1997)
Helmut A. Partsch, Specification and Transformation of Programs: A Formal Approach to Software Development ,(1990)
Alistair Cockburn, Structuring Use Cases with Goals ,(2000)
Norbert E. Fuchs, Rolf Schwitter, Attempto Controlled English (ACE) arXiv: Computation and Language. ,(1996)
Barrett R. Bryant, Aiqin Pan, Two-Level Grammar: A Funtional/Logic Query Language for Database and Knowledge-Base Systems international conference on logic programming. pp. 78- 83 ,(1992) , 10.1007/BFB0013050
Mads Tofte, Mads Tofte, Robert Harper, Robin Milner, The Definition of Standard ML ,(1990)
PA Swatman, PMC Swatman, Formal specification – an analytic tool for (management) information systems Information Systems Journal. ,vol. 2, pp. 121- 160 ,(1992) , 10.1111/J.1365-2575.1992.TB00071.X