A synergistic interweaving of formal and informal methods

Wing Lok YEUNG, K. R. P. H. LEUNG

Research output: Book Chapters | Papers in Conference ProceedingsConference paper (refereed)

Abstract

In most studies of bridging between informal specifications, formal specifications are transformed from informal specifications after completion of specification of the whole system. Most of these formal specifications are used for rigorous study of the system in question, consistency checking, verification of behavior or support system synthesis. During the process of system specification, the strength of formal and informal methods are not complementing to each other. We identified a new specification approach which makes formal methods and informal methods complement each other to a greater extent. This new method interweaves formal methods with informal methods. We find out that this method leads to better quality of specifications, facilitate better changes management and maintenance. This is particular useful during initial specification of systems which is the first stage of specifying informal world in some formal languages. We report our preliminary findings of this novel approach in this paper and exemplify our approach with an example in JSD and CSP.
Original languageEnglish
Title of host publicationProceedings - IEEE Computer Society's International Computer Software and Applications Conference
Pages257-262
Number of pages6
DOIs
Publication statusPublished - 1 Jan 2003

    Fingerprint

Bibliographical note

Paper presented at the 27th Annual International Computer Software and Applications Conference, Nov 03-06, 2003, Dallas, Texas.

Keywords

  • CSP
  • Formal Methods
  • Informal Methods
  • JSD
  • Method Integration
  • Structured Methods

Cite this

YEUNG, W. L., & LEUNG, K. R. P. H. (2003). A synergistic interweaving of formal and informal methods. In Proceedings - IEEE Computer Society's International Computer Software and Applications Conference (pp. 257-262) https://doi.org/10.1109/CMPSAC.2003.1245351