Searching for authors named "Robert DeLine" – sorted by Relevance.
9 documents found, showing 1 through 9.
-
Toward User-Defined Element Types and Architectural Styles
- … Architecture Workshop, 1996, pp. 47-49. Toward User-Defined Element Types and Architectural Styles Robert DeLine…
- Cited by 3 (0 self) – Add To MetaCart
-
Avoiding Packaging Mismatch with Flexible Packing
- … its functionality and its packaging. The motivation for selecting a component for reuse is Robert DeLine…
- Cited by 21 (0 self) – Add To MetaCart
-
Abstractions and Implementations for Architectural Connections
- …Abstractions and Implementations for Architectural Connections Mary Shaw 1, Robert DeLine, Gregory…
- Cited by 48 (2 self) – Add To MetaCart
-
The Fugue protocol checker: Is your software Baroque?
- …-89791-88-6/97/05 ..$5.00. Robert DeLine Manuel Fähndrich Microsoft Research One Microsoft Way Redmond, WA 98052…
- Cited by 25 (2 self) – Add To MetaCart
-
Adoption and Focus: Practical Linear Types for Imperative Programming
- … Descriptors Manuel Fähndrich Robert DeLine Microsoft Research One Microsoft Way Redmond, WA 98052-6399 {maf…
- Cited by 107 (4 self) – Add To MetaCart
-
Enforcing High-Level Protocols in Low-Level Software
- … and/or a fee. PLDI 2001 Snowbird, Utah Copyright 2000 ACM 0-89791-88-6/97/05 ..$5.00 Robert DeLine…
- Cited by 298 (10 self) – Add To MetaCart
-
Lessons Learned from SUIT, the Simple User Interface Toolkit
- … Conway, and Robert DeLine Computer Science Department, Thornton Hall University of Virginia…
- Cited by 25 (3 self) – Add To MetaCart
-
Verification of Object-Oriented Programs with Invariants
- …, Robert DeLine, Manuel Fähndrich, K. Rustan M. Leino, Wolfram Schulte : Verification of object…
- Cited by 111 (19 self) – Add To MetaCart
-
Abstractions for Software Architecture and Tools to Support Them
- …Abstractions for Software Architecture and Tools to Support Them Mary Shaw, Robert DeLine, Daniel…
- Cited by 262 (3 self) – Add To MetaCart
Showing 1 through 9.
