Formal specifications better than function points for code sizing

June Andronick , Rafal Kolanski , Mark Staples , Len Bass
international conference on software engineering 1257 -1260

9
2013
Empirical study towards a leading indicator for cost of formal software verification

June Andronick , Mark Staples , Daniel Matichuk , Gerwin Klein
international conference on software engineering 1 722 -732

15
2015
The unending quest for valid, useful software engineering theories

Mark Staples
Proceedings of the Fourth SEMAT Workshop on General Theory of Software Engineering 47 -58

3
2015
Experiences using systematic review guidelines

Mark Staples , Mahmood Niazi
evaluation and assessment in software engineering 71 -80

389
2006
Regerator: a Registry Generator for Blockchain.

Paul Rimba , Mark Staples , Ingo Weber , An Binh Tran
CAiSE-Forum-DC 81 -88

19
2017
Risks and opportunities for systems using blockchain and smart contracts

Paul Rimba , Mark Staples , Ingo Weber , An Binh Tran
CSIRO

49
2017
Integrated Model-Driven Engineering of Blockchain Applications for Business Processes and Asset Management

Paul Rimba , Mark Staples , Qinghua Lu , Ingo Weber
arXiv: Software Engineering

53
2020
Digital Infrastructure Integrity Protocol for Smart and Legal Contracts DIIP 2021

Mark Staples , Mark Staples , Natasha Blycha , Ariane Garside
Social Science Research Network

2
2021
Overcoming the First Hurdle: Why Organizations Do Not Adopt CMMI

Nazrina Khurshid , Paul L. Bannerman , Mark Staples
Trustworthy Software Development Processes 38 -49

11
2009
Critical rationalism and engineering: ontology

Mark Staples
Synthese 191 ( 10) 2255 -2279

12
2014
Critical rationalism and engineering: methodology

Mark Staples
Synthese 192 ( 1) 337 -362

9
2015
Two case studies on small enterprise motivation and readiness for CMMI

Mark Staples , Mahmood Niazi
Proceedings of the 11th International Conference on Product Focused Software - PROFES '10 63 -66

10
2010
Systematic selection of quality attribute techniques

Yin Kia Chiam , Liming Zhu , Mark Staples
Proceedings of the 11th International Conference on Product Focused Software - PROFES '10 59 -62

3
2010
Applying a selection method to choose Quality Attribute Techniques

Yin Kia Chiam , Mark Staples , Xin Ye , Liming Zhu
Information & Software Technology 55 ( 8) 1419 -1436

9
2013
An empirical research agenda for understanding formal methods productivity

Ross Jeffery , Mark Staples , June Andronick , Gerwin Klein
Information & Software Technology 60 ( 60) 102 -112

14
2015
Interfaces for refining recursion and procedures

Mark Staples
Formal Aspects of Computing 12 ( 5) 372 -391

3
2000
On Creating Industry-Wide Reference Architectures

Liming Zhu , Mark Staples , Vladimir Tosic
enterprise distributed object computing 24 -30

17
2008
On Availability for Blockchain-Based Systems

Ingo Weber , Vincent Gramoli , Alex Ponomarev , Mark Staples
symposium on reliable distributed systems 64 -73

71
2017
An exploratory study of why organizations do not adopt CMMI

Mark Staples , Mahmood Niazi , Ross Jeffery , Alan Abrahams
Journal of Systems and Software 80 ( 6) 883 -895

222
2007