1304 search results - page 96 / 261 » Model-Driven Engineering for Requirements Analysis |
SEFM
2005
IEEE
15 years 3 months ago
2005
IEEE
Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such prog...
WCRE
2002
IEEE
15 years 3 months ago
2002
IEEE
Dynamic binary translators compile machine code from a source architecture to a target architecture at run time. Due to the hard time constraints of just-in-time compilation only ...
ISSRE
2010
IEEE
14 years 8 months ago
2010
IEEE
—Architecture-based software reliability analysis methods shall help software architects to identify critical software components and to quantify their influence on the system r...
COMPSAC
2007
IEEE
15 years 4 months ago
2007
IEEE
Dynamic evolution has been an essential requirement for more and more business systems which attempt to provide 7(days) x 24(hours) availability and flexible adaptability on the c...
CSMR
2005
IEEE
15 years 3 months ago
2005
IEEE
XML applications are becoming increasingly popular to define structured or semi-structured constrained data in XML for special application areas. In pursuit there is a growing mom...