696 search results - page 132 / 140 » Model driven development with Ada |
WETICE
1997
IEEE
14 years 2 months ago
1997
IEEE
Contemporary product design and process development is based on an iterative specify-evaluate-revise approach which is often time intensive and therein non-responsive to customer ...
DAC
2008
ACM
14 years 11 months ago
2008
ACM
Driven by increasing complexity and reliability demands, the Japanese Aerospace Exploration Agency (JAXA) in 2004 commissioned development of ELEGANT, a complete SpecC-based envir...
ACMSE
2004
ACM
14 years 3 months ago
2004
ACM
Although component-based software development has widespread acceptance in the enterprise business and desktop application domains, developers of distributed, real-time and embedd...
EMSOFT
2011
Springer
12 years 10 months ago
2011
Springer
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...
SI3D
2006
ACM
14 years 4 months ago
2006
ACM
Motion capture data from human subjects exhibits considerable redundancy. In this paper, we propose novel methods for exploiting this redundancy. In particular, we set out to find...