278 search results - page 7 / 56 » A Lightweight Approach for the Semantic Validation of Model ... |
SOCO
2005
Springer
14 years 18 days ago
2005
Springer
Software systems that rely on the component paradigm build new components by assembling existing prefabricated components. Most currently available IDEs support graphical component...
FMCO
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. This paper provides an overview of an approach to coalgebraic modelling and refinement of state-based software components, summing up some basic results and introducing a...
FLAIRS
2006
13 years 8 months ago
2006
The inherent vagueness and ambiguity of non-monotonic reasoning makes it impossible to formulate detailed specifications to validate KBS performance by using traditional test-case...
TVLSI
2008
13 years 6 months ago
2008
With increasing levels of integration of multiple processing cores and new features to support software functionality, recent generations of microprocessors face difficult validati...
ENTCS
2010
13 years 4 months ago
2010
Model-driven performance prediction methods require detailed design models to evaluate the performance of software systems during early development stages. However, the complexity...