Abstract | ||
---|---|---|
This work presents a model-based development methodology1 for verified software systems as well as a tool support for it: an applied AUTOFOCUS 3 tool chain and its basic principles emphasizing the verification of the system under development as well as the check mechanisms we used to raise the level of confidence in the correctness of the implementation of the automatic generators. |
Year | DOI | Venue |
---|---|---|
2012 | 10.4204/EPTCS.86.3 | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE |
Keywords | Field | DocType |
software engineering | Software engineering,Autofocus,Simulation,Computer science,Correctness,Software system,Real-time computing,System development | Journal |
Volume | Issue | ISSN |
86 | 86 | 2075-2180 |
Citations | PageRank | References |
13 | 0.94 | 7 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Maria Spichkova | 1 | 160 | 15.29 |
Florian Hölzl | 2 | 60 | 5.36 |
David Trachtenherz | 3 | 25 | 4.38 |