16 search results - page 4 / 4 » Quasar: A New Tool for Concurrent Ada Programs Analysis |
DATE
2009
IEEE
14 years 1 days ago
2009
IEEE
—This paper reports on experience gained and lessons learned from an intensive investigation of model-driven engineering methodology and technology for application to high-integr...