Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Fundamentals of algebraic specification 2: module specifications and constraints
Fundamentals of algebraic specification 2: module specifications and constraints
Object-oriented modeling and design
Object-oriented modeling and design
Using role components in implement collaboration-based designs
Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Information systems modelling with TROLL formal methods at work
Information Systems - Special issue: advanced information systems engineering
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Specification of abstract data types
Specification of abstract data types
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Adaptive plug-and-play components for evolutionary software development
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Making the future safe for the past: adding genericity to the Java programming language
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
The Unified Modeling Language user guide
The Unified Modeling Language user guide
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
Principles of distributed database systems (2nd ed.)
Principles of distributed database systems (2nd ed.)
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Synergy between component-based and generative approaches
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Data on the Web: from relations to semistructured data and XML
Data on the Web: from relations to semistructured data and XML
An implementation-oriented semantics for module composition
Foundations of component-based systems
Generative programming: methods, tools, and applications
Generative programming: methods, tools, and applications
A Theory of Objects
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
Generating Call-Level Interfaces for Advanced Database Application Programming
VLDB '99 Proceedings of the 25th International Conference on Very Large Data Bases
Algebraic Specification Languages: An Overview
Selected papers from the 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop on Recent Trends in Data Type Specification
Designing Well-Structured Websites: Lessons to Be Learned from Database Schema Methodology
ER '98 Proceedings of the 17th International Conference on Conceptual Modeling
The TROLL Approach to Conceptual Modeling: Syntax, Semantics and Tools
ER '98 Proceedings of the 17th International Conference on Conceptual Modeling
Parameterized programming and software architecture
ICSR '96 Proceedings of the 4th International Conference on Software Reuse
Hi-index | 0.00 |
When creating a family of systems, i.e. several systems of similar type which differ within some aspects, it is desirable to be able to express these differences already at the level of the specification, and to automatically obtain systems from it which are ready to run. The use of generic methods may lead to substantial progress in this area. This report explores two aspects: parameterization concepts at the specification level, which can be used to describe variants of a system, and generator programs, which produce runnable systems from prefabricated components.