Abstract | ||
---|---|---|
In 2004, the UK Computing Research Committee initiated a number of Grand Challengesaimed at stimulating long term research in key areas of computing science. One of the challenges (GC6) focuses on Dependable Systems Evolution. GC6 has two central principles: theory should be embodied in tools, and tools should be tested against real systems. The goal is to produce a Verifying Compiler (a suite of integrated tools) and a repository of verified software. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1007/978-3-540-87603-8_48 | ABZ |
Keywords | Field | DocType |
central principle,key area,real system,verifying compiler,dependable systems evolution,integrated tool,uk computing research committee,abz2008 vsr-net workshop,long term research | File system,Systems engineering,Suite,Software engineering,Computer science,Compiler,Software,Systems evolution,Real systems | Conference |
Volume | ISSN | Citations |
5238 | 0302-9743 | 0 |
PageRank | References | Authors |
0.34 | 1 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jim Woodcock | 1 | 244 | 18.34 |
Paul Boca | 2 | 57 | 7.88 |