Constraining the Structure and Style of Object-Oriented Programs

Authors:
Scott Meyers;Carolyn K. Duby;Steven P. Reiss
Affiliations:
-;-;-
Venue:
Constraining the Structure and Style of Object-Oriented Programs
Year:
1993

Citing 0
Cited 4

Monitoring compliance of a software system with its high-level design models

Proceedings of the 18th international conference on Software engineering
Formal design constraints

Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Design-code traceability for object-oriented systems

Annals of Software Engineering
ACART: an API Compliance and Analysis Report Tool for discovering reference design traceability

Proceedings of the 49th Annual Southeast Regional Conference

Quantified Score

Hi-index	0.00

Visualization

Abstract

Object-oriented languages fail to provide software developers with a way to say many of the things about their systems that they need to be able to say. To address this need, we have designed and implemented a language for use with C++ that allows software developers to express a wide variety of constraints on the designs and implementations of the systems they build. Our language is specifically designed for use with C++, but the issues it addresses are applicable to other object-oriented languages, and the fundamental software architecture used to implement our system could be applied without modification to similar constraint languages for other object-oriented programming languages.