Abstract
This manuscript elucidates a simplified and corroborative approach towards Formalization of Requirements. The discussion implicates Use Cases, Scenarios and State Transition Diagrams as a basis for automating the process of formalization, which is achieved via a self-developed tool “STATEST 1.0.0” that exemplifies the underlying concept and illustrates the ease of automation.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Model Based Test Generation Tools, Agedis Consortium, http://www.agedis.de
Formal Methods, http://www.ece.cmu.edu/~koopman/des_s99/formal_methods
Liu, S.: Utilizing Formalization to Test Programs without Available Source Code. In: Proceedings of the Eighth International Conference on Quality Software (2008)
Jayaraman, P.K., Whittle, J.: A Tool for Simulating Use Case Scenarios. In: Companion to the Proceedings of the 29th International Conference on Software Engineering, pp. 43–44 (2007)
Fernandez, L., Lara, P.J., Cuadrado, J.J.: Efficient software quality assurance approaches oriented to UML models in real life, pp. 385–426. Idea Group Pulishing (2007)
Liu, S., Nagoya, F., Chen, Y.: An Empirical Study on a Specification-Based Program Review Approach. In: Proceedings of the International Conference on Dependability of Computer Systems DEPCOS-RELCOMEX 2006 (2006)
Patton, R.: Software Testing, 2nd edn. SAMS Publication (2005)
Liu, S., Nagoya, F., Chen, Y.-T., Goya, M., McDermid, J.A.: An Automated Approach to Specification–Based Program Inspection. In: Lau, K.-K., Banach, R. (eds.) ICFEM 2005. LNCS, vol. 3785, pp. 421–434. Springer, Heidelberg (2005)
Fernande, R., Cowie, A.J.: Capturing Informal Requirements as Formal Models. In: Proceedings of 9th Australian Workshop on Requirements Engineering (2004)
Iwu, F., Galloway, O., Toyn, A., McDermid, J.A.: Practical Formal Specification for Embedded Control Systems. In: INCOM 2004 11th IFAC Symposium on Information Control Problems in Manufacturing (2004)
Bryant, B.R., Lee, B.S., Cao, F., Zhao, W., Gray, J.G., Burt, C.C., et al.: From Natural Language Requirements to Executable Models of Software Components (2003)
Sutcliffe, A.: Scenario Based Requirements Engineering. In: Proceedings of the 11th IEEE International Conference on Requirements Engineering (2003)
Somé, S.: Beyond Scenarios: Generating State Models from Use Cases. In: Scenarios and State Machines: Models, Algorithms, and Tools SCESM 2002 (2002)
Jacobson, I., Booch, G., Rumbaugh, J.: The Unified Software Development Process. Addison-Wesley Professional, Reading (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chatterjee, R., Johari, K. (2010). A Simplified and Corroborative Approach towards Formalization of Requirements. In: Ranka, S., et al. Contemporary Computing. IC3 2010. Communications in Computer and Information Science, vol 94. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14834-7_46
Download citation
DOI: https://doi.org/10.1007/978-3-642-14834-7_46
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-14833-0
Online ISBN: 978-3-642-14834-7
eBook Packages: Computer ScienceComputer Science (R0)