Toward Formal-Methods Oecumenism?

DOI Bookmark:

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

July 2006 (vol. 7 no. 7) pp. 2

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

	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

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.