hello , i am looking for a formal language that supports aspect-oriente programming principles to verify correctness of an embedded systems wher both functionnal and non functional requirements are modeled via UML2.0
thanks
hello , i am looking for a formal language that supports aspect-oriente programming principles to verify correctness of an embedded systems wher both functionnal and non functional requirements are modeled via UML2.0
thanks
Have something to add? Share your thoughts — no account required.
Ask the community — no account required