规范发展的描述

[1993] Proceedings of the IEEE International Symposium on Requirements Engineering Pub Date : 1993-01-04 DOI:10.1109/ISRE.1993.324855

J. Souquières, N. Lévy

{"title":"规范发展的描述","authors":"J. Souquières, N. Lévy","doi":"10.1109/ISRE.1993.324855","DOIUrl":null,"url":null,"abstract":"A framework allowing the expression of both the incremental construction of a specification and the development process behind the construction (decisions and their rationale) is proposed. A data structure composed of a workplan and the product is introduced and used to model a specification development. The availability of development operators is a critical point of the specification development model. Operators encapsulate general problem solving strategies. Development operators are defined by their parallel action on the workplan, the product, and the links between them. The implementation of the proposed approach requires an environment managing the workplan and the current specification being built. The operators will be chosen via menus dynamically defined according to the current task type.<<ETX>>","PeriodicalId":375368,"journal":{"name":"[1993] Proceedings of the IEEE International Symposium on Requirements Engineering","volume":"96 9","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1993-01-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"31","resultStr":"{\"title\":\"Description of specification developments\",\"authors\":\"J. Souquières, N. Lévy\",\"doi\":\"10.1109/ISRE.1993.324855\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A framework allowing the expression of both the incremental construction of a specification and the development process behind the construction (decisions and their rationale) is proposed. A data structure composed of a workplan and the product is introduced and used to model a specification development. The availability of development operators is a critical point of the specification development model. Operators encapsulate general problem solving strategies. Development operators are defined by their parallel action on the workplan, the product, and the links between them. The implementation of the proposed approach requires an environment managing the workplan and the current specification being built. The operators will be chosen via menus dynamically defined according to the current task type.<<ETX>>\",\"PeriodicalId\":375368,\"journal\":{\"name\":\"[1993] Proceedings of the IEEE International Symposium on Requirements Engineering\",\"volume\":\"96 9\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1993-01-04\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"31\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"[1993] Proceedings of the IEEE International Symposium on Requirements Engineering\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ISRE.1993.324855\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"[1993] Proceedings of the IEEE International Symposium on Requirements Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISRE.1993.324855","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 31

摘要

提出了一个框架，允许表达规范的增量构造和构造背后的开发过程(决策及其基本原理)。介绍了由工作计划和产品组成的数据结构，并将其用于规范开发的建模。开发操作符的可用性是规范开发模型的关键点。操作符封装了一般的问题解决策略。开发操作者是由他们在工作计划、产品和它们之间的联系上的并行操作来定义的。所建议的方法的实施需要一个管理工作计划和正在构建的当前规范的环境。操作符将通过根据当前任务类型动态定义的菜单来选择。

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

查看原文本刊更多论文

Description of specification developments

A framework allowing the expression of both the incremental construction of a specification and the development process behind the construction (decisions and their rationale) is proposed. A data structure composed of a workplan and the product is introduced and used to model a specification development. The availability of development operators is a critical point of the specification development model. Operators encapsulate general problem solving strategies. Development operators are defined by their parallel action on the workplan, the product, and the links between them. The implementation of the proposed approach requires an environment managing the workplan and the current specification being built. The operators will be chosen via menus dynamically defined according to the current task type.<>

求助全文

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

来源期刊

[1993] Proceedings of the IEEE International Symposium on Requirements Engineering

自引率

0.00%

发文量