5228 search results - page 559 / 1046 » Case Studies for Software Engineers |
193
click to vote
QOSA
2007
Springer
16 years 1 months ago
2007
Springer
Component-based development helps to improve the modularity and reusability of embedded systems. Component models devised for embedded systems are typically restricted due to the l...
217
click to vote
ISSTA
2006
ACM
16 years 1 months ago
2006
ACM
Existing test suite reduction techniques employed for testing web applications have either used traditional program coverage-based requirements or usage-based requirements. In thi...
181
click to vote
PDC
2004
ACM
16 years 18 days ago
2004
ACM
How can the documentation of concepts for complex sociotechnical systems, such as the adoption of groupware, be incorporated into practices of PD? Documents are important in suppo...
209
click to vote
ICFEM
2004
Springer
16 years 16 days ago
2004
Springer
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
177
click to vote
ICFEM
2004
Springer
16 years 16 days ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...