Abstract
Software engineering is based today to a large extend on rapid prototyping languages or design environments which are high level, very expresive, executable and enabling the quick production of running prototypes, whereas formal methods emphasices the preciseness and proper mathematical foundations which eanble the production of unambiguous references needed in protocol engineering. The goals of formal methods and rapid prototyping are not in contradiction, but have very rarely been considered together. This paper analyzes the evolution, background and main divergence points, in order to highligh how convergence could be achieved.
The original version of this chapter was revised: The copyright line was incorrect. This has been corrected. The Erratum to this chapter is available at DOI: 10.1007/978-3-540-30232-2_24
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
Royce, W.W.: Managing the Development of Large-Scale Software: Concepts and Techniques Proceedings, Wescon (August 1970)
Zave, P.: The Operational versus the Conventional Approach to Software Development. Com. Of the ACM 27(2), 104–118 (1984)
Boehm, B.W.: Anchoring the Software Process. IEEE Software, 73–82 (July 1996)
Agile Processes, http://www.c2.com/cgi/wiki?AgileProcesses
Schultz, G.D., Rose, D.B., West, C.H., Gray, J.P.: Executable Description and Validation of SNA. IEEE Transactions on Communications, 661–677 (April 1980)
Turner, K.J. (ed.): Using Formal Description Techniques, An Introduction to Estelle, LOTOS and SDL. John Wiley and Sons, Chichester (1993) ISBN 0-471-93455-0
Bowman, H., Derrick, J.: Formal Methods for Distributed Processing: A Survey of Object Oriented Approaches. Cambridge University Press, Cambridge (2001) ISBN 0-521-77184-6
Special issue on Protocol Engineering. IEEE Transactions on Computers 40(4) (April 1991)
Milner, R.: A Calculus of Communication Systems. LNCS, vol. 92. Springer, Heidelberg (1980)
Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall International, Englewood Cliffs (1985)
De Nicola, R., Hennesy, M.: Testing Equivalences for Processes. Theoretical Computer Science 34, 83–133 (1984)
Brinksma, E., Scollo, P.: Formal Notions of Implementation and Conformance in LOTOS
Fernandez, A., Miguel, C., Vidaller, L., Quemada, J.: Development of a Satellite Communication Network Based on LOTOS. In: IFIP Transactions C-8: Protocol Specification, Testing and Verification XII, June 1992, pp. 179–193. North-Holland, Amsterdam (1992) ISSN 0926-549X
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 IFIP International Federation for Information Processing
About this paper
Cite this paper
Quemada, J. (2004). Formal Description Techniques and Software Engineering: Some Reflections after 2 Decades of Research. In: de Frutos-Escrig, D., Núñez, M. (eds) Formal Techniques for Networked and Distributed Systems – FORTE 2004. FORTE 2004. Lecture Notes in Computer Science, vol 3235. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30232-2_3
Download citation
DOI: https://doi.org/10.1007/978-3-540-30232-2_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23252-0
Online ISBN: 978-3-540-30232-2
eBook Packages: Springer Book Archive