Toward Formal-Methods Oecumenism?

Publication
2006
Issue No. 7 - July
Abstract - Toward Formal-Methods Oecumenism?

	This Article
	PDF HTML RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Fabrice Kordon Articles by Laure Petrucci

Toward Formal-Methods Oecumenism? (HTML)

July 2006 (vol. 7 no. 7)

pp. 2

	ASCII Text	x
	Fabrice Kordon, Laure Petrucci, "Toward Formal-Methods Oecumenism?," IEEE Distributed Systems Online, vol. 7, no. 7, pp. 2, July, 2006.

	BibTex	x
	@article{ 10.1109/MDSO.2006.47, author = {Fabrice Kordon and Laure Petrucci}, title = {Toward Formal-Methods Oecumenism?}, journal ={IEEE Distributed Systems Online}, volume = {7}, number = {7}, issn = {1541-4922}, year = {2006}, doi = {http://doi.ieeecomputersociety.org/10.1109/MDSO.2006.47}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - MGZN JO - IEEE Distributed Systems Online TI - Toward Formal-Methods Oecumenism? IS - 7 SN - 1541-4922 SP EP EPD - 2 A1 - Fabrice Kordon, A1 - Laure Petrucci, PY - 2006 KW - formal methods KW - software engineering VL - 7 JA - IEEE Distributed Systems Online ER -

Fabrice Kordon, Université Pierre & Marie Curie, LIP6/MoVe

Laure Petrucci, Universit? Paris 13, LIPN

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MDSO.2006.47

Arguing that there?s only one way to do formal methods is common practice, when in fact interoperability between formal methods can and should be achieved.

Index Terms:

formal methods, software engineering

Citation:

Fabrice Kordon, Laure Petrucci, "Toward Formal-Methods Oecumenism?," IEEE Distributed Systems Online, vol. 7, no. 7, pp. 2, July 2006, doi:10.1109/MDSO.2006.47

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.