Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
The art of metaobject protocol
The art of metaobject protocol
Handbook of theoretical computer science (vol. B)
Foundations for the study of software architecture
ACM SIGSOFT Software Engineering Notes
Exploiting style in architectural design environments
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Studies in the logic of trees with applications to grammar formalisms
Studies in the logic of trees with applications to grammar formalisms
Law-governed regularities in object systems: part I: an abstract model
Theory and Practice of Object Systems
Common Object Services Specification: Atandt/NCR, Bnr Europe Limited, Digital Equipment Corporation ..
Mona: Monadic Second-Order Logic in Practice
TACAS '95 Proceedings of the First International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Hardware Verification using Monadic Second-Order Logic
Proceedings of the 7th International Conference on Computer Aided Verification
Constraining the Structure and Style of Object-Oriented Programs
Constraining the Structure and Style of Object-Oriented Programs
Maintaining the consistency of class libraries during their evolution
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A Domain-Specific Language for Regular Sets of Strings and Trees
IEEE Transactions on Software Engineering
CoffeeStrainer: statically-checked constraints on the definition and use of types in Java
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
eLeLePUS - a language for specification of software design patterns
Proceedings of the 2001 ACM symposium on Applied computing
Expressing opposition in the object model, first step towards negation
ACM SIGPLAN Notices
A domain-specific language for regular sets of strings and trees
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
Hi-index | 0.00 |
Large software systems are often built on system platforms that support or enforce specific characteristics of the source code or actual design. These characteristics are either captured informally in design guideline documents or in specialized design and implementation languages.In our view, both approaches are unsatisfactory. Informal descriptions do not allow automated analysis and lead to vague constraint descriptions. The language-based approach leads to different languages for different platforms and even for different versions of the same basic platform.Our approach is to describe and name the constraints separately in a design constraint language called CDL, which is based on an extraordinarily concise logic of parse trees. Designs are then annotated with the names of the constraints they are supposed to satisfy.We discuss how the design constraint language is integrated into a design language environment. We exhibit industrial and experimental evidence that our choice of design constraint language allows us to formalize naturally and succinctly common design characteristics.