Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design最新文献

筛选

英文中文

Predicting operational behaviour of abstract programs during formal developments 在正式开发过程中预测抽象程序的操作行为

Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design Pub Date : 1993-12-06 DOI: 10.1109/IWSSD.1993.315501

Y. Ait-Ameur

{"title":"Predicting operational behaviour of abstract programs during formal developments","authors":"Y. Ait-Ameur","doi":"10.1109/IWSSD.1993.315501","DOIUrl":"https://doi.org/10.1109/IWSSD.1993.315501","url":null,"abstract":"Several formal approaches for the development of programs have been suggested including the transformational approach which allows to express formal developments as a linear equational proof. These developments lead to produce on the one hand the suited program satisfying its formal initial specifications and, on the other hand, the proof of correctness of this development. In most of the cases, this correctness is concerned with only functional aspects. Operational aspects are taken into account intuitively. This paper deals with nonfunctional correction of software. We suggest a transformational approach which allows the developer to produce cost expressions that can be interpreted in order to evaluate and get the benefit yielded by a given transformation application. These cost expressions are correctly associated to the intermediate objects of the development (abstract programs). We present a classification of the properties which are studied during the development phase and the correct formal transformational process allowing to get a particular evaluator for each kind of nonfunctional properties. Applications are given as well.<<ETX>>","PeriodicalId":259574,"journal":{"name":"Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-12-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127605915","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 2

An active hypertext model for system requirements 系统需求的活动超文本模型

Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design Pub Date : 1993-12-06 DOI: 10.1109/IWSSD.1993.315512

C. Potts, Kenji Takahashi

引用次数: 36

An incremental approach to reachability analysis of distributed programs 分布式程序可达性分析的增量方法

Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design Pub Date : 1993-12-06 DOI: 10.1109/IWSSD.1993.315504

K. Tai, P. Koppol

引用次数: 34

首页上一页