22698 search results - page 105 / 4540 » Modeling in Software Engineering |
ICFEM
2005
Springer
15 years 8 months ago
2005
Springer
EUROMICRO
2002
IEEE
15 years 8 months ago
2002
IEEE
60
Voted
BC
2010
15 years 20 days ago
2010
137
click to vote
KBSE
2003
IEEE
15 years 8 months ago
2003
IEEE
We present an approach to managing formal models using Model Driven Architecture (MDA) technologies that delivers analysis techniques through integration with the design tools and...
128
click to vote
CAV
2005
Springer
15 years 8 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...