面向对象的自然语言需求规范

Proceedings 23rd Australasian Computer Science Conference. ACSC 2000 (Cat. No.PR00518) Pub Date : 2000-01-31 DOI:10.1109/ACSC.2000.824376

B. Bryant

{"title":"面向对象的自然语言需求规范","authors":"B. Bryant","doi":"10.1109/ACSC.2000.824376","DOIUrl":null,"url":null,"abstract":"A methodology is proposed for the formal development of software systems from a user's requirements specification in natural language into a complete implementation, proceeding through the steps of formal specification, and detailed design and implementation in an automated manner. Our methodology is based upon the theories of two-level grammar (TLG) and object-oriented design and takes advantage of the existence of several existing software design tools. We develop an iterative transformation process from the natural language specification into the final implementation, with a specification development environment to assist the user, as well as the designer in accomplishing this transformation. Our underlying formal specification methodology may also be used in the final development of the implementation. This methodology is a major advance in object-oriented software development and the software engineering process in general.","PeriodicalId":304540,"journal":{"name":"Proceedings 23rd Australasian Computer Science Conference. ACSC 2000 (Cat. No.PR00518)","volume":"10 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2000-01-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"40","resultStr":"{\"title\":\"Object-oriented natural language requirements specification\",\"authors\":\"B. Bryant\",\"doi\":\"10.1109/ACSC.2000.824376\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A methodology is proposed for the formal development of software systems from a user's requirements specification in natural language into a complete implementation, proceeding through the steps of formal specification, and detailed design and implementation in an automated manner. Our methodology is based upon the theories of two-level grammar (TLG) and object-oriented design and takes advantage of the existence of several existing software design tools. We develop an iterative transformation process from the natural language specification into the final implementation, with a specification development environment to assist the user, as well as the designer in accomplishing this transformation. Our underlying formal specification methodology may also be used in the final development of the implementation. This methodology is a major advance in object-oriented software development and the software engineering process in general.\",\"PeriodicalId\":304540,\"journal\":{\"name\":\"Proceedings 23rd Australasian Computer Science Conference. ACSC 2000 (Cat. No.PR00518)\",\"volume\":\"10 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2000-01-31\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"40\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings 23rd Australasian Computer Science Conference. ACSC 2000 (Cat. No.PR00518)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ACSC.2000.824376\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings 23rd Australasian Computer Science Conference. ACSC 2000 (Cat. No.PR00518)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ACSC.2000.824376","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 40

摘要

提出了一种软件系统的形式化开发方法，从自然语言的用户需求规范到完整的实现，通过形式化规范的步骤，以自动化的方式进行详细的设计和实现。我们的方法基于两级语法(TLG)和面向对象设计的理论，并利用了几个现有的软件设计工具。我们开发了一个从自然语言规范到最终实现的迭代转换过程，并使用规范开发环境来帮助用户和设计人员完成此转换。我们的底层正式规范方法也可以在实现的最终开发中使用。这种方法是面向对象软件开发和软件工程过程的主要进步。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Object-oriented natural language requirements specification

A methodology is proposed for the formal development of software systems from a user's requirements specification in natural language into a complete implementation, proceeding through the steps of formal specification, and detailed design and implementation in an automated manner. Our methodology is based upon the theories of two-level grammar (TLG) and object-oriented design and takes advantage of the existence of several existing software design tools. We develop an iterative transformation process from the natural language specification into the final implementation, with a specification development environment to assist the user, as well as the designer in accomplishing this transformation. Our underlying formal specification methodology may also be used in the final development of the implementation. This methodology is a major advance in object-oriented software development and the software engineering process in general.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings 23rd Australasian Computer Science Conference. ACSC 2000 (Cat. No.PR00518)

自引率

0.00%

发文量