4799 search results - page 388 / 960 » Model Based Requirements Engineering for Embedded Software |
200
click to vote
ECLIPSE
2005
ACM
15 years 8 months ago
2005
ACM
Software program families have a long tradition and will gain momentum in the future. Today’s research tries to move software development to a new quality of industrial producti...
155
click to vote
FATES
2003
Springer
16 years 20 min ago
2003
Springer
Most efforts to combine formal methods and software testing go in the direction of exploiting formal methods to solve testing problems, most commonly test case generation. Here we ...
174
click to vote
FASE
2004
Springer
16 years 5 days ago
2004
Springer
The topic of software architecture (SA) based testing has recently raised some interest. Recent work on the topic has used the SA as a reference model for code conformance testing,...
181
click to vote
CSSE
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract: The need of communication protocols in today’s environment increases as much as the network explores. Many new kinds of protocols, e.g. for information sharing, securit...
146
click to vote
RE
2006
Springer
15 years 6 months ago
2006
Springer
We introduce a variability-intensive approach to goal decomposition that is tailored to support requirements identification for highly customizable software. The approach is based...