%0 Conference Paper %1 Lamsweerde2006 %A van Lamsweerde, Axel %B ICSE '00: Proceedings of the Conference on The Future of Software Engineering %C New York, NY, USA %D 2000 %I ACM %K formal fundamentals model paradigm specification %P 147--159 %R http://doi.acm.org/10.1145/336512.336546 %T Formal specification: a roadmap %U http://portal.acm.org/citation.cfm?id=336512.336546 %@ 1-58113-253-0

@inproceedings{Lamsweerde2006, added-at = {2008-06-02T15:19:53.000+0200}, address = {New York, NY, USA}, author = {van Lamsweerde, Axel}, biburl = {https://www.bibsonomy.org/bibtex/26d63453778f537d792cfb0ef23add9c7/ist_spl}, booktitle = {ICSE '00: Proceedings of the Conference on The Future of Software Engineering}, description = {Formal specification}, doi = {http://doi.acm.org/10.1145/336512.336546}, interhash = {049f214610ed998ca43f6a60f440b2c9}, intrahash = {6d63453778f537d792cfb0ef23add9c7}, isbn = {1-58113-253-0}, keywords = {formal fundamentals model paradigm specification}, location = {Limerick, Ireland}, note = {MR: Wertvoll wegen dem Überblick über formale Spezifikations- und somit Modell-Paradigmen.}, pages = {147--159}, publisher = {ACM}, timestamp = {2008-06-02T15:19:53.000+0200}, title = {Formal specification: a roadmap}, url = {http://portal.acm.org/citation.cfm?id=336512.336546}, year = 2000 }