Abstract
A prototype is a model of a product or information system to show the capabilities. It is common practice to build prototypes in agile software development to help end-users and developers understand the requirements elicitation and validation for a system. Though the prototypes can serve with behaviors and structures, some requirements such as safety-critical functions are difficult to prototype. Formal methods are used to reveal ambiguity, inconsistency and incompleteness for development computer systems with commonly used formal specification languages. Formal methods are mathematically-based techniques. Nevertheless few specifiers have used complete mathematics from the beginning. Most of specifiers have discussed with end-users about implications of user requirements, created an initial specification, and revised as a result of the user’s feedbacks. This paper presents an experimental project adapting rapid prototyping into a formal engineering method. SOFL, the formal engineering method, serves as a bridge between formal methods and rapid prototyping. It has great potential to improve development costs and product quality.
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
Floyd, C.: A systematic look at prototyping. In: Approaches to Prototyping, pp. 1–17 (1984)
Basili, V.R., Turner, A.J.: Iterative enhancement: A practical technique for software development. IEEE Trans. Software Eng. 1, 390–396 (1975)
Alavi, M.: An assessment of the prototyping approach to information systems development. Commun. ACM 27, 556–563 (1984)
Boehm, B.W., Gray, T.E., Seewaldt, T.: Prototyping versus specifying: A multiproject experiment. IEEE Trans. Softw. Eng. 10, 290–302 (1984)
Gordon, V.S., Bieman, J.M.: Rapid prototyping: Lessons learned. IEEE Softw. 12, 85–95 (1995)
Gomaa, H.: The impact of rapid prototyping on specifying user requirements. SIGSOFT Softw. Eng. Notes 8, 17–27 (1983)
Balzer, R., Cheatham Jr., T.E., Green, C.: Software technology in the 1990’s: Using a new paradigm. Computer 16, 39–45 (1983)
Liu, S.: Formal Engineering for Industrial Software Development. Springer (2004)
DeMarco, T.: Structured Analysis and System Specification. Prentice Hall PTR, Upper Saddle River (1979)
Reisig, W.: Petri nets: An introduction. Springer-Verlag New York, Inc., New York (1985)
Jones, C.B.: Systematic software development using VDM. Prentice Hall International (UK) Ltd. (1986)
Yourdon, E.: Modern structured analysis. Yourdon Press (1989)
Booch, G.: Object oriented design with applications. Benjamin-Cummings Publishing Co., Inc., Redwood City (1991)
Gordon, V.S., Bieman, J.M.: Reported effects of rapid prototyping on industrial software quality. Software Quality Journal 2, 93–108 (1993)
Royce, W.W.: Managing the development of large software systems: Concepts and techniques. In: Proceedings of the 9th International Conference on Software Engineering, ICSE 1987, pp. 328–338. IEEE Computer Society Press, Los Alamitos (1987)
Boehm, B.W.: A spiral model of software development and enhancement. Computer 21, 61–72 (1988)
Morgan, C.: Programming from specifications. Prentice-Hall, Inc. (1990)
Clarke, E.M., Wing, J.M.: Formal methods: State of the art and future directions. ACM Comput. Surv. 28, 626–643 (1996)
Loucopoulos, P., Karakostas, V.: System Requirements Engineering. McGraw-Hill, Inc., New York (1995)
Naumann, J.D., Jenkins, A.M.: Prototyping: The new paradigm for systems development. MIS Q. 6, 29–44 (1982)
Sengupta, C.: Financial Analysis and Modeling Using Excel and VBA (Wiley Finance). Wiley (2009)
Hooke, J.C.: Security Analysis and Business Valuation on Wall Street + Companion Web Site: A Comprehensive Guide to Today’s Valuation Methods (Wiley Finance). Wiley (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nagoya, F., Kitagawa, T. (2013). An Application of SOFL for Rapid Prototyping. In: Liu, S. (eds) Structured Object-Oriented Formal Language and Method. SOFL 2012. Lecture Notes in Computer Science, vol 7787. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-39277-1_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-39277-1_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-39276-4
Online ISBN: 978-3-642-39277-1
eBook Packages: Computer ScienceComputer Science (R0)