article

Free access

Protocol analysis: a neglected practice

Authors:

Stephen Owen,

Pearl Brereton,

David BudgenAuthors Info & Claims

Communications of the ACM, Volume 49, Issue 2

Pages 117 - 122

https://doi.org/10.1145/1113034.1113039

Published: 01 February 2006 Publication History

All formats PDF

Abstract

Protocol analysis is an evidence-gathering technique with an established record in experimental psychology. Here, it is applied to study how programmers solve problems.

References

[1]

Ericsson, K.A. and Simon, H. Protocol Analysis: Verbal Reports as Data. MIT Press, Cambridge, MA, 1993.

Crossref

Google Scholar

[2]

Glass, R.L., Vessey, I., and Ramesh, V. Research in software engineering: An analysis of the literature. Inf. Softw. Technol. 44, 8 (2002), 491--506.

Digital Library

Google Scholar

[3]

Goldschmidt, G. Linkography: Assessing design productivity. In Proceedings of the 10th European Meeting on Cybernetics and Systems Research. World Scientific, Singapore, 1990, 291--298.

Google Scholar

[4]

Kitchenham, B.A., Dyba, T., and Jorgensen, M. Evidence-based software engineering. In Proceedings of ICSE `04 (Edinburgh, Scotland, May 23-28). IEEE Computer Society Press, Piscataway, NJ, 2004, 273--281.

Digital Library

Google Scholar

[5]

Owen, S., Budgen, D., and Brereton, P. Information use in CBSE design. In Proceedings of COMPSAC `03 (Dallas, TX, Nov. 3--6). IEEE Computer Society Press, Piscataway, NJ, 2003, 406--412.

Digital Library

Google Scholar

[6]

Pfleeger, S.L. and Kitchenham, B.A. Principles of survey research. ACM Softw. Eng. Notes 26, 6 (2001), 16--18.

Digital Library

Google Scholar

[7]

Pohthong, A. and Budgen, D. Reuse strategies in software development: An empirical study. Inf. Softw. Technol. 43, 9 (2001), 561--575.

Crossref

Google Scholar

[8]

Ramesh V., Glass, R.L., and Vessey, I. An analysis of research in computing disciplines. Commun. ACM 47, 6 (June 2004), 89--94.

Digital Library

Google Scholar

[9]

van Someren, M.W., Barnard, Y.F., and Sandberg, J. The Think-Aloud Method: A Practical Guide to Modeling Cognitive Processes. Academic Press, London, 1994.

Google Scholar

[10]

von Mayrhauser, A. and Lang, S. A coding scheme to support systematic analysis of software comprehension. IEEE Trans. Softw. Eng. 25, 4 (July 1999), 526--540.

Digital Library

Google Scholar

Cited By

View all

Wohlin CRuneson PHöst MOhlsson MRegnell BWesslén AWohlin CRuneson PHöst MOhlsson MRegnell BWesslén A(2024)Case StudiesExperimentation in Software Engineering10.1007/978-3-662-69306-3_7(85-106)Online publication date: 8-May-2024
https://doi.org/10.1007/978-3-662-69306-3_7
Alegroth EPetersen ETinnerholm J(2021)A Failed attempt at creating Guidelines for Visual GUI Testing: An industrial case study2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST)10.1109/ICST49551.2021.00046(340-350)Online publication date: Apr-2021
https://doi.org/10.1109/ICST49551.2021.00046
Cervera MAlbert MTorres VPelechano V(2018)On the usefulness and ease of use of a model-driven Method Engineering approachInformation Systems10.1016/j.is.2015.01.00650:C(36-50)Online publication date: 29-Dec-2018
https://dl.acm.org/doi/10.1016/j.is.2015.01.006
Show More Cited By

Recommendations

Secure Protocol Transformations
Proceedings, Part II, of the 36th Annual International Cryptology Conference on Advances in Cryptology --- CRYPTO 2016 - Volume 9815

In the rich literature of secure multi-party computation MPC, several important results rely on "protocol transformations," whereby protocols from one model of MPC are transformed to protocols from another model. Motivated by the goal of simplifying and ...
An efficient certified email protocol
ISC'07: Proceedings of the 10th international conference on Information Security

A certified email protocol, also known as a nonrepudiation protocol, allows a message to be exchanged for an acknowledgement of reception in a fair manner: a sender Alice sends a message to a receiver Bob if and only if Alice receives a receipt from ...
An almost-optimally fair three-party coin-flipping protocol
STOC '14: Proceedings of the forty-sixth annual ACM symposium on Theory of computing

In a multiparty fair coin-flipping protocol, the parties output a common (close to) unbiased bit, even when some corrupted parties try to bias the output. Cleve [STOC 1986] has shown that in the case of dishonest majority (i.e., at least half of the ...

Comments

Information & Contributors

Information

Published In

Communications of the ACM Volume 49, Issue 2

Next-generation cyber forensics

February 2006

127 pages

ISSN:0001-0782

EISSN:1557-7317

DOI:10.1145/1113034

Issue’s Table of Contents

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 February 2006

Published in CACM Volume 49, Issue 2

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

26
Total Citations
View Citations
1,598
Total Downloads

Downloads (Last 12 months)166
Downloads (Last 6 weeks)23

Reflects downloads up to 03 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Wohlin CRuneson PHöst MOhlsson MRegnell BWesslén AWohlin CRuneson PHöst MOhlsson MRegnell BWesslén A(2024)Case StudiesExperimentation in Software Engineering10.1007/978-3-662-69306-3_7(85-106)Online publication date: 8-May-2024
https://doi.org/10.1007/978-3-662-69306-3_7
Alegroth EPetersen ETinnerholm J(2021)A Failed attempt at creating Guidelines for Visual GUI Testing: An industrial case study2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST)10.1109/ICST49551.2021.00046(340-350)Online publication date: Apr-2021
https://doi.org/10.1109/ICST49551.2021.00046
Cervera MAlbert MTorres VPelechano V(2018)On the usefulness and ease of use of a model-driven Method Engineering approachInformation Systems10.1016/j.is.2015.01.00650:C(36-50)Online publication date: 29-Dec-2018
https://dl.acm.org/doi/10.1016/j.is.2015.01.006
Runeson PHöst M(2018)Guidelines for conducting and reporting case study research in software engineeringEmpirical Software Engineering10.1007/s10664-008-9102-814:2(131-164)Online publication date: 26-Dec-2018
https://dl.acm.org/doi/10.1007/s10664-008-9102-8
Bera PEvermann J(2018)Guidelines for using UML association classes and their effect on domain understanding in requirements engineeringRequirements Engineering10.1007/s00766-012-0159-y19:1(63-80)Online publication date: 24-Dec-2018
https://dl.acm.org/doi/10.1007/s00766-012-0159-y
Rojas JFraser GArcuri AYoung MXie T(2015)Automated unit test generation during software development: a controlled experiment and think-aloud observationsProceedings of the 2015 International Symposium on Software Testing and Analysis10.1145/2771783.2771801(338-349)Online publication date: 13-Jul-2015
https://dl.acm.org/doi/10.1145/2771783.2771801
Zhao W(2014)Protocols Analysis Based on the Combination Mode of Walsh FunctionApplied Mechanics and Materials10.4028/www.scientific.net/AMM.543-547.3482543-547(3482-3485)Online publication date: Mar-2014
https://doi.org/10.4028/www.scientific.net/AMM.543-547.3482
Zhao W(2014)Protocols Analysis by Base-FunctionApplied Mechanics and Materials10.4028/www.scientific.net/AMM.530-531.682530-531(682-685)Online publication date: Feb-2014
https://doi.org/10.4028/www.scientific.net/AMM.530-531.682
D. Tomasi S(2014)Using cues to forage for information on the WebJournal of Systems and Information Technology10.1108/JSIT-01-2014-000316:4(296-312)Online publication date: 4-Nov-2014
https://doi.org/10.1108/JSIT-01-2014-0003
Razavian MLago P(2013)A lean and mean strategy: a data migration industrial studyJournal of Software: Evolution and Process10.1002/smr.161326:2(141-171)Online publication date: 12-Sep-2013
https://doi.org/10.1002/smr.1613
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Magazine Site

View this article on the magazine site (external)

Magazine Site

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Recommendations

Secure Protocol Transformations

An efficient certified email protocol

An almost-optimally fair three-party coin-flipping protocol

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Magazine Site

Login options

Full Access

Share

Share this Publication link

Share on social media

Affiliations