Specification slicing in formal methods of software development

Tomohiro Oda, Keijiro Araki

Research output: Chapter in Book/Report/Conference proceedingConference contribution

24 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationProceedings - IEEE Computer Society's International Computer Software & Applications Conference
Editors Anon
PublisherPubl by IEEE
Pages313-319
Number of pages7
ISBN (Print)0818644400
Publication statusPublished - 1993
EventProceedings of the 17th Annual International Computer Software & Applications Conference - COMPSAC 93 - Phoenix, AZ, USA
Duration: Nov 1 1993Nov 5 1993

Other

OtherProceedings 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

Fingerprint Dive into the research topics of 'Specification slicing in formal methods of software development'. Together they form a unique fingerprint.

Cite this