1036 search results - page 72 / 208 » Design methods as discourse on practice |
ECBS
2005
IEEE
14 years 2 months ago
2005
IEEE
Architecture modeling is practiced extensively in the software industry but there is little attention paid to the traceability, verifiability and completeness of architecture desi...
SPIN
2010
Springer
13 years 7 months ago
2010
Springer
When applying model checking to the design models of the embedded systems, it is necessary to model not only the behavior of the target system but also that of the environment inte...
GECCO
2008
Springer
13 years 10 months ago
2008
Springer
While recent attempts to search a conceptual software engineering design search space with multi-objective evolutionary algorithms have yielded promising results, the practical ap...
VSTTE
2005
Springer
14 years 2 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
OOPSLA
1999
Springer
14 years 1 months ago
1999
Springer
Inspections can be used to identify defects in software artifacts. In this way, inspection methods help to improve software quality, especially when used early in software develop...