4799 search results - page 187 / 960 » Model Based Requirements Engineering for Embedded Software |
WWW
2003
ACM
16 years 3 months ago
2003
ACM
Web Engineering projects face problems when it comes to reveal the Web users' requirements. This is due to the fact that users ? the clients of a Web application ? have diffi...
122
click to vote
ECOOPW
1994
Springer
15 years 7 months ago
1994
Springer
A composition language based on a formal semantic foundation will facilitate precification of glue abstractions and compositions, and will support reasoning about their behaviour....
160
click to vote
CBSQ
2003
Springer
15 years 8 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...
124
Voted
ISSRE
2002
IEEE
15 years 7 months ago
2002
IEEE
In this paper, based on software reliability growth models with generalized logistic testing-effort function, we study three optimal resource allocation problems in modular softwa...
104
Voted
EMSOFT
2005
Springer
15 years 8 months ago
2005
Springer
Statecharts are probably the most popular mechanism for behavior modeling of embedded system components. Modeling a component involves using a mainstream language for features tha...