2030 search results - page 206 / 406 » Checklists for Software Engineering Case Study Research |
122
Voted
APSEC
1998
IEEE
15 years 6 months 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...
110
Voted
CBSE
2006
Springer
15 years 6 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...
111
click to vote
ASWEC
2001
IEEE
15 years 6 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
15 years 5 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...
110
click to vote
ADAEUROPE
2008
Springer
15 years 4 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...