5407 search results - page 182 / 1082 » The Software Engineering Global Model |
181
click to vote
MOMPES
2007
IEEE
16 years 24 days 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...
158
click to vote
SEFM
2007
IEEE
16 years 24 days 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...
181
click to vote
ISSRE
2007
IEEE
15 years 8 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...
176
click to vote
EUROMICRO
1997
IEEE
15 years 10 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...
159
click to vote
CODES
2007
IEEE
16 years 26 days 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...