343 search results - page 13 / 69 » Design methodology for IRA codes |
ATAL
2009
Springer
14 years 4 months ago
2009
Springer
The agentTool III (aT3 ) development environment is built on the Eclipse platform and provides traditional model creation tools to support the analysis, design, and implementation...
CODES
1998
IEEE
14 years 2 months ago
1998
IEEE
Next generation embedded systems place new demands on an efficient methodology for their design and verification. These systems have to support interaction over a network, multipl...
CODES
2001
IEEE
14 years 1 months ago
2001
IEEE
This paper addresses the problem of estimating cost and development effort of a system, starting from its complete or partial high-level description. In addition, some modificatio...
AGILEDC
2006
IEEE
14 years 4 months ago
2006
IEEE
Design by contract is a practical methodology for developing code together with its specification. The contract consists of class invariants and method preand postconditions. As ...
ICSE
2011
IEEE-ACM
13 years 1 months ago
2011
IEEE-ACM
A dependability case is an explicit, end-to-end argument, based on concrete evidence, that a system satisfies a critical property. We report on a case study constructing a depend...