Articles with public access mandates - Mark StaplesLearn more
Not available anywhere: 1
The Unending Quest for Valid, Useful Software Engineering Theories
M Staples
4th SEMAT Workshop on a General Theory of Software Engineering, 47-58, 2015
Mandates: Australian Research Council
Available somewhere: 10
Blockchains for business process management-challenges and opportunities
J Mendling, I Weber, WVD Aalst, JV Brocke, C Cabanillas, F Daniel, ...
ACM Transactions on Management Information Systems (TMIS) 9 (1), 1-16, 2018
Mandates: European Commission
Blockchain standard: Can we reach consensus?
V Gramoli, M Staples
IEEE Communications Standards Magazine 2 (3), 16-21, 2018
Mandates: Australian Research Council
Empirical study towards a leading indicator for cost of formal software verification
D Matichuk, T Murray, J Andronick, R Jeffery, G Klein, M Staples
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015
Mandates: Australian Research Council
An empirical research agenda for understanding formal methods productivity
R Jeffery, M Staples, J Andronick, G Klein, T Murray
Information and software technology 60, 102-112, 2015
Mandates: Australian Research Council
Critical rationalism and engineering: ontology
M Staples
Synthese 191 (10), 2255-2279, 2014
Mandates: Australian Research Council
Continuous validation for data analytics systems
M Staples, L Zhu, J Grundy
Proceedings of the 38th International Conference on Software Engineering …, 2016
Mandates: Australian Research Council
Productivity for proof engineering
M Staples, R Jeffery, J Andronick, T Murray, G Klein, R Kolanski
Proceedings of the 8th ACM/IEEE International Symposium on Empirical …, 2014
Mandates: Australian Research Council
Critical rationalism and engineering: methodology
M Staples
Synthese 192, 337-362, 2015
Mandates: Australian Research Council
Applying a selection method to choose Quality Attribute Techniques
YK Chiam, M Staples, X Ye, L Zhu
Information and Software technology 55 (8), 1419-1436, 2013
Mandates: Australian Research Council
Formal specifications better than function points for code sizing
M Staples, R Kolanski, G Klein, C Lewis, J Andronick, T Murray, R Jeffery, ...
2013 35th International Conference on Software Engineering (ICSE), 1257-1260, 2013
Mandates: Australian Research Council
Publication and funding information is determined automatically by a computer program