147 search results - page 9 / 30 » Lessons from the JML Project |
ICRA
2002
IEEE
14 years 1 months ago
2002
IEEE
Design, control, and performance of a ball-throwing robot are examined in this paper. The objective of this project is to provide an interactive ball-throwing robotic arm for illu...
WIFT
1998
IEEE
14 years 20 days 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...
IIE
2007
13 years 8 months ago
2007
Two years ago the Faculty of Mathematics and Informatics at Sofia University makes a decision to design a new series of Logo-based courses which make use of the modern technology....
ICSE
1998
IEEE-ACM
14 years 19 days ago
1998
IEEE-ACM
Joining a software development team is like moving to a new country to start employment; the immigrant has a lot to learn about the job, the local customs, and sometimes a new lan...
ECTEL
2007
Springer
14 years 2 months ago
2007
Springer
Projects involving technology are notoriously dogged with difficulties and a number of lessons can be learned. Rather than detail examples from particular TEL projects, the author ...