Affordable Access

A study of collaborative work: answers to a test on formal specification in B

IFIP Lecture Notes in Computer Science (LNCS)
Publication Date


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:Full Text at Springer, may require registration or fee

There are no comments yet on this publication. Be the first to share your thoughts.


Seen <100 times