7393 search results - page 101 / 1479 » Synthesis-for-testability using transformations |
123
click to vote
ICWE
2005
Springer
15 years 8 months ago
2005
Springer
Current Web generation techniques are mainly hard-coded for predefined architectures of Web applications. Consequently, there is a gap between Web design models and the final imple...
135
click to vote
APSEC
2002
IEEE
15 years 8 months ago
2002
IEEE
UML is a modeling language that most developers employed during design phase. UML provides various types of diagrams used for specifying both the structure and the behavior of sys...
134
click to vote
VL
1994
IEEE
15 years 7 months ago
1994
IEEE
The notion of icons in visual environments is limited by perceiving icons as tacit entities that have meaning only to human beings and not to the machines that display them. This ...
134
click to vote
BIRTHDAY
2005
Springer
15 years 5 months ago
2005
Springer
Software engineers usually represent problems and solutions aph-based notations at different levels of abstractions. These notations are often semi-formal, but the use of graph tr...
120
click to vote
IWFM
1998
15 years 4 months ago
1998
The issue of correctness in the context of a certain style of program transformation is investigated. This style is characterised by the fully automated application of large numbe...