5407 search results - page 182 / 1082 » The Software Engineering Global Model |
142
Voted
MOMPES
2007
IEEE
15 years 9 months ago
2007
IEEE
The alignment of the software architecture and the functional requirements of a system is a demanding task because of the difficulty in tracing design elements to requirements. Th...
105
click to vote
SEFM
2007
IEEE
15 years 9 months ago
2007
IEEE
Directed model checking algorithms focus computation resources in the error-prone areas of concurrent systems. The algorithms depend on some empirical analysis to report their per...
136
Voted
ISSRE
2007
IEEE
15 years 5 months ago
2007
IEEE
This paper describes a study performed in an industrial setting that attempts to build predictive models to identify parts of a Java system with a high probability of fault. The s...
142
Voted
EUROMICRO
1997
IEEE
15 years 7 months ago
1997
IEEE
The paper presents a hierarchical modeling approach of the N version programming in a real – time environment. The model is constructed in three layers. At the first layer we d...
121
click to vote
CODES
2007
IEEE
15 years 10 months ago
2007
IEEE
Early embedded SW development with transaction-level models has been broadly promoted to improve SoC design productivity. But the proposed APIs only provide low-level read/write o...