1 / 4

Does AOSD Improve the Ability to Reason about the Correctness of a System?

Does AOSD Improve the Ability to Reason about the Correctness of a System?. Awais Rashid Lancaster University, UK. Panelists. Adrian Colyer (IBM Hursley Labs, UK) Lodewijk Bergmans (University of Twente, The Netherlands) Klaus Ostermann (Technical University of Darmstadt, Germany)

solada
Download Presentation

Does AOSD Improve the Ability to Reason about the Correctness of a System?

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Does AOSD Improve the Ability to Reason about the Correctness of a System? Awais Rashid Lancaster University, UK

  2. Panelists • Adrian Colyer (IBM Hursley Labs, UK) • Lodewijk Bergmans (University of Twente, The Netherlands) • Klaus Ostermann (Technical University of Darmstadt, Germany) • Elke Pulvermueller (University of Karlsruhe, German)

  3. Reduced ability to reason about correctness Reduced ability to reason about correctness Improved ability to reason about correctness Improved ability to reason about correctness AOSD and Correctness: A Double-Edged Sword Non-aspectual requirements Aspectual requirements

  4. Over to the panelists

More Related