4726 search results - page 48 / 946 » Domain Modeling of Software Process Models |
182
click to vote
AVI
2000
15 years 1 months ago
2000
Declarative models play an important role in most software design activities, by allowing designs to be constructed that selectively abstract over complex implementation details. ...
MODELS
2009
Springer
15 years 6 months ago
2009
Springer
The second ACES-MB workshop brought together researchers and practitioners interested in model-based software engineering for realtime embedded systems, with a particular focus on ...
IEE
2007
14 years 11 months ago
2007
Software development techniques are continuously evolving with the goal of solving the main problems that still affect the building and maintenance of software systems: time, cost...
121
click to vote
ICST
2009
IEEE
14 years 9 months ago
2009
IEEE
Bounded model checking--as well as symbolic equivalence checking--are highly successful techniques in the hardware domain. Recently, bit-vector bounded model checkers like CBMC ha...
DESRIST
2010
Springer
15 years 4 months ago
2010
Springer
Maturity models are a well-known instrument to support the improvement of functional domains in IS, like software development or testing. While maturity models may share a common s...