665 search results - page 36 / 133 » Extending Software Development Methodologies to Support Trus... |
BIRTHDAY
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. The error-prone process of formal specification and verification of large systems requires an efficient, evolutionary formal development approach. Development graphs have...
WMTE
2005
IEEE
15 years 4 months ago
2005
IEEE
Many universities and further education colleges provide Virtual Learning Environments (VLEs). In recent years a new direction has been to extend these to support Personal Develop...
HICSS
2006
IEEE
15 years 4 months ago
2006
IEEE
Research on knowledge management (KM) readiness has matured. However, recent organizational structures have emerged which prevent traditional instruments from adequately measuring...
102
click to vote
AGILEDC
2003
IEEE
15 years 4 months ago
2003
IEEE
As part of the delivery an automated hub for a postal operator, the Solystic company has to build a complex and feature rich Information System that supports a highly automated pr...
IAT
2003
IEEE
15 years 3 months ago
2003
IEEE
The design of a an agent system for robotics is a problem that involves aspects coming from many different disciplines (robotics, artificial intelligence, computer vision, softwa...