'Modular reasoning' presentation slideshows

Model-Based Design and Verification of Embedded Systems

Model-Based Design and Verification of Embedded Systems. Radu Grosu SUNY at Stony Brook www.cs.sunysb.edu/~grosu. Talk Outline. Current trends in embedded software Hierarchic mode diagrams [POPL00,TOPLAS03] Modular reasoning [POPL00,ASE01,TOPLAS03]

447 views • 32 slides

Model-Based Design and Verification of Embedded Systems

Model-Based Design and Verification of Embedded Systems. Radu Grosu SUNY at Stony Brook www.cs.sunysb.edu/~grosu. Talk Outline. Current trends in embedded software Hierarchic mode diagrams [POPL00,TOPLAS03] Modular reasoning [POPL00,ASE01,TOPLAS03]

461 views • 32 slides

Lazy Modular Upgrades in Persistent Object Stores

Lazy Modular Upgrades in Persistent Object Stores. Chandrasekhar Boyapati, Barbara Liskov , Liuba Shrira, Chuang-Hue Moh, Steven Richman MIT CSAIL October 2003. Persistent Object Store. Stores objects with methods Objects belong to classes Classes implement types. Persistent Root.

214 views • 21 slides

An Aspect-Aware Outline Viewer

An Aspect-Aware Outline Viewer. Michihiro Horie and Shigeru Chiba Tokyo Institute of Technology, Japan. Our purpose. Problem: difficulty to understand relationships between programs and aspects Obliviousness: aspects and classes separately specified

272 views • 20 slides

AOP and Modular Reasoning [ICSE05]

191 views • 6 slides

AOP and Modular Reasoning [ICSE05]

63 views • 6 slides