On the effectiveness of slicing hierarchical state machines: A case study: A case study

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

13 Scopus citations

Abstract

Formal specifications can be hundreds of pages in length-a reflection of the size and complexity of the systems being specified. Lengthy documents are difficult to read understand, and use. Program slicing was developed to address these issues for programs. The authors apply similar techniques to formal specifications expressed as hierarchical state machines. They present a two tiered approach to slicing (or simplification) of hierarchical state machines. They have applied their techniques to a large case study and present empirical data highlighting the reduction and simplification capabilities of their approach to large specifications.

Original languageEnglish (US)
Title of host publicationProceedings - 24th EUROMICRO Conference, EURMIC 1998
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages435-444
Number of pages10
Volume1
ISBN (Electronic)0818686464, 9780818686467
DOIs
StatePublished - 1998
Event24th EUROMICRO Conference, EURMIC 1998 - Vasteras, Sweden
Duration: Aug 25 1998Aug 27 1998

Other

Other24th EUROMICRO Conference, EURMIC 1998
CountrySweden
CityVasteras
Period8/25/988/27/98

Fingerprint Dive into the research topics of 'On the effectiveness of slicing hierarchical state machines: A case study: A case study'. Together they form a unique fingerprint.

Cite this