![Logic in computer science / SPARK / Subroutine / Postcondition / Formal methods / Formal verification / KeY / Precondition / Global variable / Software engineering / Computer programming / Computing Logic in computer science / SPARK / Subroutine / Postcondition / Formal methods / Formal verification / KeY / Precondition / Global variable / Software engineering / Computer programming / Computing](https://www.pdfsearch.io/img/562b9da54fa5ffb10b79c090cf1d4541.jpg)
| Document Date: 2012-03-18 14:32:40 Open Document File Size: 249,29 KBShare Result on Facebook
Company Case / / / IndustryTerm high level software requirements / final hardware / software integration testing / larger software component level / software integration tests / usual development tools / business-critical software / hardware/software / avionics software development / bank / call site / software architecture / software development / avionics software / larger and more complex applications / / Person Ben Brosgol / Robert Dewar / Cyrille Comar / Johannes Kanig / / Position representative / programmer / / ProgrammingLanguage Ada / C / / Technology API / pdf / / URL http /
SocialTag |