1098 search results - page 7 / 220 » Usage-Centered Engineering for Web Applications |
217
click to vote
ASWEC
2010
IEEE
15 years 7 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...
185
Voted
ICSE
2007
IEEE-ACM
16 years 1 months ago
2007
IEEE-ACM
