1538 search results - page 171 / 308 » Software design and engineering as a social process |
CAD
2005
Springer
14 years 10 months ago
2005
Springer
CAD has been traditionally used to assist in engineering design and modeling for representation, analysis and manufacturing. Advances in Information Technology and in Biomedicine ...
METRICS
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper addresses not only the question of testability measurement of OO designs but also focuses on its practicability. While detecting testability weaknesses (called testabil...
SIMUTOOLS
2008
14 years 11 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
FASE
1999
Springer
15 years 2 months ago
1999
Springer
JTN is a formal graphic notation for Java-targeted design speci cations, that are speci cations of systems that will be implemented using Java. JTN is aimed to be a part of a more ...
CODES
2003
IEEE
15 years 3 months ago
2003
IEEE
The analysis of the amount of human resources required to complete a project is felt as a critical issue in any company of the electronics industry. In particular, early estimatin...