HIGHLIGHTS
- who: Construction", Principle and Robert, Hilbrich from the Department Systems Architecture, Fraunhofer FIRST, Kekuléstraße, Berlin, Germany have published the Article: How to Safely Integrate Multiple Applications on Embedded Many-Core Systems by Applying the “Correctness by Construction” Principle, in the Journal: (JOURNAL) of 28/03/2012
- what: Instead of analyzing the exhibited behavior of the software after it has been built, this new approach focuses on earlier stages in the development: requirements engineering, design, and implementation. This approach has been successfully applied in several case studies and lead to fewer bugs and lower . . .
If you want to have access to all the content you need to log in!
Thanks :)
If you don't have an account, you can create one here.