4799 search results - page 187 / 960 » Model Based Requirements Engineering for Embedded Software |
130
click to vote
WWW
2003
ACM
16 years 7 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...
166
click to vote
ECOOPW
1994
Springer
15 years 10 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....
215
click to vote
CBSQ
2003
Springer
15 years 11 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...
181
click to vote
ISSRE
2002
IEEE
15 years 11 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...
168
click to vote
EMSOFT
2005
Springer
16 years 19 hour 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...