9006 search results - page 189 / 1802 » Modeling Software |
200
Voted
ESEM
2009
ACM
15 years 3 months ago
2009
ACM
In an investigating study to trace the productivity changes of a commercial software project, which uses incremental and iterative development model, we've found evidence tha...
144
Voted
DATE
2008
IEEE
16 years 17 days ago
2008
IEEE
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
136
click to vote
WOSP
2000
ACM
15 years 10 months ago
2000
ACM
This contribution presents a model for process improvement in the area of performance engineering, which is called performance engineering maturity model. The use of this model al...
151
click to vote
WER
2004
Springer
15 years 11 months ago
2004
Springer
MDA is a software development framework where the core is a set of automatic transformation of models. One of these models, the CIM, is used to define the business process model. T...
165
Voted
SE
2010
15 years 7 months ago
2010
: Numerous design decisions are made in model-driven software development which are mostly implicit and not documented properly. Hence, the design knowledge is usually 'in the...