4919 search results - page 685 / 984 » A Process-Ontological Model for Software Engineering |
131
click to vote
SEKE
2004
Springer
15 years 9 months ago
2004
Springer
People often use software for mundane tasks and expect it to be dependable enough for their needs. Unfortunately, the incomplete and imprecise specifications of such everyday sof...
114
click to vote
METRICS
2003
IEEE
15 years 9 months 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...
118
click to vote
ICFEM
2007
Springer
15 years 10 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...
172
click to vote
SEKE
2005
Springer
15 years 10 months 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 ...
123
click to vote
FDL
2003
IEEE
15 years 9 months 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 ...