1098 search results - page 7 / 220 » Usage-Centered Engineering for Web Applications |
147
Voted
ASWEC
2010
IEEE
15 years 4 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...
110
Voted
SLE
2009
Springer
15 years 11 months ago
2009
Springer
117
Voted
CSMR
2007
IEEE
15 years 11 months ago
2007
IEEE
113
Voted
ASWEC
2004
IEEE
15 years 8 months ago
2004
IEEE
137
Voted
ICSE
2007
IEEE-ACM
15 years 10 months ago
2007
IEEE-ACM
