2698 search results - page 156 / 540 » Software Process Model Blueprints |
105
click to vote
KBSE
1997
IEEE
15 years 6 months ago
1997
IEEE
Deduction-based software component retrieval uses preand postconditions as indexes and search keys and an automated theorem prover (ATP) to check whether a component matches. This...
161
click to vote
ICST
2010
IEEE
15 years 25 days ago
2010
IEEE
Abstract—Software Product Lines (SPL) are difficult to validate due to combinatorics induced by variability across their features. This leads to combinatorial explosion of the n...
103
click to vote
ECMDAFA
2006
Springer
15 years 6 months ago
2006
Springer
A difficult challenge in the industrialisation of Model-Driven Development is managing different versions of models. Different versions may arise at any time during the development...
84
Voted
JISBD
2001
15 years 3 months ago
2001
The Itacio component model intends to bring a method of verifying software systems made up of ts. This method can be applied at different levels of abstraction, and to different f...
119
click to vote
ISCC
2000
IEEE
15 years 6 months ago
2000
IEEE
Performance modeling and evaluation techniques are essential when designing and implementing distributed software systems. Constructing performance models for such systems can req...