An empirical research agenda for understanding formal methods productivity
Authors:
- Ross JefferyRJRoss Jeffery
- Mark StaplesMSMark Staples
- June AndronickJAJune Andronick
- Gerwin KleinGKGerwin Klein
- Toby MurrayTMToby Murray
- 1 April 2015
- journal article
- Published by Elsevier in Information and Software Technology
- Vol. 60, 102-112
Abstract
No abstract availableFunding Information
- Australian Government
This publication has 24 references indexed in Scilit:
- On the use of software design models in software development practice: An empirical investigationJournal of Systems and Software, 2014
- Predictive Software Measures based on Z Specifications - A Case StudyElectronic Proceedings in Theoretical Computer Science, 2012
- The Nature of Theory in Information Systems1MIS Quarterly, 2006
- Ten Commandments of Formal Methods ...Ten Years LaterComputer, 2006
- Formal Methods Diffusion: Past Lessons and Future ProspectsLecture Notes in Computer Science, 2000
- Formal methodsACM Computing Surveys, 1996
- Seven more myths of formal methodsIEEE Software, 1995
- Ten commandments of formal methodsComputer, 1995
- An International Survey of Industrial Applications of Formal Methods1995
- Software measurement: A conceptual frameworkJournal of Systems and Software, 1990