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