2599 search results - page 196 / 520 » A Tool for Supporting Feature-Driven Development |
134
click to vote
ICSR
2009
Springer
15 years 9 months ago
2009
Springer
Large scale Open Systems are built from reusable components in such a way that enhanced system functionality can be deployed, quickly and effectively, simply by plugging in a few n...
139
click to vote
ITP
2010
15 years 8 months ago
2010
Abstract. This paper presents a new HOL4 formalization of the current ARM instruction set architecture, ARMv7. This is a modern RISC architecture with many advanced features. The f...
117
Voted
CCE
2004
15 years 4 months ago
2004
Numerous approaches to information modeling exist within chemical engineering representing product data, work processes, or other information. These models have a limited scope an...
125
click to vote
MODELS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We consider the OMG’s Queries, Views and Transformations (QVT) standard as applied to the specification of bidirectional transformations between models. We discuss wha...
130
click to vote
OOPSLA
2007
Springer
15 years 11 months ago
2007
Springer
This article describes the design and use of the CUTE C++ testing framework and its integration into the Eclipse C++ Development Tooling. Unit testing supports code quality and is...