2030 search results - page 206 / 406 » Checklists for Software Engineering Case Study Research |
APSEC
1998
IEEE
14 years 14 days ago
1998
IEEE
We present a calculus which can transfer specifications to objects for the development of real-time systems. The object model is based on a practical OO development technique--HRT...
CBSE
2006
Springer
13 years 12 months ago
2006
Springer
This paper addresses the unavoidable problem of dynamic reconfiguration in component-based system with a hierarchical component model. The presented solution is based on (1) allowi...
ASWEC
2001
IEEE
13 years 12 months ago
2001
IEEE
Animation tools haveproven to be effective asa means of visualising formal specijcations. Specijcations that might otherwise be impenetrable can be communicated to a wide range of...
EUROMICRO
2009
IEEE
13 years 11 months ago
2009
IEEE
- Managing the product’s backlog is a major task in agile projects. This case study reports on one organization’s experiences from the transition to a backlog management tool a...
ADAEUROPE
2008
Springer
13 years 10 months ago
2008
Springer
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...