Linking Paradigms, Semi-formal and Formal Notations

  • Henri Habrias
  • Sébastien Faucou
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3294)


In this paper, we expose some of the techniques that we use in Nantes to link paradigms and formal notations in formal specification lectures for 1 st year students. The notion of model is the core of our teaching.


Model Check Formal Method Group Allocation Relational Schema Label Transition System 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Paper, P.E.P. (ed.): The Essential Peirce Selected Philosophical Writings, vol. 2 (1893-1913). Indiana University Press (1998) ISBN: 0-253-21190-5Google Scholar
  2. 2.
    Lee, E., Varaiya, P.: Introducing signals and systems: The berkeley approach. In: First Signal Processing Education Workshop, Hunt, Texas, October 15-18 (2000)Google Scholar
  3. 3.
    OMG: Mof web pages (2002) Google Scholar
  4. 4.
    Blanché, R., Dubucs, J.: La logique et son histoire. Armand Colin (1996)Google Scholar
  5. 5.
    Eco, U.: Le signe. Le livre de poche, Paris (1992) ISBN: 2-253-06094-1Google Scholar
  6. 6.
    Davenport, C.: The role of graphical methods in the history of logic in Methodos, Milano (1952)Google Scholar
  7. 7.
    Frege, G.: Collected papers on mathematics, logic, and philosophy. Blackwell, B. (1984) ISBN: 0631127283 Google Scholar
  8. 8.
    Schmitz, F.: Wittgenstein. Les Belles Lettres, Paris (1999) ISBN: 2-251-76020-2 Google Scholar
  9. 9.
    David, R., Alla, H.: Petri nets and Grafcet, Tools for Modeling Discrete Event Systems. Prentice Hall, New York (1992) ISBN: 0-13-327537-XGoogle Scholar
  10. 10.
    Fencott, C.: Formal Methods for Concurrency. Thompson (1996) ISBN: 1-85032-173-6Google Scholar
  11. 11.
    Milner, R.: Communication and Concurrency. Prentice Hall, Englewood Cliffs (1989) ISBN: 0-13-115007-3zbMATHGoogle Scholar
  12. 12.
    Abrial, J.R.: Extending B without changing it (for developing distributed systems). In: Habrias, H. (ed.) 1st Conference on the B method, I.U.T. de Nantes, France, pp. 169–190 (1996) ISBN: 2-906082-25-2Google Scholar
  13. 13.
    Abrial, J., Mussat, J.: Introducing Dynamic Constraints in B. In: B 1998, Second Int. B Conference Montpellier, pp. 82–128 (1998)Google Scholar
  14. 14.
    Abrial, J.R.: Etude Systéme: méthode et exemple (1998)Google Scholar
  15. 15.
    Jackson, M.: System Development. Prentice Hall, Englewood Cliffs (1983) ISBN: 0-12-379050-6zbMATHGoogle Scholar
  16. 16.
    Habrias, H.: Introduction á la spécification. Masson (1993) ISBN: 2-225-82768-0Google Scholar
  17. 17.
    Jackson, M.: Software Requirements & Specifications, a lexicon of practice, principles and prejudices. Addison-Wesley, Reading (1995) ISBN: 0-201-87712-0Google Scholar
  18. 18.
    Arnold, A., Begay, D., Crubillé, P.: Construction and Analysis of Transition Systems with MEC. World Scientific, Singapore (1994) ISBN: 981-02-1922-9zbMATHGoogle Scholar
  19. 19.
    Baruk, S.: Echec et Maths. Editions du Seuil, Paris (1979) ISBN: 2-02-004720-9Google Scholar
  20. 20.
    Bérard, B., et al.: Systems and Software Verification. Springer, Heidelberg (2001) ISBN : 3-540-41523-8zbMATHGoogle Scholar
  21. 21.
    Davis, P., Hersh, D., Marchisotto, E.: The Companion Guide to the ”Mathematical Experience”. Birkhäuser, Basel (1995) ISBN: 0-817638490Google Scholar
  22. 22.
    Davis, P.J., Hersh, D.: The Mathematical Experience. Haughton Mifflin Co. (1999) ISBN: 0-395-929687Google Scholar
  23. 23.
    Fearn, N.: Zeno and the tortoise - How to think like a philosopher. Atlantic Grove (2001) ISBN: 1-903809-13-4Google Scholar
  24. 24.
    Frappier, M., Habrias, H.: Software Specification Methods, An Overview Using a Case Study. In: FACIT, Springer, Heidelberg (2000) ISBN: 1-85233-353-7Google Scholar
  25. 25.
    Habrias, H.: Dictionaire encyclopédique du génie logiciel. Masson (1997) ISBN: 2-225-85328-2Google Scholar
  26. 26.
    Habrias, H.: Spécification formelle avec B”. Lavoisier-Hermes (2001) ISBN: 2-7462-0302-2Google Scholar
  27. 27.
    Magee, J., Kramer, J.: Concurrency: State Models & Java Program. Wiley, Chichester (1999) ISBN: 0-471-98710-7Google Scholar
  28. 28.
    Monin, J.: Understanding Formal Methods. Springer, Heidelberg (2003) ISBN: 1-852-33247-6zbMATHGoogle Scholar
  29. 29.
    Abrial, J.R.: The B-Book, Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996) ISBN: 0-521-49619-5zbMATHCrossRefGoogle Scholar
  30. 30.
    Habrias, H., André, P.: Writing constraints that do not fit to a specification paradigm. Technical report, LINA, Nantes (2004)Google Scholar
  31. 31.
    Mandelbaum, D.G. (ed.): Selected Writings of Edward Sapir in Language, Culture and Personality. University of California Press (1986) ISBN: 0-520055942Google Scholar
  32. 32.
    Quant: Diabolo math. Belin (1983) ISBN: 2-701-10452-1Google Scholar
  33. 33.
    Schneider, S.: The B-Method: An Introduction. Palgrave, Oxford (2001) ISBN: 0-33379284-XGoogle Scholar
  34. 34.
    Robinson, K.: Reconciling Axiomatic and Model-Based Specifications Using the B Method. In: Bowen, J.P., Dunne, S., Galloway, A., King, S. (eds.) B 2000, ZUM 2000, and ZB 2000. LNCS, vol. 1878, pp. 95–106. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  35. 35.
    Nijssen, G., Halpin, T.: Conceptual Schema and Relational Database Design. Prentice Hall, Englewood Cliffs (1989) ISBN: 0-7248-0151-0Google Scholar
  36. 36.
    Habrias, H.: Le modéle relationnel binaire, Méthode NIAM. Eyrolles, Paris (1988) Google Scholar
  37. 37.
    Sekerinski, E.: Graphical design of reactive systems. In: B 1998 Second Int. B Conference Montpellier, pp. 182–197 (1998)Google Scholar
  38. 38.
    Roland, H., Boyer, L.: Adages du droit français. Litec, Paris (1999) ISBN: 2-7111-3003-7 Google Scholar
  39. 39.
    Le Lionnais, F.: Les grands courants de la pensée mathématique. Hermann (1997) Google Scholar
  40. 40.
    Dijkstra, E.W.: On the Cruelty of Teaching Computer Science. CACM 32, 1398–1414 (1989)Google Scholar
  41. 41.
    Dosen, K.: Le programme de Hilbert. In: Le concept de preuve á la lumiére de l’intelligence artificielle (1999) ISBN: 2-20001472-4 Google Scholar
  42. 42.
    Minsky, M.L.: Matter, mind and models. In: Semantic Information Processing, MIT Press, Cambridge (1968) ISBN: 0-262130440Google Scholar
  43. 43.
    Gardies, J.: Esquisse d’une grammaire pure. Vrin, Paris (1975) ISBN: 2-7116-4057-4Google Scholar
  44. 44.
    Sinaceur, H.: Modéle. In: Lecourt, D. (ed.) Dictionnaire d’histoire et de philosophie des sciences, PUF (1999)Google Scholar
  45. 45.
    Winograd, T.: Debate: On the Cruelty of Teaching Computer Science (a response to Dijkstra). CACM 32, 1412–1413 (1989)Google Scholar
  46. 46.
    Foucault, M.: The Birth of the Clinic. Pantheon (1973) ISBN: 0-394710975, translated from the french by A. S. Smith Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Henri Habrias
    • 1
  • Sébastien Faucou
    • 1
  1. 1.I.U.T. of NantesUniversity of NantesNantes Cedex 01France

Personalised recommendations