4799 search results - page 703 / 960 » Model Based Requirements Engineering for Embedded Software |
177
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract There is an intimate link between program structure and behaviour. Exploiting this link to phrase program correctness problems in terms of the structural properties of a p...
173
click to vote
KBSE
2008
IEEE
16 years 29 days ago
2008
IEEE
Abstract—A poorly understood but important factor in random testing is the selection of a maximum length for test runs. Given a limited time for testing, it is seldom clear wheth...
162
click to vote
FASE
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
194
click to vote
APSEC
2001
IEEE
15 years 10 months ago
2001
IEEE
Formal specifications are now widely accepted in software development. Recently, the need for a separation of concerns with reference to static and dynamic aspects appeared. Furth...
158
click to vote
SEFM
2005
IEEE
16 years 4 days ago
2005
IEEE
Memory consumption policies provide a means to control resource usage on constrained devices, and play an important role in ensuring the overall quality of software systems, and i...