> i am looking for a formal language that supports aspect-oriented
> programming principles to verify correctness of an embedded systems where
> both functionnal and non functional requirements are modeled via UML2.0
hello ,
i am looking for a formal language that supports aspect-oriented
programming principles to verify correctness of an embedded systems where
both functionnal and non functional requirements are modeled via UML2.0
thanks