Skip to main content
SpringerLink
Log in

Linking Paradigms, Semi-formal and Formal Notations

  • Conference paper
Teaching Formal Methods (TFM 2004)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 3294))

Included in the following conference series:

Abstract

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 1st year students. The notion of model is the core of our teaching.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Paper, P.E.P. (ed.): The Essential Peirce Selected Philosophical Writings, vol. 2 (1893-1913). Indiana University Press (1998) ISBN: 0-253-21190-5

    Google Scholar 

  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. OMG: Mof web pages (2002)

    Google Scholar 

  4. Blanché, R., Dubucs, J.: La logique et son histoire. Armand Colin (1996)

    Google Scholar 

  5. Eco, U.: Le signe. Le livre de poche, Paris (1992) ISBN: 2-253-06094-1

    Google Scholar 

  6. Davenport, C.: The role of graphical methods in the history of logic in Methodos, Milano (1952)

    Google Scholar 

  7. Frege, G.: Collected papers on mathematics, logic, and philosophy. Blackwell, B. (1984) ISBN: 0631127283

    Google Scholar 

  8. Schmitz, F.: Wittgenstein. Les Belles Lettres, Paris (1999) ISBN: 2-251-76020-2

    Google Scholar 

  9. David, R., Alla, H.: Petri nets and Grafcet, Tools for Modeling Discrete Event Systems. Prentice Hall, New York (1992) ISBN: 0-13-327537-X

    Google Scholar 

  10. Fencott, C.: Formal Methods for Concurrency. Thompson (1996) ISBN: 1-85032-173-6

    Google Scholar 

  11. Milner, R.: Communication and Concurrency. Prentice Hall, Englewood Cliffs (1989) ISBN: 0-13-115007-3

    MATH  Google Scholar 

  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-2

    Google Scholar 

  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. Abrial, J.R.: Etude Systéme: méthode et exemple (1998)

    Google Scholar 

  15. Jackson, M.: System Development. Prentice Hall, Englewood Cliffs (1983) ISBN: 0-12-379050-6

    MATH  Google Scholar 

  16. Habrias, H.: Introduction á la spécification. Masson (1993) ISBN: 2-225-82768-0

    Google Scholar 

  17. Jackson, M.: Software Requirements & Specifications, a lexicon of practice, principles and prejudices. Addison-Wesley, Reading (1995) ISBN: 0-201-87712-0

    Google Scholar 

  18. Arnold, A., Begay, D., Crubillé, P.: Construction and Analysis of Transition Systems with MEC. World Scientific, Singapore (1994) ISBN: 981-02-1922-9

    MATH  Google Scholar 

  19. Baruk, S.: Echec et Maths. Editions du Seuil, Paris (1979) ISBN: 2-02-004720-9

    Google Scholar 

  20. Bérard, B., et al.: Systems and Software Verification. Springer, Heidelberg (2001) ISBN : 3-540-41523-8

    MATH  Google Scholar 

  21. Davis, P., Hersh, D., Marchisotto, E.: The Companion Guide to the ”Mathematical Experience”. Birkhäuser, Basel (1995) ISBN: 0-817638490

    Google Scholar 

  22. Davis, P.J., Hersh, D.: The Mathematical Experience. Haughton Mifflin Co. (1999) ISBN: 0-395-929687

    Google Scholar 

  23. Fearn, N.: Zeno and the tortoise - How to think like a philosopher. Atlantic Grove (2001) ISBN: 1-903809-13-4

    Google Scholar 

  24. Frappier, M., Habrias, H.: Software Specification Methods, An Overview Using a Case Study. In: FACIT, Springer, Heidelberg (2000) ISBN: 1-85233-353-7

    Google Scholar 

  25. Habrias, H.: Dictionaire encyclopédique du génie logiciel. Masson (1997) ISBN: 2-225-85328-2

    Google Scholar 

  26. Habrias, H.: Spécification formelle avec B”. Lavoisier-Hermes (2001) ISBN: 2-7462-0302-2

    Google Scholar 

  27. Magee, J., Kramer, J.: Concurrency: State Models & Java Program. Wiley, Chichester (1999) ISBN: 0-471-98710-7

    Google Scholar 

  28. Monin, J.: Understanding Formal Methods. Springer, Heidelberg (2003) ISBN: 1-852-33247-6

    MATH  Google Scholar 

  29. Abrial, J.R.: The B-Book, Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996) ISBN: 0-521-49619-5

    Book  MATH  Google Scholar 

  30. Habrias, H., André, P.: Writing constraints that do not fit to a specification paradigm. Technical report, LINA, Nantes (2004)

    Google Scholar 

  31. Mandelbaum, D.G. (ed.): Selected Writings of Edward Sapir in Language, Culture and Personality. University of California Press (1986) ISBN: 0-520055942

    Google Scholar 

  32. Quant: Diabolo math. Belin (1983) ISBN: 2-701-10452-1

    Google Scholar 

  33. Schneider, S.: The B-Method: An Introduction. Palgrave, Oxford (2001) ISBN: 0-33379284-X

    Google Scholar 

  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)

    Chapter  Google Scholar 

  35. Nijssen, G., Halpin, T.: Conceptual Schema and Relational Database Design. Prentice Hall, Englewood Cliffs (1989) ISBN: 0-7248-0151-0

    Google Scholar 

  36. Habrias, H.: Le modéle relationnel binaire, Méthode NIAM. Eyrolles, Paris (1988)

    Google Scholar 

  37. Sekerinski, E.: Graphical design of reactive systems. In: B 1998 Second Int. B Conference Montpellier, pp. 182–197 (1998)

    Google Scholar 

  38. Roland, H., Boyer, L.: Adages du droit français. Litec, Paris (1999) ISBN: 2-7111-3003-7

    Google Scholar 

  39. Le Lionnais, F.: Les grands courants de la pensée mathématique. Hermann (1997)

    Google Scholar 

  40. Dijkstra, E.W.: On the Cruelty of Teaching Computer Science. CACM 32, 1398–1414 (1989)

    Google Scholar 

  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. Minsky, M.L.: Matter, mind and models. In: Semantic Information Processing, MIT Press, Cambridge (1968) ISBN: 0-262130440

    Google Scholar 

  43. Gardies, J.: Esquisse d’une grammaire pure. Vrin, Paris (1975) ISBN: 2-7116-4057-4

    Google Scholar 

  44. Sinaceur, H.: Modéle. In: Lecourt, D. (ed.) Dictionnaire d’histoire et de philosophie des sciences, PUF (1999)

    Google Scholar 

  45. Winograd, T.: Debate: On the Cruelty of Teaching Computer Science (a response to Dijkstra). CACM 32, 1412–1413 (1989)

    Google Scholar 

  46. Foucault, M.: The Birth of the Clinic. Pantheon (1973) ISBN: 0-394710975, translated from the french by A. S. Smith

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. I.U.T. of Nantes, University of Nantes, 3 rue Ml Joffre, 44041, Nantes Cedex 01, France

    Henri Habrias & Sébastien Faucou

Authors
  1. Henri Habrias
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Sébastien Faucou
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Anglia Polytechnic University, East Rd, CB1 1PT, Cambridge, UK

    C. Neville Dean

  2. INTEC, Universiteit Gent, Belgium

    Raymond T. Boute

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Habrias, H., Faucou, S. (2004). Linking Paradigms, Semi-formal and Formal Notations. In: Dean, C.N., Boute, R.T. (eds) Teaching Formal Methods. TFM 2004. Lecture Notes in Computer Science, vol 3294. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30472-2_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-30472-2_11

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-23611-5

  • Online ISBN: 978-3-540-30472-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation