2599 search results - page 379 / 520 » A Tool for Supporting Feature-Driven Development |
160
click to vote
FPL
2007
Springer
15 years 10 months ago
2007
Springer
Today’s heterogeneous embedded systems combine components from different domains, such as software, analogue hardware and digital hardware. The design and implementation of thes...
122
click to vote
HICSS
2006
IEEE
15 years 10 months ago
2006
IEEE
Dynamic technology-driven circumstances fortify academic librarians’ reconsideration of their professional purposes, processes and relationships. In response, California Polytec...
121
click to vote
LCN
2006
IEEE
15 years 10 months ago
2006
IEEE
As sensor networks become denser and more widely deployed, the potential develops for interconnecting these networks to combine datasets, share technological solutions, and to con...
100
click to vote
ICAC
2005
IEEE
15 years 9 months ago
2005
IEEE
As software comes under increasing scrutiny for its lack of safety and reliability, numerous static and partially dynamic tools (including model checking) have been proposed for v...
116
click to vote
IFM
2004
Springer
15 years 9 months ago
2004
Springer
Recent work on combining CSP and B has provided ways of describing systems comprised of components described in both B (to express requirements on state) and CSP (to express intera...