3742 search results - page 170 / 749 » On the Use of Formal Techniques for Validation |
168
click to vote
EVOW
2003
Springer
15 years 11 months ago
2003
Springer
This paper explores the application of evolutionary techniques to the design of novel sounds and their characteristics during performance. It is based on the “selective breedingâ...
187
click to vote
FMCO
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...
174
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Provenance is information about the origin, derivation, ownership, or history of an object. It has recently been studied extensively in scientific databases and other settings due...
133
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
We present a design method (HASoC) for the lifecycle modelling of embedded systems that are targeted primarily, but not necessarily, at SoC implementations. The object-oriented de...
185
click to vote
SOFTVIS
2010
ACM
15 years 6 months ago
2010
ACM
There are few visualization techniques for displaying complex software systems with large numbers of packages and classes. One visualization technique is the System Hotspots View,...