Space-aware Coordination in RespecT
ApiDesign
Domain Driven Design Quickly
Software Abstractions for Parallel Hardware
Application Performance & Flexibility on Exokernel Systems paper review
David Lowe, Sr. Technical Director, EAi
CS63_OOAD_16 Marks.pdf
CS 290C: Formal Models for Web Software Lectures 7 and 8: Alloy, Alloy Analyzer, Data Modeling and Analysis with Alloy Instructor: Tevfik Bultan.
Ontologies Reasoning Components Agents Simulations MOF Meta-Models and UML Profiles Jacques Robin.
What’s Ahead for Embedded Software? - Edward A. Lee (2000) Wednesday November 10, 2010 Hokeun Kim.
272: Software Engineering Fall 2008 Instructor: Tevfik Bultan Lectures 5, 6, and 7: Alloy and Alloy Analyzer.
APPLICATION PERFORMANCE AND FLEXIBILITY ON EXOKERNEL SYSTEMS M. F. Kaashoek, D. R. Engler, G. R. Ganger H. M. Briceño, R. Hunt, D. Mazières, T. Pinckney,