Don Batory, Bart J. Geraci  Home/Search
Context Related
| utexas.edu/pub/predato...ieeetse97.ps 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: utexas.edu (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: GenVoca generators synthesize software systems by composing components from reuse libraries. GenVoca components are designed to export and import standardized interfaces, and thus be plugcompatible, interchangeable, and interoperable with other components. In this paper, we examine two different but important issues in software system synthesis. First, not all syntactically correct compositions of components are semantically correct. We present simple, efficient, and domainindependent... (Update)
Cited by: More
A Taxonomy of Compositional Adaptation - McKinley, Sadjadi, Kasten, Cheng (2004) (Correct)
A Generative and Component Based Approach to Reuse in.. - Wang, Liu, Kerridge (Correct)
Grammatically Interpreting Feature Compositions - Zhao, Bryant, Cao, Raje.. (2004) (Correct)
Similar documents (at the sentence level):
39.4%: Validating Component Compositions in Software System Generators - Batory, Geraci (1995) (Correct)
28.0%: Subjectivity and GenVoca Generators - Batory (1996) (Correct)
10.4%: Subjectivity and Software System Generators - Batory (1995) (Correct)
Active bibliography (related documents): More All
2.9: Composition Validation and Subjectivity in GenVoca Generators - Batory, Geraci (1997) (Correct)
0.5: Architectural Styles as Adaptors - Batory, al. (1999) (Correct)
0.5: Implementing Large-Scale Object-Oriented Components - Smaragdakis (1999) (Correct)
Similar documents based on text: More All
0.5: Definition and Application of a GenVoca Component.. - Warshaw, Miranker.. (Correct)
0.5: P2: A Lightweight DBMS Generator - Thomas (1998) (Correct)
0.5: An Architecture and Generator for an Army IEW Domain - Solderitsch, Wickman.. (Correct)
Related documents from co-citation: More All
15: The design and implementation of hierarchical software systems with reusable com.. - Batory, O'Malley - 1992
12: Aspect-oriented programming - Kiczales, Lamping et al. - 1997
8: Design maintenance systems (context) - Baxter - 1992
BibTeX entry: (Update)
D. Batory and B.J. Geraci. Composition Validation and Subjectivity in GenVoca Generators. IEEE Transactions on Software Engineering, 23(2):67--82, February 1997. http://citeseer.ist.psu.edu/batory97composition.html More
@article{ batory97composition,
author = "Don Batory and Bart J. Geraci",
title = "{Composition Validation and Subjectivity in GenVoca Generators}",
journal = "{IEEE Transactions on Software Engineering (special issue on Software Reuse)}",
pages = "62--87",
year = "1997",
url = "citeseer.ist.psu.edu/batory97composition.html" }
Citations (may not include all citations):469 Object-Oriented Design With Applications (context) - Booch - 1991
423 The Art of the Metaobject Protocol (context) - Kiczales, Rivieres et al. - 1991
338 Foundations for the Study of Software Architecture - Perry, Wolf - 1992
308 Designing Reusable Classes (context) - Johnson, Foote - 1988
195 The Design and Implementation of Hierarchical Software Syste.. - Batory, O'Malley - 1992
173 The x-kernel: An Architecture for Implementing Network Proto.. - Hutchinson, Peterson - 1991
112 File System Development with Stackable Layers - Heidemann, Popek - 1993
110 Exploiting Style in Architectural Design Environments - Garlan - 1994
104 Documenting Frameworks using Patterns - Johnson - 1992
79 Subject-Oriented Programming (A Critique of Pure Objects (context) - Harrison, Ossher - 1993
72 Architectural Mismatch or Why It's Hard to Build Systems out.. - Garlan - 1995
70 Scalable Software Libraries (context) - Batory - 1993
67 The Inscape Environment - Perry - 1989
64 The Structure of THE Multiprogramming System (context) - Dijkstra - 1968
62 Reusing and Interconnecting Software Components (context) - Goguen - 1986
52 Software Interconnection Models - Perry - 1987
49 Design Maintenance Systems (context) - Baxter - 1992
45 The Library Scaling Problem and the Limits of Concrete Compo.. (context) - Biggerstaff - 1994
43 Correctness and Composition of Software Architectures - Moriconi, Qian - 1994
42 Type Checking and Modules for Multi-Methods - Chambers, Leavens - 1994
38 LILEANNA: A Parameterized Programming Language (context) - Tracz - 1993
35 Subject-Oriented Composition Rules (context) - Ossher - 1995
35 Combination of Inheritance Hierarchies (context) - Ossher, Harrison - 1992
31 DSSA-ADAGE: An Environment for Architecture-based Avionics D.. (context) - Coglianese, Szymanski - 1993
30 DTRE - A Semi-Automatic Transformation System - Blaine, Goldberg - 1991
29 Software Construction Using Components - Neighbors - 1980
25 Validating Component Compositions in Software System Generat.. - Batory, Geraci - 1995
25 Extending Objects to Support Multiple Interfaces and Access .. (context) - Hailpern, Ossher - 1990
18 Component-Based Software using RESOLVE (context) - Sitaraman, Weide - 1994
17 The Logic of Propagation in The Inscape Environment - Perry - 1989
17 Componentware (context) - Udell - 1994
14 Hybrid Domain-Specific Kits for a Flexible Software Factory (context) - Griss, Wentzel - 1994
14 Software Productivity Consortium (context) - Weiss, Scenarios et al. - 1990
13 A Programming Language for Writing Domain-Specific Software .. - Singhal - 1996
12 A Prototype Domain Modeling Environment for reusable Softwar.. (context) - Gomaa - 1994
12 Integrating Coarse-grained and Fine-Grained Tool Integration (context) - Harrison - 1992
12 DaTE: The Genesis DBMS Software Layout Editor (context) - Batory, Barnett - 1992
10 Subjectivity in Object-Oriented Systems: Workshop Summary (context) - Harrison, Ossher et al. - 1994
10 Creation of Views for Reuse of Software with Different Data .. - Novak - 1995
8 Models for Domains and Architectures: A Prescription for Sys.. (context) - Cohen - 1995
8 An Architecture-Driven, Business-Specific, and Component-Bas.. (context) - Ning - 1994
8 Draco-PUC: A Technology Assembly for Domain-Oriented Softwar.. - Prado - 1994
7 An Experimental Description-Based Programming Environment: F.. (context) - Goldstein - 1981
7 Variational Attribute Grammars for Computer Aided Design - McAllester
6 Constraint Propagation in Software Libraries of Transformati.. (context) - Katz, Volper - 1992
6 P++: A Language for Large-Scale Reusable Software Components - Singhal, Batory - 1993
6 Implementing Data Structures by Composition of Reusable Comp.. (context) - Nenninger, Nickl - 1995
4 email correspondence (context) - Heidemann - 1995
4 Intermediate Lisp Programming (context) - Inc - 1984
3 Using C++ Templates to Implement Role-Based Designs (context) - Van Hilst, Notkin
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.cs.utexas.edu.html): More
Stack Tracing In A Statically Typed Language - Diwan (1991) (Correct)
Combining Top-down and Bottom-up Techniques in Inductive .. - Zelle, Mooney, Konvisser (1994) (Correct)
Expert Systems for Monitoring and Control - Dvorak (1987) (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