Abstract | ||
---|---|---|
Software synthesis is a new approach which focuses onthe support of embedded systems without the use ofoperating-systems. Compared to traditional design practices,a better utilization of the available time and hardwareresources can be achieved with software synthesis,because the static information provided by the systemspecification is fully exploited and a application specificsolution is automatically generated.In this paper on-going research on a software synthesisapproach for... |
Year | Venue | Keywords |
---|---|---|
1995 | Workshop on Languages, Compilers, & Tools for Real-Time Systems | real time,embedded system,information processing |
Field | DocType | Citations |
Software analytics,Computer science,Automated information system,Software system,Real-time computing,Information engineering,Systems development life cycle,Software construction,Software verification and validation,Software development | Conference | 6 |
PageRank | References | Authors |
0.58 | 0 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Marco Cornero | 1 | 85 | 25.70 |
Filip Thoen | 2 | 8 | 1.20 |
Gert Goossens | 3 | 293 | 63.59 |
Francesco Curatelli | 4 | 21 | 6.92 |