22698 search results - page 94 / 4540 » Modeling in Software Engineering |
125
Voted
SIGSOFT
2003
ACM
16 years 3 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
213
Voted
ASWEC
2006
IEEE
15 years 6 months ago
2006
IEEE
197
Voted
CGO
2006
IEEE
15 years 6 months ago
2006
IEEE
227
Voted
APSEC
2005
IEEE
15 years 4 months ago
2005
IEEE
186
Voted
CROSSROADS
2010
15 years 1 days ago
2010