{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:07:37Z","timestamp":1725566857063},"publisher-location":"Berlin, Heidelberg","reference-count":46,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540236115"},{"type":"electronic","value":"9783540304722"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30472-2_11","type":"book-chapter","created":{"date-parts":[[2010,9,23]],"date-time":"2010-09-23T20:07:39Z","timestamp":1285272459000},"page":"166-184","source":"Crossref","is-referenced-by-count":5,"title":["Linking Paradigms, Semi-formal and Formal Notations"],"prefix":"10.1007","author":[{"given":"Henri","family":"Habrias","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S\u00e9bastien","family":"Faucou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Paper, P.E.P. (ed.): The Essential Peirce Selected Philosophical Writings, vol.\u00a02 (1893-1913). Indiana University Press (1998) ISBN: 0-253-21190-5","key":"11_CR1"},{"unstructured":"Lee, E., Varaiya, P.: Introducing signals and systems: The berkeley approach. In: First Signal Processing Education Workshop, Hunt, Texas, October 15-18 (2000)","key":"11_CR2"},{"unstructured":"OMG: Mof web pages (2002)","key":"11_CR3"},{"unstructured":"Blanch\u00e9, R., Dubucs, J.: La logique et son histoire. Armand Colin (1996)","key":"11_CR4"},{"unstructured":"Eco, U.: Le signe. Le livre de poche, Paris (1992) ISBN: 2-253-06094-1","key":"11_CR5"},{"unstructured":"Davenport, C.: The role of graphical methods in the history of logic in Methodos, Milano (1952)","key":"11_CR6"},{"unstructured":"Frege, G.: Collected papers on mathematics, logic, and philosophy. Blackwell, B. (1984) ISBN: 0631127283","key":"11_CR7"},{"unstructured":"Schmitz, F.: Wittgenstein. Les Belles Lettres, Paris (1999) ISBN: 2-251-76020-2","key":"11_CR8"},{"key":"11_CR9","volume-title":"Petri nets and Grafcet, Tools for Modeling Discrete Event Systems","author":"R. David","year":"1992","unstructured":"David, R., Alla, H.: Petri nets and Grafcet, Tools for Modeling Discrete Event Systems. Prentice Hall, New York (1992) ISBN: 0-13-327537-X"},{"unstructured":"Fencott, C.: Formal Methods for Concurrency. Thompson (1996) ISBN: 1-85032-173-6","key":"11_CR10"},{"key":"11_CR11","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall, Englewood Cliffs (1989) ISBN: 0-13-115007-3"},{"unstructured":"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\u2013190 (1996) ISBN: 2-906082-25-2","key":"11_CR12"},{"doi-asserted-by":"crossref","unstructured":"Abrial, J., Mussat, J.: Introducing Dynamic Constraints in B. In: B 1998, Second Int. B Conference Montpellier, pp. 82\u2013128 (1998)","key":"11_CR13","DOI":"10.1007\/BFb0053357"},{"unstructured":"Abrial, J.R.: Etude Syst\u00e9me: m\u00e9thode et exemple (1998)","key":"11_CR14"},{"key":"11_CR15","volume-title":"System Development","author":"M. Jackson","year":"1983","unstructured":"Jackson, M.: System Development. Prentice Hall, Englewood Cliffs (1983) ISBN: 0-12-379050-6"},{"unstructured":"Habrias, H.: Introduction \u00e1 la sp\u00e9cification. Masson (1993) ISBN: 2-225-82768-0","key":"11_CR16"},{"key":"11_CR17","volume-title":"Software Requirements & Specifications, a lexicon of practice, principles and prejudices","author":"M. Jackson","year":"1995","unstructured":"Jackson, M.: Software Requirements & Specifications, a lexicon of practice, principles and prejudices. Addison-Wesley, Reading (1995) ISBN: 0-201-87712-0"},{"key":"11_CR18","doi-asserted-by":"crossref","DOI":"10.1142\/2505","volume-title":"Construction and Analysis of Transition Systems with MEC","author":"A. Arnold","year":"1994","unstructured":"Arnold, A., Begay, D., Crubill\u00e9, P.: Construction and Analysis of Transition Systems with MEC. World Scientific, Singapore (1994) ISBN: 981-02-1922-9"},{"unstructured":"Baruk, S.: Echec et Maths. Editions du Seuil, Paris (1979) ISBN: 2-02-004720-9","key":"11_CR19"},{"key":"11_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-04558-9","volume-title":"Systems and Software Verification","author":"B. B\u00e9rard","year":"2001","unstructured":"B\u00e9rard, B., et al.: Systems and Software Verification. Springer, Heidelberg (2001) ISBN : 3-540-41523-8"},{"key":"11_CR21","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4280-2","volume-title":"The Companion Guide to the \u201dMathematical Experience\u201d","author":"P. Davis","year":"1995","unstructured":"Davis, P., Hersh, D., Marchisotto, E.: The Companion Guide to the \u201dMathematical Experience\u201d. Birkh\u00e4user, Basel (1995) ISBN: 0-817638490"},{"unstructured":"Davis, P.J., Hersh, D.: The Mathematical Experience. Haughton Mifflin Co. (1999) ISBN: 0-395-929687","key":"11_CR22"},{"unstructured":"Fearn, N.: Zeno and the tortoise - How to think like a philosopher. Atlantic Grove (2001) ISBN: 1-903809-13-4","key":"11_CR23"},{"key":"11_CR24","volume-title":"FACIT","author":"M. Frappier","year":"2000","unstructured":"Frappier, M., Habrias, H.: Software Specification Methods, An Overview Using a Case Study. In: FACIT, Springer, Heidelberg (2000) ISBN: 1-85233-353-7"},{"unstructured":"Habrias, H.: Dictionaire encyclop\u00e9dique du g\u00e9nie logiciel. Masson (1997) ISBN: 2-225-85328-2","key":"11_CR25"},{"unstructured":"Habrias, H.: Sp\u00e9cification formelle avec B\u201d. Lavoisier-Hermes (2001) ISBN: 2-7462-0302-2","key":"11_CR26"},{"key":"11_CR27","volume-title":"Concurrency: State Models & Java Program","author":"J. Magee","year":"1999","unstructured":"Magee, J., Kramer, J.: Concurrency: State Models & Java Program. Wiley, Chichester (1999) ISBN: 0-471-98710-7"},{"key":"11_CR28","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-0043-0","volume-title":"Understanding Formal Methods","author":"J. Monin","year":"2003","unstructured":"Monin, J.: Understanding Formal Methods. Springer, Heidelberg (2003) ISBN: 1-852-33247-6"},{"key":"11_CR29","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-Book, Assigning Programs to Meanings","author":"J.R. Abrial","year":"1996","unstructured":"Abrial, J.R.: The B-Book, Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996) ISBN: 0-521-49619-5"},{"unstructured":"Habrias, H., Andr\u00e9, P.: Writing constraints that do not fit to a specification paradigm. Technical report, LINA, Nantes (2004)","key":"11_CR30"},{"unstructured":"Mandelbaum, D.G. (ed.): Selected Writings of Edward Sapir in Language, Culture and Personality. University of California Press (1986) ISBN: 0-520055942","key":"11_CR31"},{"unstructured":"Quant: Diabolo math. Belin (1983) ISBN: 2-701-10452-1","key":"11_CR32"},{"key":"11_CR33","volume-title":"The B-Method: An Introduction","author":"S. Schneider","year":"2001","unstructured":"Schneider, S.: The B-Method: An Introduction. Palgrave, Oxford (2001) ISBN: 0-33379284-X"},{"key":"11_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/3-540-44525-0_7","volume-title":"ZB 2000: Formal Specification and Development in Z and B","author":"K. Robinson","year":"2000","unstructured":"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.\u00a01878, pp. 95\u2013106. Springer, Heidelberg (2000)"},{"key":"11_CR35","volume-title":"Conceptual Schema and Relational Database Design","author":"G. Nijssen","year":"1989","unstructured":"Nijssen, G., Halpin, T.: Conceptual Schema and Relational Database Design. Prentice Hall, Englewood Cliffs (1989) ISBN: 0-7248-0151-0"},{"unstructured":"Habrias, H.: Le mod\u00e9le relationnel binaire, M\u00e9thode NIAM. Eyrolles, Paris (1988)","key":"11_CR36"},{"doi-asserted-by":"crossref","unstructured":"Sekerinski, E.: Graphical design of reactive systems. In: B 1998 Second Int. B Conference Montpellier, pp. 182\u2013197 (1998)","key":"11_CR37","DOI":"10.1007\/BFb0053361"},{"unstructured":"Roland, H., Boyer, L.: Adages du droit fran\u00e7ais. Litec, Paris (1999) ISBN: 2-7111-3003-7","key":"11_CR38"},{"unstructured":"Le Lionnais, F.: Les grands courants de la pens\u00e9e math\u00e9matique. Hermann (1997)","key":"11_CR39"},{"key":"11_CR40","first-page":"1398","volume":"32","author":"E.W. Dijkstra","year":"1989","unstructured":"Dijkstra, E.W.: On the Cruelty of Teaching Computer Science. CACM\u00a032, 1398\u20131414 (1989)","journal-title":"CACM"},{"unstructured":"Dosen, K.: Le programme de Hilbert. In: Le concept de preuve \u00e1 la lumi\u00e9re de l\u2019intelligence artificielle (1999) ISBN: 2-20001472-4","key":"11_CR41"},{"key":"11_CR42","volume-title":"Semantic Information Processing","author":"M.L. Minsky","year":"1968","unstructured":"Minsky, M.L.: Matter, mind and models. In: Semantic Information Processing, MIT Press, Cambridge (1968) ISBN: 0-262130440"},{"key":"11_CR43","volume-title":"Esquisse d\u2019une grammaire pure","author":"J. Gardies","year":"1975","unstructured":"Gardies, J.: Esquisse d\u2019une grammaire pure. Vrin, Paris (1975) ISBN: 2-7116-4057-4"},{"unstructured":"Sinaceur, H.: Mod\u00e9le. In: Lecourt, D. (ed.) Dictionnaire d\u2019histoire et de philosophie des sciences, PUF (1999)","key":"11_CR44"},{"key":"11_CR45","first-page":"1412","volume":"32","author":"T. Winograd","year":"1989","unstructured":"Winograd, T.: Debate: On the Cruelty of Teaching Computer Science (a response to Dijkstra). CACM\u00a032, 1412\u20131413 (1989)","journal-title":"CACM"},{"unstructured":"Foucault, M.: The Birth of the Clinic. Pantheon (1973) ISBN: 0-394710975, translated from the french by A. S. Smith","key":"11_CR46"}],"container-title":["Lecture Notes in Computer Science","Teaching Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30472-2_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T04:02:28Z","timestamp":1620014548000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30472-2_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540236115","9783540304722"],"references-count":46,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30472-2_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}