Abstract
In the analysis and specification of user requirements, software engineers are often confronted with difficulties due to the complexity of the problem, the communication barriers between peoples of diverse backgrounds, the inconsistency and incompleteness of user’s statement of requirements and frequent changes of user’s requirements. This paper reports a tool that supports engineers to cope with these difficulties by automatic consistency and completeness checking and automatic generation of functional specifications.
Chapter PDF
Similar content being viewed by others
References
System Designers, (1985) CORE - The method,Systems Designers Scientific, Issue 1.0.
Nuseibeh, B., Kramer, J. and Finkelstein, A. (1994) A framework for expressing the relation-ships between multiple views in requirements specification, IEEE TSE, 20 (10), 760–773.
Leonhardt, U., Kramer, J., Nuseibeh, B. and Finkelstein, A. (1995) Decentralised process modelling in a multi-perspective development environment, Proc. of 17’th ICSE, 255–264.
Finkelstein, A. and Potts, C. (1986) Structured common sense: the elicitation and formalization of requirements, In Software Engineering’86 (eds Barnes, D. and Brown, P. ), Peter Peregrinus, 236–250.
Bell, T. E. Bixler, D. C. and Dyer, M. E. (1977) An extendible approach to computer-aided software requirements engineering, IEEE TSE, SE-3, 849–860.
Fraser, M. D., et al. (1991) Informal and formal requirements specification languages: bridging the gap, IEEE TSE, 17 (5).
Borgida, A., Greenspan, S. and Mylopoulos, J. (1985) Knowledge representation as the basis for requirements specifications, IEEE TSE, 18, 82–91.
Prieto-Diaz, R. and Arango, G. (1991) Domain Analysis and Software Systems Modelling,IEEE Computer Society.
Yourdon, E. (1989) Modern Structured Analysis, Prentice-Hall, New Jersey.
Czuchry, A.J., and Harris, D.R. (1988) KBRA: a new paradigm for requirements engineering, IEEE Expert, 3, 2135.
Spivey, J. M. (1992) The Z notation - A Reference Manual, Second Edition, Prentice Hall.
Dong, L., Fei, Z. Zhu, H. and Jin, L. (1995) The software requirements definition language NDRDL, J. Computer Science. (In Chinese)
Xu, J., Zhu, H., et al. (1995) From requirements definition to formal functional specification - an automatic transformational approach, Science in China, 38 (Supp).
Feather, M. S. and Fickas, S. (1991) Coping with requirements freedom, in Proc. International Workshop on Development of Intelligent Information Systems, Niagara-onthe-lake, Canada, 42–46.
Heimdahl, M. P. E. and Leveson, N. G. (1995) Completeness and Consistency analysis of state-based requirements, in Proc. of 17’th ICSE, 3–14.
Fenton, N. E., Whiny, R. W. and Kaposi, A. A. (1985) A generalised mathematical theory of structured programming, Theoretical Computer Science, 36, 145–171.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Xu, J., Jin, L., Zhu, H. (1996). Tool support of orderly transition from informal to formal descriptions in requirements engineering. In: Terashima, N., Altman, E. (eds) Advanced IT Tools. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-34979-4_23
Download citation
DOI: https://doi.org/10.1007/978-0-387-34979-4_23
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-4416-3
Online ISBN: 978-0-387-34979-4
eBook Packages: Springer Book Archive