Author:
Pohl Daniela,Bollin Andreas
Publisher
Springer Berlin Heidelberg
Reference34 articles.
1. Mittermeir, R.T., Bollin, A.: Demand-driven Specification Partitioning. In: Proceedings of the 5th Joint Modular Languages Conference (2003)
2. Wilde, N., Scully, M.C.: Software Reconnaissance: Mapping Program Features to Code. Journal of Software Maintenance: Research and Practice 7, 49–62 (1995)
3. Spivey, J.: The Z Notation: A Reference Manual, 2nd edn. Prentice Hall International, Englewood Cliffs (1992)
4. Rational-XDE: IBM Rational XDE DeveloperWorks Home Page,
www.ibm.com/developerworks/rational/products/xde/
(Page last visited: March 2009)
5. Eclipse-GMT: Homepage,
http://www.eclipse.org/gmt/
(Page last visited: March 2009)