Abstract
It is often felt that the use of formal specification techniques (FSTs) precludes the use of informal, structured specification techniques (ISTs). Research on integrated FSTs and ISTs (FISTs) has shown that this is not necessarily the case, and that the use of formal techniques can enhance the use of informal specification techniques and vice versa.
In this paper we describe the applicability of FISTs to requirements engineering along two dimensions: process support, and formal-informal transformations. We illustrate aspects of these dimensions with results from student requirements engineering projects that involved the use of a Structured Analysis (SA) and Z FIST.
Keywords
- Formal Specification
- Requirement Engineering
- Generative Transformation
- Formal Notation
- Elaboration Phase
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Preview
Unable to display preview. Download preview PDF.
References
S. Auijla, A. Bryant, and L. Semmens. A rigorous review technique: Using formal notations within conventional development methods. In Software Engineering Standards Symposium, U.K. IEEE Computer Society Press, 1993.
D. Coleman, P. Arnold, S. Bodoff, C. Dollin, H. Gilchrist, F. Hayes, and P. Jeremaes. Object-Oriented Development: The Fusion Method. Prentice Hall, 1994.
T. DeMarco. Structured Analysis and System Specification. Prentice-Hall, 1978.
R. Elmstrom, R. Lintulampi, and M. Pezze. Giving semantics to SA/RT by means of high-level timed Petri nets. Real-Time Systems, 5, 1993.
R. France, T. Horton, M. Larrondo-Petrie, and S. Reeves. Process support for rigorous structured analysis. In Software Engineering Research Forum '93. SERF'93, 1993.
R. France and M. M. Larrondo-Petrie. Understanding the role of formal specification techniques in requirements engineering. In to appear in Conference on Software Engineering Education. Springer-Verlag, 1995.
R. B. France. Semantically Extended Data Flow Diagrams: A formal specification tool. IEEE TSE, 18(4), 1992.
C. Gane and T. Sarson. Structured Systems Analysis: Tools and techniques. Prentice-Hall, 1978.
D. Hatley and I. Pirbhai. Strategies for Real-Time System Specification. Dover Press, 1987.
F. Polack. Integrating formal notations and system analysis: using entity relationship diagrams. Software Engineering Journal
J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice Hall, 1991.
L. Semmens and P. Allen. Using Yourdon and Z: An approach to formal specification. In Z User Workshop. Springer-Verlag, 1991.
L. Semmens, R. B. France, and T. W. G. Docker. Integrated structured analysis and formal specification techniques. The Computer Journal, 35(6), 1992.
S. Shlaer and S. J. Mellor. Object lifecycles: Modeling the world in states. Prentice Hall, 1992.
J. M. Spivey. The Z notation: A reference manual. Prentice-Hall, 1989.
T. H. Tse and L. Pong. Towards a formal foundation for DeMarco data flow diagrams. Technical report, Center of Computer Studies, University of Hong Kong, 1986.
E. Yourdon. Modern Systems Analysis. Prentice-Hall, 1989.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
France, R.B., Larrondo-Petrie, M.M. (1995). A two-dimensional view of integrated formal and informal specification techniques. In: Bowen, J.P., Hinchey, M.G. (eds) ZUM '95: The Z Formal Specification Notation. ZUM 1995. Lecture Notes in Computer Science, vol 967. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60271-2_135
Download citation
DOI: https://doi.org/10.1007/3-540-60271-2_135
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60271-2
Online ISBN: 978-3-540-44782-5
eBook Packages: Springer Book Archive