{"title":"Formalising a derivation strategy for formal specifications from natural language requirements models","authors":"M. V. Mauco, M. Leonardi","doi":"10.1109/ISSPIT.2005.1577173","DOIUrl":null,"url":null,"abstract":"Natural language requirements models are useful during the first stages of software development. Formal methods help to increase software quality and reliability. In order to take advantage of both of them, we propose a requirements definition strategy which integrates them. We present in this paper the formalisation of a semiautomatic strategy to derive the types of a first initial specification in the RAISE specification language (RSL) from the Language Extended Lexicon (LEL), a natural language oriented model, which models the vocabulary of a domain. The strategy consists of a set of RSL-based derivation rules which provide a systematic and consistent way of transforming the information contained in the LEL into abstract and concrete RSL types","PeriodicalId":421826,"journal":{"name":"Proceedings of the Fifth IEEE International Symposium on Signal Processing and Information Technology, 2005.","volume":"125 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2005-12-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"16","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the Fifth IEEE International Symposium on Signal Processing and Information Technology, 2005.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISSPIT.2005.1577173","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 16
Abstract
Natural language requirements models are useful during the first stages of software development. Formal methods help to increase software quality and reliability. In order to take advantage of both of them, we propose a requirements definition strategy which integrates them. We present in this paper the formalisation of a semiautomatic strategy to derive the types of a first initial specification in the RAISE specification language (RSL) from the Language Extended Lexicon (LEL), a natural language oriented model, which models the vocabulary of a domain. The strategy consists of a set of RSL-based derivation rules which provide a systematic and consistent way of transforming the information contained in the LEL into abstract and concrete RSL types
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
