Invariants in the Trenches

This publication has 6 references indexed in Scilit:

• The Search for the Linking Invariant: Behavioral Modeling Versus Modeling Behavior
  Published by Springer Nature ,2007
• From dynamic supertypes to subjects: A natural way to specify and develop systems [Technical note]
  IBM Systems Journal, 1996
• Functional documents for computer systems
  Science of Computer Programming, 1995
• Subject-oriented programming
  ACM SIGPLAN Notices, 1993
• A proposal for a formal model of objects
  Published by Association for Computing Machinery (ACM) ,1989
• Selected Writings on Computing: A personal Perspective
  Published by Springer Nature ,1982