Specification slicing in formal methods of software development

Tomohiro Oda, Keijiro Araki

研究成果: Chapter in Book/Report/Conference proceedingConference contribution

24 被引用数 (Scopus)

抄録

Specifications are important in software development because a large percentage of the errors at implementation and test phases are traceable to a lack of precision of the specifications. Formal methods are studied and applied to produce clear specifications and argue about them rigorously. As formal methods may even increase the ratio of specification phase in the software life-cycle, it is necessary to be efficient in debugging, modification, and reuse of specifications to reduce cost of the whole software development process. In a large scale specification in particular, parts extracted from the specification are useful. We introduce here a specification slicing that supports debugging, modification and reuse of specifications. In this paper, we define specification slice as a part of a specification that defines or restricts values of a particular variable used in the specification. Attention is also directed to applications of specification slicing and support tools.

本文言語英語
ホスト出版物のタイトルProceedings - IEEE Computer Society's International Computer Software & Applications Conference
編集者 Anon
出版社Publ by IEEE
ページ313-319
ページ数7
ISBN(印刷版)0818644400
出版ステータス出版済み - 1993
イベントProceedings of the 17th Annual International Computer Software & Applications Conference - COMPSAC 93 - Phoenix, AZ, USA
継続期間: 11 1 199311 5 1993

その他

その他Proceedings of the 17th Annual International Computer Software & Applications Conference - COMPSAC 93
CityPhoenix, AZ, USA
Period11/1/9311/5/93

All Science Journal Classification (ASJC) codes

  • Software
  • Computer Science Applications

フィンガープリント 「Specification slicing in formal methods of software development」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル