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 |