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
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 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
Logics for specifying concurrent information systems
Logics for databases and information systems
A hierarchy-aware approach to faceted classification of objected-oriented components
ACM Transactions on Software Engineering and Methodology (TOSEM)
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
Databases in software engineering: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Generative programming: methods, tools, and applications
Generative programming: methods, tools, and applications
Generating user interface code in a model based user interface development environment
AVI '00 Proceedings of the working conference on Advanced visual interfaces
Object-Oriented Software Construction
Object-Oriented Software Construction
A Theory of Objects
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
From Play-In Scenarios to Code: An Achievable Dream
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
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
Developing an Information System Using TROLL: An Application Field Study
CAiSE ;96 Proceedings of the 8th International Conference on Advances Information System Engineering
Assembly Techniques for Method Engineering
CAiSE '98 Proceedings of the 10th International Conference on Advanced Information Systems Engineering
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
Local Specification of Distributed Families of Sequential Objects
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
Parameterized programming and software architecture
ICSR '96 Proceedings of the 4th International Conference on Software Reuse
A classification of stereotypes for object-oriented modeling languages
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Heterogeneous Information Systems Integration: Organizations and Methodologies
PROFES '02 Proceedings of the 4th International Conference on Product Focused Software Process Improvement
Hi-index | 0.00 |
Increasing the reuse of parts of the specification and implementation of complex software systems, as for example information systems, may lead to substantial progress in the development process. This paper focuses on reusing parts of specifications with the help of generic methods and explores two aspects: the parameterization concepts of the languages UML and Troll, and how formal parameters in such concepts can be restricted if needed.