'Proof obligations' diaporamas de présentation

From Aspectual Requirements to Proof Obligations for Aspect-Oriented Systems

From Aspectual Requirements to Proof Obligations for Aspect-Oriented Systems. Shmuel Katz and Awais Rashid The Technion Lancaster University Haifa, Israel Lancaster, UK. Overview.

374 views • 26 slides

Context-aware Feature-Oriented Modeling with an Aspect Extension of VDM

SAC2007 (PSC Track). Context-aware Feature-Oriented Modeling with an Aspect Extension of VDM. Naoyasu Ubayashi ( Kyushu Institute of Technology ) Shin Nakajima ( National Institute of Informatics ) March 13, 2007. Motivation. Embedded systems react to a certain change in the context.

332 views • 24 slides

A Logical Framework for Web Service Discovery

395 views • 23 slides

Formal Modelling and Analysis of Business Information Systems with Fault Tolerant Middleware

Formal Modelling and Analysis of Business Information Systems with Fault Tolerant Middleware Jeremy Bryans , John Fitzgerald, Sascha Romanovsky and Andreas Roth thanks to Son Hoang, Renato Silva and Vitaly Kozura. Current industrial picture and research question Event-B and Rodin

145 views • 14 slides