requirements for the degree of Doctor of Philosophy University of Washington...  Home/Search
Context
Related
| cmu.edu/~aldrich/p...hdissertation.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cmu.edu/~aldrich/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Chairs of the Supervisory Committee: Professor Craig Chambers Professor David Notkin Computer Science and Engineering Software architecture describes the high-level structure of a software system, and can be used for design, analysis, and software evolution tasks. However, existing tools decouple architecture from implementation, allowing inconsistencies to accumulate as a software system evolves. Because of the potential for inconsistency, engineers evolving a program cannot fully trust... (Update)
Similar documents (at the sentence level): More
24.6%: Using Types to Enforce Architectural Structure - Aldrich (2003) (Correct)
9.1%: ArchJava: Connecting Software Architecture to Implementation - Aldrich, Chambers, Notkin (2001) (Correct)
7.8%: Alias Annotations for Program Understanding - Aldrich, Kostadinov, Chambers (2002) (Correct)
Active bibliography (related documents): More All
0.5: SafeJava: A Unified Type System for Safe Programming - Boyapati (2004) (Correct)
0.5: A Syntactic Approach to Structure Generativity - Grosch (1996) (Correct)
0.5: Users, Programmers, and Statistical Software - Chambers (2000) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ the-jonathan,
author = "Requirements For The",
title = "Jonathan Aldrich",
url = "citeseer.ist.psu.edu/751754.html" }
Citations (may not include all citations):1363 The Common Object Request Broker: Architecture and Specifica.. (context) - Group - 1995
554 Design Patterns: Elements of Reusable Object-Oriented Softwa.. (context) - Gamma, Helm et al. - 1994
427 the Criteria to be Used in Decomposing Systems into Modules (context) - Parnas - 1972
384 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
372 The Unified Modeling Language Reference Manual (context) - Rumbaugh, Jacobson et al. - 1998
338 Foundations for the Study of Software Architecture - Perry, Wolf - 1992
245 Refactoring: Improving the Design of Existing Code (context) - Fowler, Beck et al. - 1999
244 Abstractions for Software Architecture and Tools to Support .. - Shaw, DeLine et al. - 1995
184 Linear Types Can Change the World - Wadler - 1990
131 An Event Based Architecture Definition Language - Luckham, Vera - 1995
117 Featherweight Java: A Minimal Core Calculus for Java and GJ - Igarashi, Pierce et al. - 1999
117 ACME: An Architecture Description Interchange Language - Garlan, Monroe et al. - 1997
117 Software Reflexion Models: Bridging the Gap Between Design a.. - Murphy, Notkin et al. - 2001
117 Typed Memory Management in a Calculus of Capabilities - Crary, Walker et al. - 1999
111 Dynamic Structure in Software Architectures (context) - Magee, Kramer - 1996
111 Separation Logic: a Logic for Shared Mutable Data Structures - Reynolds - 2002
110 Exploiting Style in Architectural Design Environments - Garlan, Allen et al. - 1994
100 Islands: Aliasing Protection in Object-Oriented Languages (context) - Hogg - 1991
94 Units: Cool modules for HOT languages - Flatt, Felleisen - 1998
91 Program Evolution: Processes of Software Change (context) - Lehman, Belady - 1985
84 Assuring Good Style for Object-Oriented Programs - Lieberherr, Holland - 1989
74 Ownership Types for Flexible Alias Protection - Clarke, Potter et al. - 1998
73 The Component Object Model Specification (context) - Corporation - 1995
68 Flexible alias protection - Noble, Vitek et al. - 1998
53 Enterprise Java Beans Specification (context) - Microsystems - 2000
52 Alias Annotations for Program Understanding - Aldrich, Kostadinov et al. - 2002
49 Towards Alias-Free Pointers - Minsky - 1996
48 Jiazzi: New-Age Components for OldFashioned Java - McDirmid, Flatt et al. - 2001
45 ArchJava: Connecting Software Architecture to Implementation - Aldrich, Chambers et al. - 2002
42 An Introduction to Software Architecture (context) - Garlan, Shaw - 1993
42 Simple Ownership Types for Object Containment - Clarke, Noble et al. - 2001
41 Specifying and Analyzing Dynamic Software Architectures - Allen, Douence et al. - 1998
37 Balloon Types: Controlling Sharing of State in Data Types (context) - Almeida - 1997
37 Alias Burying: Unique Variables Without Destructive Reads (context) - Boyland - 2001
36 Using ObjectOriented Typing to Support Architectural Design .. (context) - Medvidovic, Oreizy et al. - 1996
34 Correct Architecture Refinement - Moriconi, Qian et al. - 1995
24 Knit: Component Composition for Systems Software - Reid, Flatt et al. - 2000
24 Ownership Types for Safe Programming: Preventing Data Races .. (context) - Boyapati, Lee et al. - 2002
21 A Type System for Higher-Order Modules - Dreyer, Crary et al. - 2003
20 A Classification and Comparison Framework for Software Archi.. (context) - Medvidovic, Taylor - 2000
19 A Parameterized Type System for Race-Free Java Programs (context) - Boyapati, Rinard - 2001
19 Lackwit: A Program Understanding Tool Based on Type Inferenc.. (context) - O'Callahan, Jackson - 1997
19 Encapsulating Objects with Confined Types - Grothoff, Palsberg et al. - 2001
18 An Infrastructure for the Rapid Development of XML-Based Arc.. - Dashofy, van der Hoek et al. - 2002
18 Specification and Description Language (context) - Recommendation - 1999
18 ACM Transactions on Software Engineering and Methodology (context) - Allen, Garlan et al. - 1997
17 Declaratively Codifying Software Architectures using Virtual.. - Mens, Wuyts - 1999
16 Adoption and Focus: Practical Linear Types for Imperative Pr.. - Fhndrich, DeLine - 2002
16 A Basic Model of Typed Components - Seco, Caires - 2000
16 Generalized Aliasing as a Basis for Program Analysis Tools - O'Callahan - 2000
15 External Uniqueness is Unique Enough - Clarke, Wrigstad - 2003
15 Universes: A Type System for Controlling Representation Expo.. (context) - Muller, Poetzsch-Heffter - 2000
15 Capabilities for Sharing: A Generalization of Uniqueness and.. (context) - Boyland, Noble et al. - 2001
15 Promises: Limited Specifications for Analysis and Manipulati.. (context) - Chan, Boyland et al. - 1998
13 Architectural Reasoning in ArchJava - Aldrich, Chambers et al. - 2002
13 Architectural Mismatch or Why it's Hard to Build Systems out.. - Garlan, Allen et al. - 1995
13 Implementing the Call-by-Value #-Calculus Using a Stack of R.. (context) - Tofte, Talpin - 1994
12 Ownership Types for Object Encapsulation (context) - Boyapati, Liskov et al. - 2003
11 Mixin' Up Components (context) - Sreedhar - 2002
11 Freie Universitt Berlin Technical Report B (context) - Bokowski, Spiegel et al. - 1998
10 Capturing Software Architecture Design Expertise with Armani (context) - Monroe - 2001
9 Industrial software architecture with Gestalt (context) - Schwanke, Strack et al. - 1996
9 Module Interconnection Languages (context) - Prieto-Diaz, Neighbors - 1986
8 Programming Language Design and Implementation (context) - Crary, Harper et al. - 1999
7 Rational Rose RealTime (context) - Corporation - 2000
7 Supporting Architectural Concerns in ComponentInteroperabili.. (context) - Rosenblum, Natarajan - 2000
7 A Case for Statically Executable Advice: Checking the Law of.. (context) - Lieberherr, Lorenz et al. - 2003
6 Object Ownership to Order (context) - Bokowski - 1999
6 Lisp and Functional Programming (context) - Wadler, Proc - 1990
6 Object Ownership & Containment (context) - Clarke - 2001
6 Saving the World from Bad Beans: Deployment-time Confinement.. - Clarke, Richmond et al. - 2003
6 Language Support for Connector Abstractions - Aldrich, Sazawal et al. - 2003
5 JFlow: Practical Most-Static Information Flow Control (context) - Myers - 1999
5 A Type System and Analysis for the Automatic Extraction and .. - Lam, Rinard - 2003
5 Computing Final Year Project Report (context) - Buckley, Restrict et al. - 2000
5 Computer Generated Islamic Star Patterns - Kaplan - 2000
4 Cheaper Reasoning with Ownership Types - Smith, Drossopoulou - 2003
4 Regulating Architectural Decisions using Aspect-Oriented Pro.. (context) - Shomrat, Yehudai et al. - 2002
4 Region-Based Memory Mangagement in Cyclone (context) - Grossman, Morrisett et al. - 2002
3 Object-Oriented Programming Systems (context) - Bokowski, Vitek et al. - 1999
3 Principles of Programming Languages (context) - Kuncak, Lam et al. - 2002
3 University of Washington CSE 503 class report (context) - Alexandrescu, Lorincz et al. - 2002
3 Object-Oriented Programming Systems (context) - Clarke, Drossopoulou et al. - 2002
2 Implementing Software Architectures in Standard ML - Biagioni, Harper et al. - 1994
2 and Dave Wood (context) - Eckstein, Loy - 1998
2 Reliable Software Technologies - Ada Europe (context) - Ada, Conformance et al. - 1996
2 Principles of Programming Languages (context) - Banerjee, Naumann et al. - 2002
1 Report on a Case Study Applying ArchJava to the DynamicJava .. (context) - Richmond - 2002
1 Using Ownership domains to Specify and Check Side Effects (context) - Rustan, Leino et al. - 2002
http://www.archjava.org/
Documents on the same site (http://www.cs.cmu.edu/~aldrich/papers/): More
EGO: Controlling the Power of Simplicity - Bejleri, Aldrich, Bierhoff (2006) (Correct)
Static Analyses for Eliminating Unnecessary.. - Aldrich, Chambers.. (1999) (Correct)
Improving System Dependability by Enforcing.. - Abi-Antoun, Aldrich, .. (2005) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC