Realizations in an Aspect-Oriented Modeling Framework: 2003”, Presentation at the 14th IEEE
International Symposium on Software Reliability Engineering: (November 17-20, 2003).
5.2.3.2.5 Formal Methods and Requirements Engineering
Formal methods can be used to precisely specify requirements such that