Advertisement

Construction and reuse of formal program developments

  • J. Cazin
  • P. Cros
  • R. Jacquart
  • M. Lemoine
  • P. Michel
CCPSD Colloquium On Combining Paradigms For Software Development
Part of the Lecture Notes in Computer Science book series (LNCS, volume 494)

Keywords

Formal Development Development Step Safety Critical System Implicit Definition Text Definition 
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

  1. [1]
    R.M. Burstall and J. Darlington. A transformation system for developing recursive programs. JACM, 24(1):44–67, 1977.Google Scholar
  2. [2]
    J. Cazin, R. Jacquart, M. Lemoine, P. Maurice, and P. Michel. Method driven programming. In IFIP 89, 89.Google Scholar
  3. [3]
    J. Cazin, R. Jacquart, M. Lemoine, and P. Michel. Manipulation of formal developments expressed in deva. In K.H. Bennett, editor, Software Engineering Environments. Ellis Horwood, 89.Google Scholar
  4. [4]
    T. Coquand and G. Huet. Constructions: a higher order proof system for mechanizing mathematics. In EUROCAL 85, 1985.Google Scholar
  5. [5]
    Ch. Lafontaine. Formalization of the VDM reification in the DEVA meta-calculus. In Proceedings of the IFIP TC 2 Working Conference on Programming Concepts and Methods, 1990.Google Scholar
  6. [6]
    P. Martin-Lof. Constructive mathematics and computer programming. In Hoare and Shepherdson, editors, Mathematical Logic and Programming Languages, pages 167–184. Prentice Hall, 85.Google Scholar
  7. [7]
    R.P. Nederpelt. An Approach to Theorem Proving on the Basis of a Typed Lambda Calculus. Springer Verlag, LNCS 87, 1980.Google Scholar
  8. [8]
    M. Sintzoff, M. Weber, Ph. de Groote, and J. Cazin. Definition 1.1 of the generic development language deva. Technical report, Esprit, 89.Google Scholar
  9. [9]
    M. Weber. Formalization of the Bird-Meertens algorithmic calculus in the DEVA meta-calculus. In Proceedings of the IFIP TC 2 Working Conference on Programming Concepts and Methods, 1990.Google Scholar
  10. [10]
    J.C.P. Woodcock. Formal techniques and operational specifications. Software Engineering Notes, 14(5), 89.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • J. Cazin
    • 1
  • P. Cros
    • 1
  • R. Jacquart
    • 1
  • M. Lemoine
    • 1
  • P. Michel
    • 1
  1. 1.Onera-Cert/DeriToulouse CedexFrance

Personalised recommendations