Please note: for downloading one (or more) of the following files you need to register for a user account. To do so, just send us a short email with your full name, affiliation and a brief explanatory statement for the use of the documents.

Collection of Theses:

• A. Bollin. Specification Comprehension - Reducing the Complexity of Specifications. PhD Thesis. AAU Klagenfurt. April 2004


• J.Lessacher. Visualisierung von Spezifikationen - Die Transformation von formalen Z-Spezifikationen in UML-Diagramme. Master Thesis (in German). AAU Klagenfurt, March 2008.


• D. Pohl. Specification Comprehension. Konzeptverwaltung am Beispiel zustandsbasierter Spezifikationen. Master Thesis (in German). AAU Klagenfurt. July 2008.


• A. Tabareh. Predictive Software Measures Based on Formal Z Specifications. Master Thesis. IT University Göteborg. Sep. 2011.

Journal Contributions:

• Bollin A.: Coupling-based transformations of Z specifications into UML diagrams. In International NASA Journal on Innovations in Systems and Software Engineering, Volume 7, Number 4, 283-292, 2012.


• Pohl D., Bollin A.: Concept Management: Identification and Storage of Concepts in the Focus of Formal Z Specifications. In: Communications in Computer and Information Science, 2010, Volume 69, II, 248-261. Berlin, Heidelberg, New York: Springer Verlag GmbH. 2010.


• Bollin A.: Concept Location in Formal Specifications. Journal on Software Maintenance and Evolution: Research and Practice. Wiley and Sons Ltd., Jan. 2008.


• Bollin A.: Crossing the Borderline - from Formal to Semi-Formal Specifications. IFIP Journal on Software Engineering Techniques: Design for Quality. Springer, 227:73–84, 2006.
  

Papers:

• Bollin A., Tabareh A.: Predictive Software Measures based on Z Specifications –- A Case Study. In Proceedings of the 2nd Workshop on Formal Methods in the Development of Software co-located with the 18th Symposium on Formal Methods, CNAM Paris, France. August 2012.


• Bollin A.: Is There Evolution Before Birth? Deterioration Effects of Formal Z Specifications Lecture Notes in Computer Science, 6991 (Formal Methods and Software Engineering): 66–81, 2011.


• Bollin A.: Slice-based Formal Specification Measures - Mapping Coupling and Cohesion Measures to Formal Z. In: In César Muñoz (Ed.): Proceedings of the Second NASA Formal Methods Symposium, NASA/CP-2010-216215, pages 24–34. NASA, Langley Research Center, April 2010.


• Pohl D., Bollin A., Database-Driven Concept Management - Lessons Learned from Using EJB Technologies. Proceedings of the 4th International Conference on Evaluation of Novel Approaches to Software Engineering, 9-10 May 2009, Milan, Italy. 2009.


• Bollin A.: Maintaining Formal Specifications – Decomposition of Large Z Specifications. 21st International Conference on Software Maintenance 2005. September 2005, Budapest. 2005.


• Bollin A.: The Efficiency of Specification Fragments. In: Institute of Electrical and Electronics Engineers, Inc. (Ed.): 11th Working Conference on Reverse Engineering WCRE 2004, 8-12 Nov. 2004, Delft, The Netherlands: IEEE Press 2004.


• Bollin A., Mittermeir R.: Specification Fragments with Defined Semantics to Support SW-Evolution. In: Proc. ACS/IEEE International Conference on Computer Systems and Applications, AICCSA, Tunis, 14-18 July, 2003.


• Mittermeir R., Bollin A.: Demand-Driven Specification Partitioning. In: Modular Programming Languages, JMLC 2003, Klagenfurt, August 2003, Proceedings. LNCS, 2789. 2003.


• Bollin A.: Specification Transformation as a Basis for Specification Comprehension. In: N.H. Hamza (Ed.): Proceedings of the Twentieth IASTED International Conference Applied Informatics (AI 2002, Innsbruck, Austria) Anaheim, Calgary, Zürich: ACTA Press 2002.