Software interconnection models
ICSE '87 Proceedings of the 9th international conference on Software Engineering
ICSE '89 Proceedings of the 11th international conference on Software engineering
The logic of propagation in the inscape environment
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Object oriented design with applications
Object oriented design with applications
Extending Objects to Support Multiple Interfaces and Access Control
IEEE Transactions on Software Engineering
The X-Kernel: An Architecture for Implementing Network Protocols
IEEE Transactions on Software Engineering
Communications of the ACM
The design and implementation of hierarchical software systems with reusable components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Foundations for the study of software architecture
ACM SIGSOFT Software Engineering Notes
Combination of inheritance hierarchies
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
Documenting frameworks using patterns
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
Subject-oriented programming: a critique of pure objects
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
File-system development with stackable layers
ACM Transactions on Computer Systems (TOCS) - Special issue on operating systems principles
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Typechecking and modules for multi-methods
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
Composition of before/after metaclasses in SOM
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
Reflections on metaclass programming in SOM
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
Correctness and composition of software architectures
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Exploiting style in architectural design environments
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Component-based software using RESOLVE
ACM SIGSOFT Software Engineering Notes
Subject-oriented composition rules
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Architectural mismatch or why it's hard to build systems out of existing parts
Proceedings of the 17th international conference on Software engineering
Using role components in implement collaboration-based designs
Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Graceful object-based performance evolution
Software—Practice & Experience
Subjectivity in object-oriented systems
OOPSLA '94 Addendum to the proceedings on Object-oriented programming systems, languages, and applications (Addendum)
Hybrid domain-specific kits for a flexible software factory
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
The structure of the “THE”-multiprogramming system
Communications of the ACM
The Art of the Metaobject Protocol
The Art of the Metaobject Protocol
The GenVoca Model of Software-System Generators
IEEE Software
Creation of Views for Reuse of Software with Different Data Representations
IEEE Transactions on Software Engineering
Parameterized programming and software architecture
ICSR '96 Proceedings of the 4th International Conference on Software Reuse
Validating Component Compositions in Software System Generators
Validating Component Compositions in Software System Generators
Software construction using components
Software construction using components
A programming language for writing domain-specific software system generators
A programming language for writing domain-specific software system generators
Automated Software Synthesis: An Application in Mechanical CAD
IEEE Transactions on Software Engineering
Software evolution and “light” semantics (extended abstract)
Proceedings of the 21st international conference on Software engineering
Product-line architectures, aspects, and reuse (tutorial session)
Proceedings of the 22nd international conference on Software engineering
An Automatic Class Generation Mechanism by Using Method Integration
IEEE Transactions on Software Engineering
Design Wizards and Visual Programming Environments for GenVoca Generators
IEEE Transactions on Software Engineering
Performance specification of software components
SSR '01 Proceedings of the 2001 symposium on Software reusability: putting software reuse in context
A component-based approach to building formal analysis tools
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Modular verification of collaboration-based software designs
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Achieving extensibility through product-lines and domain-specific languages: a case study
ACM Transactions on Software Engineering and Methodology (TOSEM)
ACM Transactions on Software Engineering and Methodology (TOSEM)
A perspective of generative reuse
Annals of Software Engineering
Efficient Implementations of Software Architectures via Partial Evaluation
Automated Software Engineering
Guest Editorial: Introduction to the Special Section
IEEE Transactions on Software Engineering
Expressing Structural Properties as Language Constructs
ESOP '99 Proceedings of the 8th European Symposium on Programming Languages and Systems
Aspects in Distributed Environments
GCSE '99 Proceedings of the First International Symposium on Generative and Component-Based Software Engineering
Aspect Composition Applying the Design by Contract Principle
GCSE '00 Proceedings of the Second International Symposium on Generative and Component-Based Software Engineering-Revised Papers
A Version Model for Aspect Dependency Management
GCSE '01 Proceedings of the Third International Conference on Generative and Component-Based Software Engineering
A Standard Problem for Evaluating Product-Line Methodologies
GCSE '01 Proceedings of the Third International Conference on Generative and Component-Based Software Engineering
A Framework for the Detection and Resolution of Aspect Interactions
GPCE '02 Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering
Generative Programming for Embedded Systems
GPCE '02 Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering
Layered Development with (Unix) Dynamic Libraries
ICSR-7 Proceedings of the 7th International Conference on Software Reuse: Methods, Techniques, and Tools
Declarable Modifiers: A Proposal to Increase the Efficacy of Metaclasses
Proceedings of the 1st OOPSLA Workshop on Reflection and Software Engineering: Reflection and Software Engineering, Papers from OORaSE 1999
Generic Implementation of Product Line Components
NODe '02 Revised Papers from the International Conference NetObjectDays on Objects, Components, Architectures, Services, and Applications for a Networked World
An Integral Hierarchy and Diversity Model for Describing Product Family Architecture
Proceedings of the Second International ESPRIT ARES Workshop on Development and Evolution of Software Architectures for Product Families
Proceedings of the 25th International Conference on Software Engineering
A tutorial on feature oriented programming and product-lines
Proceedings of the 25th International Conference on Software Engineering
Implementing Collaboration-Based Designs Using Aspect-Oriented Programming
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
A New Class Generation Mechanism by Method Integration
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Domain Analysis for GenVoca Generators
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
A Framework for Detecting Interface Violations in Component-Based Software
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
JTS: Tools for Implementing Domain-Specific Languages
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Design Wizards and Visual Programming Environments for Generators
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Refinements and multi-dimensional separation of concerns
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Eliminating redundancies with a "composition with adaptation" meta-programming technique
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Towards Software Product-Lines — A Refinement-Oriented Generation Language
BT Technology Journal
Large-scale AOSD for middleware
Proceedings of the 3rd international conference on Aspect-oriented software development
IEEE Transactions on Software Engineering
Controlling the Complexity of Software Designs
Proceedings of the 26th International Conference on Software Engineering
Consistency Checking in an Infrastructure for Large-Scale Generative Programming
Proceedings of the 19th IEEE international conference on Automated software engineering
Modeling Product Line Architectures through Change Sets and Relationships
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Knit: component composition for systems software
OSDI'00 Proceedings of the 4th conference on Symposium on Operating System Design & Implementation - Volume 4
DiSTiL: a transformation library for data structures
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
Automating component-based system assembly
Proceedings of the 2007 international symposium on Software testing and analysis
Type-Checking Software Product Lines - A Formal Approach
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Verification Support for Generative System Development
Proceedings of the 2009 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the Eighth SoMeT_09
A description language for composable components
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Experience of building an architecture-based generator using GenVoca for distributed systems
Science of Computer Programming
Configurable multi-perspective business process models
Information Systems
Evaluating support for features in advanced modularization technologies
ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
Supporting partial component matching
ICDCIT'04 Proceedings of the First international conference on Distributed Computing and Internet Technology
Feature models, grammars, and propositional formulas
SPLC'05 Proceedings of the 9th international conference on Software Product Lines
Supporting production strategies as refinements of the production process
SPLC'05 Proceedings of the 9th international conference on Software Product Lines
Dimensions of composition models for supporting software evolution
SC'06 Proceedings of the 5th international conference on Software Composition
A tutorial on feature oriented programming and the AHEAD tool suite
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Formal reasoning about software object translations
Monterey'08 Proceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for Development
Type checking annotation-based product lines
ACM Transactions on Software Engineering and Methodology (TOSEM)
FoVeOOS'11 Proceedings of the 2011 international conference on Formal Verification of Object-Oriented Software
Hi-index | 0.00 |
GenVoca generators synthesize software systems by composing components from reuse libraries. GenVoca components are designed to export and import standardized interfaces, and thus be plug-compatible, 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 domain-independent algorithms for validating compositions of GenVoca components. Second, components that export and import immutable interfaces are too restrictive for software system synthesis. We show that the interfaces and bodies of GenVoca components are subjective, i.e., they mutate and enlarge upon instantiation. This mutability enables software systems with customized interfaces to be composed from components with "standardized" interfaces.