1136 search results - page 95 / 228 » A Multi-variant Approach to Software Process Modelling |
XPU
2009
Springer
14 years 3 months ago
2009
Springer
In the last two decades several models for evaluating software process capability have been defined and became more and more popular. The application of such models, and in particu...
SIMUTOOLS
2008
13 years 10 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
FOSSACS
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. Domain theory began in an attempt to provide mathematical models for high-level programming languages, an area where it has proved to be particularly useful. It is perhap...
UML
2001
Springer
14 years 1 months ago
2001
Springer
Much of the research work on design patterns has primarily focused on discovering and documenting patterns. Design patterns promise early reuse benefits at the design stage. To rea...
SEKE
2009
Springer
14 years 3 months ago
2009
Springer
Abstract—Business modeling for service engineering aims at flexible transformation of business logic into software code. The ISE framework is an interdisciplinary approach which...