Abstract
Objective It is commonly admitted that strength comes through unity. The point we address here, is to discuss to what extent this applies to a pair of students facing a test in formal specification (B notation). More precisely, we aim at deciding whether collaborative work is of benefit for one, other, or both of the collaborating students.We use data analysis to examine a sample of students and derive some qualitative and quantitative information. What follows is a seminal work: i.e., the sample is small. Here follow the main points of our contribution:
-
Identification of a strategy to design a formal specification test and collect data
-
Proposal of a statistical approach to exploratory data analysis
-
Application of graphical analysis and statistical hypothesis testing procedures
Chapter PDF
Similar content being viewed by others
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Habrias, H., Poizat, P., Lafaye, JY. (1999). A study of collaborative work: answers to a test on formal specification in B. In: Wing, J.M., Woodcock, J., Davies, J. (eds) FM’99 — Formal Methods. FM 1999. Lecture Notes in Computer Science, vol 1709. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48118-4_50
Download citation
DOI: https://doi.org/10.1007/3-540-48118-4_50
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66588-5
Online ISBN: 978-3-540-48118-8
eBook Packages: Springer Book Archive