46 search results - page 1 / 10 » Lessons Learned from a Successful Implementation of Formal M... |
FM
2003
Springer
13 years 10 months ago
2003
Springer
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...
FMICS
2010
Springer
13 years 6 months ago
2010
Springer
FECS
2006
13 years 6 months ago
2006
Educators teaching software engineering face a large problem when trying to assign "real world" projects. Should the instructors make up "real world" projects ...
WIFT
1998
IEEE
13 years 9 months ago
1998
IEEE
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...
GI
2009
Springer
13 years 2 months ago
2009
Springer
: 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...