632 search results - page 2 / 127 » C and C Style Guides |
FASE
2004
Springer
13 years 11 months 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,...
Book
"This book is designed to provide teaching materials to any instructor who wants to use Practical C++ Programming in his classroom. The materials contained in this book contai...
MICCAI
2010
Springer
13 years 4 months ago
2010
Springer
We present a novel approach for extracting cluttered objects based on their morphological properties1 . Specifically, we address the problem of untangling C. elegans clusters in h...
SIGSOFT
1994
ACM
13 years 9 months ago
1994
ACM
As the design of software architectures emerges as a discipline within software engineering, it will become increasingly important to support architectural description and analysi...
CBSE
2006
Springer
13 years 9 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...