2599 search results - page 42 / 520 » A Tool for Supporting Feature-Driven Development |
87
Voted
HICSS
2006
IEEE
15 years 6 months ago
2006
IEEE
The central idea in reference modeling is the reutilization of the business knowledge contained in reference models for the construction of specific information models. The orient...
72
Voted
ENTCS
2002
15 years 10 days ago
2002
The refinement calculus is a well-established theory for translating specifications to program code. Recent research has extended the calculus to handle real-time requirements and...
ESWS
2007
Springer
15 years 6 months ago
2007
Springer
We present Explorative Debugging as a novel debugging paradigm for rule based languages. Explorative Debugging allows truly declarative debugging of rules and is well suited to sup...
104
Voted
SAC
2006
ACM
15 years 6 months ago
2006
ACM
Model Driven Architecture (MDA) is a software development approach that focuses on models. In order to support MDA, a lot of CASE tools have emerged; each of them provides a diffe...
118
Voted
COMPSAC
1997
IEEE
15 years 4 months ago
1997
IEEE
Despite recent developments in formal methods, formal methods have yet to enter the mainstream of software industry. In this paper, we first examine the pragmatic obstacles of ma...