7393 search results - page 232 / 1479 » Synthesis-for-testability using transformations |
127
click to vote
VL
2008
IEEE
15 years 10 months ago
2008
IEEE
Visual modeling languages for discrete behavior modeling allow the modeler to describe how systems develop over time during system runs. Models of these languages are the basis fo...
131
Voted
ECBS
2006
IEEE
15 years 10 months ago
2006
IEEE
The evolution of a design pattern typically involves the addition or removal of a group of modeling elements, such as classes, attributes, operations, and relationships. However, ...
123
click to vote
AOSD
2006
ACM
15 years 9 months ago
2006
ACM
In the web services environment software development can involve writing both object-oriented programs and XML transformations. This can be seen in the popular Web Services archit...
132
click to vote
ICTAC
2005
Springer
15 years 9 months ago
2005
Springer
In distributed and mobile systems with volatile bandwidth and fragile connectivity, non-functional aspects like performance and reliability become more and more important. To forma...
128
click to vote
GG
2004
Springer
15 years 9 months ago
2004
Springer
Biochemical pathways, such as metabolic, regulatory, and signal transduction pathways, constitute complex networks of functional and physical interactions between molecular species...