This paper describes the lessons we learned over a thirteen year period while helping to develop the shutdown systems for the nuclear generating station at Darlington, Ontario, Can...
Educators teaching software engineering face a large problem when trying to assign "real world" projects. Should the instructors make up "real world" projects ...
In this paper I examine what industry really needs from formal specification techniques. I first describe the background to our use of formal techniques. I then look at the role o...
: Over the last years the telecommunications industry has shifted from technology driven and incumbent operators to business driven service providers. There is a need for mature, c...