5407 search results - page 733 / 1082 » The Software Engineering Global Model |
163
click to vote
METRICS
2003
IEEE
16 years 21 days ago
2003
IEEE
As distributed technologies become more widely used, the need for assessing the quality of distributed applications correspondingly increases. Despite the rich body of research an...
176
click to vote
ICFEM
2007
Springer
16 years 1 months ago
2007
Springer
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
220
click to vote
SEKE
2005
Springer
16 years 27 days ago
2005
Springer
This paper presents a state-based approach to testing aspect-oriented programs. Aspectual state models, as an extension to the testable FREE state model of classes, are exploited ...
179
click to vote
FDL
2003
IEEE
16 years 21 days ago
2003
IEEE
The Unified Modelling Language (UML) is a language for specifying, visualizing, constructing, and documenting the artefacts of software systems, as well as for modelling business ...
178
click to vote
ICCAD
1994
IEEE
15 years 11 months ago
1994
IEEE
The reuse of well-tested and optimized design objects is an important aspect for decreasing design times, increasing design quality, and improving the predictability of designs. R...