51 search results - page 11 / 11 » Assumption Generation for Software Component Verification |
129
Voted
ACSD
2010
IEEE
15 years 23 days ago
2010
IEEE
Abstract--The ANR project SPaCIFY develops a domainspecific programming environment, Synoptic, to engineer embedded software for space applications. Synoptic is an Eclipse-based mo...