James M. Neighbors  Home/Search
Context Related
| bayfronttechnologies.com/thesis.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: bayfronttechnologies.c...l02draco (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: It is the thesis of this work that many computer software systems being built today are similar and should be built out of reusable software components. The appropriate use of software components is investigated by analogy to the classical engineering question of whether to build an object out of custom-made parts or standard parts and assemblies. The same analogy is used to explain some of the problems with previous work on reusable software. The result of reasoning with the engineering... (Update)
Context of citations to this paper: More
.... at each point in the translation process) Some of these strategies have been employed by existing generators (e.g. Draco [29 31] and TAMPR [12, 19] and some are introduced by the AOG generator. Table 1 summarizes the subproblems faced by generators as well as the...
...fundamental result on hierarchies of DSLs and optimizations. The first time I saw this result was in Jim Neighbor s 1984 thesis on DRACO [18]. The idea is simple: programs are written in DSLs. You can transform (map) an unoptimized DSL program to an optimized DSL program...
Cited by: More
Domain Networks in the Software Development Process - Bergmann, Leite (2002) (Correct)
Composite Folding and Optimization in Domain Specific.. - Ted Biggerstaff Microsoft (Correct)
Program Comprehension in Generative Programming: A History of.. - Batory (2004) (Correct)
Similar documents (at the sentence level):
6.5%: Draco 1.2 Users Manual - June By James (Correct)
Active bibliography (related documents): More All
1.5: Transforming Experiences - Neighbors (Correct)
0.8: Toward Natural Language Computation - Alan Biermann Bruce (2001) (Correct)
0.7: Semantic Case Analysis of Informal Requirements - Belkhouche, Kozma (1993) (Correct)
Similar documents based on text: More All
0.1: Systematic Software Construction - Goos, Aßmann (1997) (Correct)
0.0: Transonic Flutter Computations for a 2D . . . - Weber (1999) (Correct)
0.0: OOPM/RT: A Multimodeling Methodology for Real-Time Simulation - Lee, Fishwick (1999) (Correct)
Related documents from co-citation: More All
12: The design and implementation of hierarchical software systems with reusable com.. - Batory, O'Malley - 1992
10: The Library Scaling Problem and the Limits of Concrete Component Reuse (context) - Biggerstaff - 1994
9: Draco: A Method for Engineering Reusable Software Systems - Neighbors - 1989
BibTeX entry: (Update)
J. Neighbors, Software Construction Using Components, Ph.D. Thesis, ICS-TR-160, University of California at Irvine, 1980. http://citeseer.ist.psu.edu/neighbors80software.html More
@misc{ neighbors80software,
author = "J. Neighbors",
title = "Software Construction Using Components",
text = "J. Neighbors, Software Construction Using Components, Ph.D. Thesis, ICS-TR-160,
University of California at Irvine, 1980.",
year = "1980",
url = "citeseer.ist.psu.edu/neighbors80software.html" }
Citations (may not include all citations):427 the Criteria to be Used in Decomposing Systems into Modules (context) - Parnas - 1972
385 A Transformation System for Developing Recursive Programs - Burstall, Darlington - 1977
283 A Relational Model of Data for Large Shared Data Banks (context) - Codd - 1970
163 Application of Theorem Proving to Problem Solving (context) - Green - 1969
139 Recursive Functions of Symbolic Expressions and their Comput.. - McCarthy - 1960
138 Designing Software for Ease of Extension and Contraction (context) - Parnas - 1978
108 Elements of Software Science (context) - Halstead - 1977
102 Abstraction Mechanisms in CLU (context) - Liskov, Snyder et al. - 1977
100 Volume 1: Fundamental Algorithms (context) - Knuth - 1968
98 Petri Nets (context) - Peterson - 1977
82 Programming-in-the-Large versus Programming-in-the-Small (context) - DeRemer, Kron - 1976
72 A Catalogue of Optimizing Transformations (context) - Allen, Cocke - 1972
48 Mechanical Program Analysis (context) - Wegbreit - 1975
46 Simula BEGIN (context) - Birtwistle, Dahl et al. - 1973
44 Software Maintenance Management (context) - Lientz, Swanson - 1980
43 a Knowledge Representation Language (context) - Bobrow, Winograd - 1977
42 Program Improvement by Source-to-Source Transformation (context) - Loveman - 1977
39 A System Which Automatically Improves Programs (context) - Darlington, Burstall - 1973
38 Notes on the Synthesis of Form (context) - Alexander - 1964
38 The Reachability Problem Requires Exponential Space (context) - Lipton - 1976
38 Structured Programming with GOTO Statements (context) - Knuth - 1974
36 A Computational Model of Skill Acquisition (context) - Sussman - 1973
35 Computer Structures: Readings and Examples (context) - Bell, Newell - 1971
27 A Synthesis of Several Sorting Algorithms (context) - Darlington - 1978
19 An Asynchronous Programming Language and Computing Machine (context) - Gostelow, Plouffe - 1978
17 Software Development Control Based on System Structure Descr.. (context) - Tichy - 1980
16 and Laws of Software Evolution (context) - Lehman - 1980
16 Goal-Directed Program Transformation (context) - Wegbreit - 1976
14 A Model for Functional Reasoning in Design (context) - Freeman, Newell - 1971
14 On Program Synthesis Knowledge (context) - Green, Barstow - 1977
14 The Problem of Programming Communication with Changing Machi.. (context) - Strong, Wegstein et al. - 1958
14 BEINGs: Knowledge as Interacting Experts (context) - Lenat - 1975
14 Software Development Control Based on Module Interconnection (context) - Tichy - 1979
14 Putting Petri Nets to Work (context) - Agerwala - 1979
13 A Program Manipulation System Based on Partial Evaluation (context) - Haraldsson - 1977
12 PROW: A Step Towards Automatic Program Writing (context) - Waldinger, Lee - 1969
12 The Representation of Families of Software Systems (context) - Cooprider - 1979
11 Informality in Program Specifications (context) - Balzer, Goldman et al. - 1977
10 An Overview of Production Systems (context) - Davis, King - 1975
10 Abstraction and Verification in Alphard: Defining and Specif.. (context) - Shaw, Wulf et al. - 1977
8 Principles of Good Software Specification and their Implicat.. (context) - Balzer, Goldman - 1979
7 Xerox Palo Alto Research Center (context) - Goldberg, Kay et al. - 1976
7 DEDUCE 2: Further Investigations of Deduction in Relational .. (context) - Chang - 1978
6 Constructing Programs Automatically Using Theorem Proving (context) - Waldinger - 1969
6 The Execution Time Profile as a Programming Tool (context) - Ingalls - 1972
6 IEEE Transactions on Software Engineering (context) - Ross, Structured - 1977
5 The Irvine Program Transformation Catalogue (context) - Standish, Harriman et al. - 1976
5 Extensibility in Programming Language Design (context) - Standish - 1975
5 the Transformational Implementation Approach to Programming (context) - Balzer, Goldman et al. - 1976
5 Approaches to Automatic Programming (context) - Biermann - 1976
5 Program Manipulation via an Efficient Production System (context) - Kibler, Neighbors et al. - 1977
4 An Improved Program Synthesizing Algorithm and its Correctne.. (context) - Lee, Chang et al. - 1974
4 Automatic Construction of Algorithms and Data Structures Usi.. (context) - Barstow - 1978
4 Inferring LISP Programs from Examples (context) - Shaw, Swartout et al. - 1975
4 A Very High Level Programming Language for Data Processing A.. (context) - Hammer, Howe et al. - 1977
4 Module Interconnection in Programming Systems Supporting Abs.. (context) - Thomas - 1976
3 Efficiency Considerations in Program Synthesis: A knowledge-.. (context) - Kant - 1979
3 Technical Report STAN-CS (context) - Feldman - 1972
3 A Unified Approach to the Specification and Verification of .. (context) - Flon, Misra - 1979
3 A System for Understanding Mathematical FORTRAN Programs (context) - Waters - 1976
3 Use of a Nonprocedural Specification Language and Associated.. (context) - Prywes, Pnueli et al. - 1979
3 Overview of the Programmer's Apprentice (context) - Rich, Schrobe et al. - 1979
3 Research Directions in Software Technology (context) - Wegner - 1978
3 Research Directions in Software Technology (context) - Wegner - 1979
3 A Global View of Automatic Programming (context) - Balzer - 1973
3 Massachusetts Institute of Technology (context) - Long, Writer - 1977
3 Automatic Programming Through Natural Language Dialogue: A S.. (context) - Heidorn - 1976
3 DEDUCE -- A Deductive Query Language for Relational Data Bas.. (context) - Chang - 1976
3 The Design of the PSI Program Synthesis System (context) - Green - 1976
2 Automatic Generation of Computer Programs (context) - Prywes - 1977
2 Automatic Generation of Computer Programs (context) - Prywes - 1977
2 Why Naive Program Transformation Systems are Unlikely to Wor.. (context) - Dijkstra - 1977
2 on Software Engineering (context) - Morrissey, Wu - 1979
2 Attempt to Generalize): A Knowledge-Based Program for Buildi.. (context) - Nii, Aiello - 1979
2 Computer-Aided Analysis and Design of Information Systems (context) - Nunamaker, Konsynski et al. - 1976
2 The Software Factory (context) - Bratman, Court - 1975
2 The Representation of Concepts in Owl (context) - Hawkinson - 1975
2 The Decidability of the Reachability Problem for Vector Addi.. (context) - Sacerdote, Tenney - 1977
2 The Process of Innovation in Computing: A Study of the Socia.. (context) - Scacchi - 1980
2 FORTRAN to FORTRAN Optimizing Compiler (context) - Schneck, Angel - 1972
2 META II: A Syntax-Oriented Compiler Writing Language (context) - Schorre - 1964
2 A System for Program Refinement (context) - Cheatham, Townley et al. - 1979
2 Supporting a Flourishing Language Culture (context) - Wegner - 1978
2 A Language for Knowledge Representation (context) - Szolovits, Hawkinson et al. - 1977
2 A Knowledge-Based System for Automatic Program Construction (context) - Barstow - 1977
1 Software Maintenance UserManagement Tug War (context) - Lientz, Maintenance et al. - 1979
1 A General Approach to Symbolic Evaluation (context) - Cheatham, Holoway et al. - 1977
1 Synthesis Techniques for Transformations on Tree and Graph S.. (context) - Chesson - 1977
1 Experiments with a Heuristic Compiler (context) - Simon - 1963
1 Observations and Hypotheses About Program Synthesis Mechanis.. (context) - Standish - 1973
1 Software Construction Using Components (context) - Manna, Waldinger et al. - 1977
1 Research proposal submitted to the National Science Foundati.. (context) - Standish - 1974
1 Automatic Programming: A Position Paper (context) - Standish - 1975
1 A Universal Modular ACTOR Formalism (context) - Hewitt, Bishop et al. - 1973
1 From English Descriptions of Algorithms into Programs (context) - Hobbs - 1977
1 The Preliminary Definition of the Document Flow Component of.. (context) - Howe, Kruskal et al. - 1975
1 A NEW Approach for Customizing Business Applications (context) - Howe, Kruskal et al. - 1975
1 SADT - Structured Analysis and Design Technique (context) - Connor - 1980
1 The Programmer's Workbench - A Machine for Software Developm.. (context) - Ivie - 1977
1 The PSI Program Model Builder: Synthesis of Very High-Level .. (context) - McCune - 1977
1 The Selection of Efficient Implementations for a High-Level .. (context) - Kant - 1977
1 The Impact of Problem Statement Languages on Evaluating and .. (context) - Merten, Teichroew - 1972
1 A Software Laboratory Preliminary Report (context) - Corbin, Corwin et al. - 1971
1 SL-230 A Software Laboratory Intermmeadiate Report (context) - Corwin, Wulf - 1972
1 A Comparison of Life Cycle Models (context) - Kerola, Freeman - 1981
1 Verifying Source-to-Source Transformations (context) - Neighbors, Kibler et al. - 1978
1 Technical Report TR (context) - Neighbors - 1980
1 The Kernel Approach to Building Software Systems (context) - Newell, Freeman et al. - 1971
1 Principles of Coupling and Cohesion for Use in SADT (context) - Dickover - 1976
1 A Survey of Languages for Stating Requirements for Computer-.. (context) - Teichrowe - 1972
1 PSLPSA Computer Aided Technique Structured Documentation and.. (context) - Teichrowe, PSA et al. - 1977
1 Building a Knowledge-Based System with AGE (context) - Aiello, Nii - 1979
1 Specification Acquisition from Experts (context) - Balzer, Goldman et al. - 1976
1 Syntactic Source-to-Source Program Manipulation (context) - Arsec - 1979
1 Program Synthesis: A Transformational Approach (context) - Ulrich, Moll - 1979
1 Observations on the Interaction Between Coding and Efficienc.. (context) - Barstow, Kant - 1976
1 A Knowledge Base Organization for Rules About Programming (context) - Barstow - 1977
1 Software Must Evolve (context) - van Horn - 1980
1 The Method of Attributes for Data Flow Analysis (context) - Using, Babich et al. - 1978
1 USCInformation Science Institute (context) - Automatic, Report et al. - 1972
1 Designing Computers and Digital Systems (context) - Bell, Grason et al. - 1972
1 Program Generation by Questionnaire (context) - Warren - 1969
1 Relational Level Data Structures for Programming Languages (context) - Early - 1973
1 and Correctness of Transformation Systems (context) - Using, Kibler et al. - 1978
1 A Look at Characterizing the Design of Information Systems (context) - Edwards, Tellier - 1974
1 The Effect of Certain Modular Design Principles on Testabili.. (context) - Edwards - 1975
1 Preliminary Definition of the Forms Definition Component of .. (context) - Kruskal, Howe - 1974
1 Preliminary Definition of the Document Transformation Compon.. (context) - Kruskal, Howe - 1974
1 An Editor for Parametric Programs (context) - Kruskal - 1976
1 Technical Report STAN-CS (context) - Elschlager, Phillips - 1979
1 Structured Debugging Using a Domain Specific Language (context) - Leavenworth - 1976
1 Preprint of a book from the University of Texas at Austin (context) - Peterson - 1978
1 Small-Scale Software Components (context) - Emery - 1979
1 Program Inference from Traces using Multiple Knowledge Sourc.. (context) - Phillips - 1977
1 Automatic Goal-Directed Program Transformation (context) - Using, Fickas - 1980
1 Use of Induction in Program Synthesis (context) - Follett - 1978
1 DREAM - An Approach to Designing Large Scale (context) - Wilden - 1979
1 Automated Derivation of Program Control Structure from Natur.. (context) - Wile - 1977
1 The FORTH Approach to Operating Systems (context) - Rather, Moore - 1976
1 Computer Aided Design of Software Systems (context) - Willis, Jensen - 1979
1 Behavior Modelling During Software Design (context) - Riddle, Wileden et al. - 1978
1 Structures Analysis for Requirements Definition (context) - Ross, Shoman - 1976
1 Design Directed Program Synthesis (context) - Biggerstaff, Johnson - 1977
1 The Unified Design Specification System (context) - Biggerstaff - 1979
1 Synthesized Programs with Interacting Goals (context) - Follett - 1978
1 An Automatic System for Application Software Generation and .. (context) - Blosser - 1976
1 Automatic Generation of Code Generators (context) - Frazer - 1977
1 Software and Its Impact: A Quantitative Assessment (context) - Boehm - 1973
1 A Knowledge-Based Code Generator Generator (context) - Frazer - 1977
1 Reprinted in Software Design Techniques by Freeman and Wasse.. (context) - Brooks, Jr - 1974
1 A Study in Automatic Programming (context) - Buchanan - 1974
1 The Necessity for a Theory of Specialized Vision (context) - Bullock - 1978
1 SofTech Inc (context) - to, edition - 1976
1 Research proposal submitted to the National Science Foundati.. (context) - Freeman - 1976
1 Protosystem I: An Automatic Programming System Prototype (context) - Ruth - 1976
1 Improving Programs by Source-to-Source Transformation (context) - Rutter - 1977
1 Software Design Techniques (context) - Freeman, Wasserman - 1980
1 Programming Languages (context) - Sammet - 1976
1 Correctness-Preserving Program Transformations (context) - Gerhardt - 1975
1 Structured Programming for Non-programmers (context) - Goldberg - 1975
1 A Data Base Specification (context) - Goldman, Wile - 1979
1 The Effect of Software Structure on Software Reliability (context) - Goodenough, Zara - 1974
1 Software Construction Using Components (context) - Hack - 1975
1 Semantic Grammar: A Technique for Efficient Language Underst.. (context) - Burton - 1976
1 The UCLA Computer Science Department Quarterly (context) - Campos, Estrin - 1977
1 SARA Aided Design of Software for Concurrent Systems (context) - Campos, Estrin - 1978
1 Designing Software Component Sets: Progress Report (context) - Levin - 1973
1 English as a Very High Level Language for Simulation Program.. (context) - Heidorn - 1974
1 A Laboratory for the Study of Automatic Programming (context) - Cheatham, Wegbreit - 1972
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.bayfronttechnologies.com/l02draco.htm): More
Domain Analysis and Generative Implementation - Neighbors (1998) (Correct)
How to Solve the Reuse Problem: Find Out What Isn't.. - James Neighbors Bayfront (Correct)
The Commercial Application of Domain Analysis - Neighbors (1992) (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