Andreas Bollin (2004):
Specification Comprehension – Reducing the Complexity of Specifications.
University of Klagenfurt.
Andreas Bollin (2007):
Concept Location in Formal Specifications.
Journal of Software Maintenance and Evolution: Research and Practice Manuscript submitted Jan. 2007,
doi:10.1002/smr.363.
Andreas Bollin (2010):
Slice-based Formal Specifiation Measures – Mapping Coupling and Cohesion Measures to Formal Z.
In: Cèsar Muñoz: Proceedings of the Second NASA Formal Methods Symposium,
NASA/CP-2010-216215.
NASA, Langley Research Center,
pp. 24–34.
Juei Chang & Debra J. Richardson (1994):
Static and Dynamic Specification Slicing.
Technical Report.
Department of Information and Computer Science, University of California.
Rod Chapman (2009):
The Tokeneer ID Station – Overview and Readers Guide. S.P1229.81.8. Issue: 1.4.
Praxis High Integrity Systems.
Norman E. Fenton & Shari Lawrence Pfleeger (1989):
Software Metrics,
2nd edition.
Thompson Press.
Mark Harman, Margaret Okulawon, Bala Sivagurunathan & Sebastian Danicic (1997):
Slice-based measurement of coupling.
In: Proceedings of the ICSE workshop on Process Modelling and Empirical Studies of Software Evolution. Boston, Massachusetts.
IEEE Computer Society,
Los Alamitos, CA, USA,
pp. 28–32.
Sally M. Henry & Dennis G. Kafura (1981):
Software structure metrics based on information flow.
IEEE Transactions on Software Engineering 7(5),
pp. 510–518,
doi:10.1109/TSE.1981.231113.
Magne Jørgensen (2004):
A review of studies on expert estimation of software development effort.
Journal of Systems and Software 70(1–2),
pp. 37–60,
doi:10.1016/S0164-1212(02)00156-5.
Pia Veldt Larsen (2008):
ST111: Regression and analysis of variance – Module 8: Selecting regression models.
Manual from statmaster.sdu.dk/courses/st111/module08, Syddansk University, Department of Statistics.
Petra Malik (2011):
A retrospective on CZT.
Software – Practice and Experience 41(2),
pp. 179–188,
doi:10.1002/spe.1015.
Roland T. Mittermeir & Andreas Bollin (2003):
Demand-driven Specification Partitioning.
In: Proceedings of the 5th Joint Modular Languages Conference, JMLC'03,
pp. 241–253,
doi:10.1007/978-3-540-45213-3\voidb@x width0.4em30.
Tomohiro Oda & Keijiri Araki (1993):
Specification slicing in a formal methods software development.
In: Seventeenth Annual International Computer Software and Applications Conference,
IEEE Computer Socienty Press,
pp. 313–319,
doi:10.1109/CMPSAC.1993.404234.
Linda M. Ott & Jeffrey J. Thus (1989):
The Relationship between Slices and Module Cohesion.
In: 11th International Conference on Software Engineering.
IEEE Computer Society,
Los Alamitos, CA, USA,
pp. 198–204,
doi:10.1145/74587.74614.
Lawrence H. Putnam & Ware Myers (2003):
Five Core Metrics: The Intelligence Behind Successful Software Management.
Dorset House.
D. G. Rees (2003):
Essential Statistics,
4th edition.
Chapman & Hall.
W.B. Samson, Denis G. Nevill & P.I. Dugard (1987):
Predictive software metrics based on a formal specification.
In: Information and Software Technology,
5 29,
pp. 242–248.
Martin J. Shepperd & Darrel C. Ince (1990):
The use of metrics in the early detection of design errors.
In: Proceedings of the European Software Engineering Conference ’90,
pp. 67–85.
Harry M. Sneed, Richard Seidl & Manfred Baumgartner (2010):
Software in Zahlen.
Carl Hanser Verlag.
Abdollah Tabareh (2011):
Predictive Software Measures Based on Formal Z Specifications.
University of Gothenburg - Department of Computer Science and Engineering.
Mark Weiser (1982):
Program slicing.
In: Proceedings of the 5th International Conference on Software Engineering.
IEEE Press,
Piscataway, NJ, USA,
pp. 439–449.
eptcs@eptcs.org