Formal Description Techniques and Software Engineering: Some Reflections after 2 Decades of Research

  • Juan Quemada
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3235)


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.


Software Engineering Formal Method Rapid Prototype Design Language High Level Language 
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.


  1. 1.
    Royce, W.W.: Managing the Development of Large-Scale Software: Concepts and Techniques Proceedings, Wescon (August 1970)Google Scholar
  2. 2.
    Zave, P.: The Operational versus the Conventional Approach to Software Development. Com. Of the ACM 27(2), 104–118 (1984)CrossRefGoogle Scholar
  3. 3.
    Boehm, B.W.: Anchoring the Software Process. IEEE Software, 73–82 (July 1996)Google Scholar
  4. 4.
  5. 5.
    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)Google Scholar
  6. 6.
    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-0Google Scholar
  7. 7.
    Bowman, H., Derrick, J.: Formal Methods for Distributed Processing: A Survey of Object Oriented Approaches. Cambridge University Press, Cambridge (2001) ISBN 0-521-77184-6zbMATHGoogle Scholar
  8. 8.
    Special issue on Protocol Engineering. IEEE Transactions on Computers 40(4) (April 1991)Google Scholar
  9. 9.
    Milner, R.: A Calculus of Communication Systems. LNCS, vol. 92. Springer, Heidelberg (1980)CrossRefzbMATHGoogle Scholar
  10. 10.
    Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall International, Englewood Cliffs (1985)zbMATHGoogle Scholar
  11. 11.
    De Nicola, R., Hennesy, M.: Testing Equivalences for Processes. Theoretical Computer Science 34, 83–133 (1984)MathSciNetCrossRefGoogle Scholar
  12. 12.
    Brinksma, E., Scollo, P.: Formal Notions of Implementation and Conformance in LOTOSGoogle Scholar
  13. 13.
    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-549XCrossRefGoogle Scholar

Copyright information

© IFIP International Federation for Information Processing 2004

Authors and Affiliations

  • Juan Quemada
    • 1
  1. 1.Dept. of Telematic EngineeringUniversidad Politécnica de MadridMadridSpain

Personalised recommendations