Skip to main content

Advertisement

Springer Nature Link
Log in

Design rationale for a wide spectrum specification language FGSPEC

  • Regular Papers
  • Published:
Journal of Computer Science and Technology Aims and scope Submit manuscript

    We’re sorry, something doesn't seem to be working properly.

    Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.

Abstract

FGSPEC is a wide spectrum specification language intended to facilitate the software specification and the expression of transformation process from the functional specification which describes “what to do” to the corresponding design (operational) specification which describes “how to do”. The design emphasizes the coherence of multi-level specification mechanisms and a tree structure model is provided which unifies the wide spectrum specification styles from “what” to “how”.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Explore related subjects

Discover the latest articles, news and stories from top researchers in related subjects.

References

  1. M. Hamilton and S. Zeldin, Higher order software—A methodology for defining software.IEEE. Trans. on Software Engineering, 1976, SE-2(1), 9–32.

    Article  MathSciNet  Google Scholar 

  2. M. Hamilton and S. Zeldin, The functional life cycle model and its automation: Use. ItJ. Systems and Software, 1983, 3(1), 25–62.

    Article  Google Scholar 

  3. M. Hamilton and S. Zeldin, Integrated Software Development System/Higher Order Software Conceptual Description. Research and Development Technical Report, ECOM_76_0329_f.

  4. Dai Min and Xu Jiafu, GSPEC: A graphical specification language for software.Science in China (Series A), 1989, (10), 1260–1269.

    Google Scholar 

  5. Lu Jian, Framework of algorithm correctness in NDADAS.Science in China (Series A), 1991, (7), 875–884.

    MathSciNet  Google Scholar 

  6. F. L. Baueret al., The Munich Project CIP-L Vol. 1. The Wide Spectrum Language CIP-L. Lecture Notes in Computer Science, Vol. 183, 1985.

  7. Lu Jian, The design and implementation of algorithm design automation system NDADAS. Ph.D. dissertation, Nanjing University, 1988.

  8. Xu Jiafu, Dai Min and Lu Jian, From what to how.Advances in Chinese Computer Science, 1991, 3, 105–117.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Computer Software, Nanjing University, 210008, Nanjing

    Lu Jian & Xu Jiafu

Authors
  1. Lu Jian
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Xu Jiafu
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Jian, L., Jiafu, X. Design rationale for a wide spectrum specification language FGSPEC. J. of Compt. Sci. & Technol. 8, 138–146 (1993). https://doi.org/10.1007/BF02939476

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02939476

Keywords