Skip to main content
SpringerLink
Log in

Formal specification using structured systems analysis

  • Formal Approaches
  • Conference paper
  • First Online:
ESEC '89 (ESEC 1989)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 387))

Included in the following conference series:

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. H. Alexander & B. Potter, ‘Case Study: The Use of Formal Specification and Rapid Prototyping to Establish Product Feasibility', Information and Software Technology, 29(7), September 1987, 388–394.

    Google Scholar 

  2. E. Astesiano, & G. Reggio, 'sMoLCS-Driven Concurrent Calculi', TAPSOFT '87, Eds H. Ehrig, R. Kowalski, G. Levi, & U. Montanari, Vol. 1, LNCS 249, Springer-Verlag, 1987, 169–201.

    Google Scholar 

  3. M. Broy, & M. Wirsing, ‘On The Algebraic Specification Of Finitary Infinite Communicating Sequential Processes', Formal Description of Programming Concepts-II, Eds D. Bjorner, North-Holland, IFIP, 1983, 171–198.

    Google Scholar 

  4. D. Bjørner, ‘On The Use of Formal Methods in Software Development', Proc. of the 9th Intl. Conf. on Software Engineering, March–April 1987, IEEE Computer Society Press, 1987, 17–29.

    Google Scholar 

  5. B. Boehm, T. E. Gray, & T. Seewalt, ‘Prototyping versus Specifying: A Multiproject Experiment', IEEE Transactions on Software Engineering, Vol. SE-10, No. 3, May 1984, 133–147.

    Google Scholar 

  6. G. Collins & G. Blay, Structured Systems Development Techniques: Strategic Planning to System Testing, Pitman, London, 1982.

    Google Scholar 

  7. A. M. Davis, ‘A Comparison of Techniques for the Specification of External System Behavior', Communications of the ACM, 31(9), September 1988, 1098–1115.

    Google Scholar 

  8. T. DeMarco, Structured Analysis and System Specification, Prentice-Hall, New Jersey, 1978.

    Google Scholar 

  9. T. W. G. Docker, ‘A Flexible Software Analysis Tool', Information and Software Technology, 29(1), January/February 1987, 21–26.

    Google Scholar 

  10. T. W. G. Docker, 'sAME — A Structured Analysis Tool and its Implementation in Prolog', Logic Programming, Eds R. A. Kowalski & K. A. Bowen, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, 15–19 August 1988, MIT Press, 82–95.

    Google Scholar 

  11. T. W. G. Docker, R. B. France, ‘Flexibility and Rigour in Structured Analysis', submitted for publication.

    Google Scholar 

  12. T. W. G. Docker & G. Tate, ‘Executable Data Flow Diagrams', in Software Engineering 86, Eds D. Barnes & P. Brown, Peter Peregrinus, London, 1986, 352–370.

    Google Scholar 

  13. J. H. Fetzer, ‘Program Verification: The Very Idea', Communications of the ACM, 31(9), September 1988, 1048–1063.

    Google Scholar 

  14. P. Freeman, ‘A Perspective on Requirements Analysis and Specification', in Tutorial on Software Design Techniques, Third Edition, Eds P. Freeman & A.I. Wasserman, IEEE, New York, 1980, 86–96.

    Google Scholar 

  15. R. B. France, & T. W. G. Docker, ‘The Picture Level: A Theory of Hierarchical Data Flow Diagrams', in preparation.

    Google Scholar 

  16. R. B. France, ‘The Specification Level: Deriving Formal Specifications from Hierarchical Data Flow Diagrams', in preparation.

    Google Scholar 

  17. Software Specification Techniques, Eds N. Gehani & A. D. McGettrick, Addison-Wesley, Workingham, 1986.

    Google Scholar 

  18. H. Gomaa, ‘A Software Design Method for Real-Time Systems', Communications of the ACM, Vol. 27, No. 9, Sept. 1984, 938–949.

    Google Scholar 

  19. C. Gane & T. Sarson, Structured Systems Analysis: Tools and Techniques, Prentice-Hall, New Jersey, 1979.

    Google Scholar 

  20. D. Hatley, & I. Pirbhai, 'strategies for Real-Time System Specification', Dorset House, 1987.

    Google Scholar 

  21. L. Mathiassen & A. Munk-Madsen, ‘Formalization in Systems Development', in Formal Methods and Software Development, Eds H. Ehrig, C. Floyd, M. Nivat & J. Thatcher, Vol. 2, Colloquium on Software Engineering, Lecture Notes in Computer Science, Vol. 186, Springer-Verlag, Berlin, March 1985, 101–116.

    Google Scholar 

  22. P. Naur, ‘Formalization in Program Development', BIT, Vol. 22, 1982, 437–453.

    Google Scholar 

  23. L. Peters, ‘Advanced Structured Analysis and Design', Prentice-Hall International Editions, 1988.

    Google Scholar 

  24. J. Post, ‘Application of a Structured Methodology to Real-Time Industrial Software Development', Software Engineering Journal, Vol. 1, No. 6, Nov. 1986, 222–235.

    Google Scholar 

  25. C.A. Richter, ‘An Assessment of Structured Analysis and Structured Design', in ‘Proceedings of an International Workshop on the Software Process and Software Environments', Eds J. C. Wileden & M. Dowson, Coto de Caza, California, 27–29 March 1985, SIGSOFT, Software Engineering Notes, 11(4), August 1986, 41–45.

    Google Scholar 

  26. P. Shoval, ‘ADISSA: Architectural design of Information Systems Based on Structured Analysis', Information Systems, Vol. 13, No. 2, 1988, 193–210.

    Google Scholar 

  27. G. Tate & T. W. G. Docker, ‘A Rapid Prototyping System Based on Data Flow Principles', SIGSOFT, Software Engineering Notes, 10(2), April 1985, 28–34.

    Google Scholar 

  28. T. Ward, ‘The Transformation Schema: An Extension Of The Data Flow Diagram To Represent Control And Timing', IEEE Transactions on Software Engineering, Vol. Se-12, No.2, February 1986, 198–210.

    Google Scholar 

  29. M. Wirsing, & M. Broy, ‘An Analysis of Semantic Models For Algebraic Specifications', Theoretical Foundations of Programming Methodology, Eds M. Broy, & G. Schmidt, NATO Advanced Study Series, Series C, Vol. 91, D. Reidel, 1982, 351–412.

    Google Scholar 

  30. M. Woodman, ‘Yourdon Dataflow Diagrams: A Tool for Disciplined Requirements Analysis', Information and Software Technology, Vol. 30, No. 9, Nov. 1988, 515–533.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Massey University, Palmerston North, New Zealand

    Robert B. France

  2. Cranfield Information Technology Institute, Fairways, Pitfield, Kiln Farm, MK11 3LG, Milton Keynes, United Kingdom

    Thomas W. G. Docker

Authors
  1. Robert B. France
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Thomas W. G. Docker
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

C. Ghezzi J. A. McDermid

Rights and permissions

Reprints and permissions

Copyright information

© 1989 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

France, R.B., Docker, T.W.G. (1989). Formal specification using structured systems analysis. In: Ghezzi, C., McDermid, J.A. (eds) ESEC '89. ESEC 1989. Lecture Notes in Computer Science, vol 387. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51635-2_45

Download citation

  • DOI: https://doi.org/10.1007/3-540-51635-2_45

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-51635-4

  • Online ISBN: 978-3-540-46723-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation