/spl chi/-SCTL/MUS:一种发展多角度软件需求规范的正式方法

Proceedings - International Conference on Software Engineering. International Conference on Software Engineering Pub Date : 2004-05-23 DOI:10.1109/ICSE.2004.1317427

Ana Belén Barragáns Martínez, J. Arias

{"title":"/spl chi/-SCTL/MUS:一种发展多角度软件需求规范的正式方法","authors":"Ana Belén Barragáns Martínez, J. Arias","doi":"10.1109/ICSE.2004.1317427","DOIUrl":null,"url":null,"abstract":"The objective of this thesis is to extend the formal methodology of refinement of requirements specifications SCTL/MUS to a multi-perspective environment where coexist requirements specifications which belong to each stakeholder involved in the software development of the system. To reach this goal, the new methodology (referred to as /spl chi/-SCTL/MUS) bets on using a viewpoint-based approach which allows to gather and maintain (possibly inconsistent and incomplete) information gathered from multiple sources. It explicitly separates the descriptions provided by different stakeholders, and concentrates on identifying and resolving conflicts between them.","PeriodicalId":91595,"journal":{"name":"Proceedings - International Conference on Software Engineering. International Conference on Software Engineering","volume":"218 1","pages":"72-74"},"PeriodicalIF":0.0000,"publicationDate":"2004-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"/spl chi/-SCTL/MUS: a formal methodology to evolve multi-perspective software requirements specifications\",\"authors\":\"Ana Belén Barragáns Martínez, J. Arias\",\"doi\":\"10.1109/ICSE.2004.1317427\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The objective of this thesis is to extend the formal methodology of refinement of requirements specifications SCTL/MUS to a multi-perspective environment where coexist requirements specifications which belong to each stakeholder involved in the software development of the system. To reach this goal, the new methodology (referred to as /spl chi/-SCTL/MUS) bets on using a viewpoint-based approach which allows to gather and maintain (possibly inconsistent and incomplete) information gathered from multiple sources. It explicitly separates the descriptions provided by different stakeholders, and concentrates on identifying and resolving conflicts between them.\",\"PeriodicalId\":91595,\"journal\":{\"name\":\"Proceedings - International Conference on Software Engineering. International Conference on Software Engineering\",\"volume\":\"218 1\",\"pages\":\"72-74\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2004-05-23\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings - International Conference on Software Engineering. International Conference on Software Engineering\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICSE.2004.1317427\",\"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 - International Conference on Software Engineering. International Conference on Software Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICSE.2004.1317427","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 2

摘要

本文的目的是将需求规范SCTL/MUS细化的正式方法扩展到一个多视角的环境中，在这个环境中，属于系统软件开发中涉及的每个涉众的需求规范共存。为了实现这一目标，新的方法(称为/spl chi/-SCTL/MUS)采用了一种基于观点的方法，这种方法允许收集和维护从多个来源收集的信息(可能不一致和不完整)。它明确地分离了不同涉众提供的描述，并专注于识别和解决它们之间的冲突。

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

查看原文本刊更多论文

/spl chi/-SCTL/MUS: a formal methodology to evolve multi-perspective software requirements specifications

The objective of this thesis is to extend the formal methodology of refinement of requirements specifications SCTL/MUS to a multi-perspective environment where coexist requirements specifications which belong to each stakeholder involved in the software development of the system. To reach this goal, the new methodology (referred to as /spl chi/-SCTL/MUS) bets on using a viewpoint-based approach which allows to gather and maintain (possibly inconsistent and incomplete) information gathered from multiple sources. It explicitly separates the descriptions provided by different stakeholders, and concentrates on identifying and resolving conflicts between them.

求助全文

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

来源期刊

Proceedings - International Conference on Software Engineering. International Conference on Software Engineering

CiteScore

7.60

自引率

0.00%

发文量