Separation of Concerns in Semiformal Models for Software Specification by Combining Decomposition and Aspects
Martin Glinz · 2000
In this paper we investigate mechanisms for the separation of concerns in semiformal models for software specification. We identify the problems in two typical approaches (Structured Analysis and UML) and present the concepts for separation of concerns in ADORA, a specification language being developed in our research group.