221 search results - page 19 / 45 » A Quality Circle Tool for Software Models |
152
click to vote
SEUS
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— This paper presents SW synthesis using Embedded System Environment (ESE), a tool set for design of multicore embedded systems. We propose a classification of multicore...
262
click to vote
SOMET
2007
15 years 5 months ago
2007
The high cost of software maintenance could potentially be reduced by automatically improving the design of object-oriented programs without altering their behaviour. We have const...
120
click to vote
JSS
2002
15 years 4 months ago
2002
As a baseline for software development, a correct and complete requirements definition is one foundation of software quality. Previously, a novel approach to static testing of sof...
140
click to vote
ATMOS
2007
15 years 6 months ago
2007
Efficient public transportation is becoming increasingly vital for modern capitals. DSB S-tog a/s is the major supplier of rail traffic on the infrastructure of the city-rail netwo...
176
click to vote
CBSQ
2003
Springer
15 years 9 months ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...