Enforcing Design Constraints with Object Logic

This publication has 10 references indexed in Scilit:

• Redesigning air traffic control: an exercise in software design
  IEEE Software, 2000
• Alcoa
  Published by Association for Computing Machinery (ACM) ,2000
• The design and implementation of an intentional naming system
  Published by Association for Computing Machinery (ACM) ,1999
• Analysis of a conflict between aggregation and interface negotiation in Microsoft's Component Object Model
  IEEE Transactions on Software Engineering, 1999
• Detecting memory errors via static pointer analysis (preliminary experience)
  Published by Association for Computing Machinery (ACM) ,1998
• The model checker SPIN
  IEEE Transactions on Software Engineering, 1997
• Aspect-oriented programming
  Published by Springer Nature ,1997
• The NCSU Concurrency Workbench
  Published by Springer Nature ,1996
• Software reflexion models
  Published by Association for Computing Machinery (ACM) ,1995
• Subject-oriented programming
  Published by Association for Computing Machinery (ACM) ,1993