https://ptolemy.cs.iastate.edu/index.shtml
The Ptolemy Programming Language: Balancing Separation of Concerns and Modular Reasoning
The Ptolemy language adds quantified, typed events to object-oriented languages, producing a language that has many of the advantages of both...
separation of concernsprogramming languageptolemybalancing
https://www.chiark.greenend.org.uk/~sgtatham/quasiblog/bugtracker-separate/
Separation of concerns in a bug tracker
separation of concernsbugtracker
https://dspace.mit.edu/handle/1721.1/62030?show=full
Separation of concerns for dependable software design
separation of concernsdependablesoftwaredesign