Slide 1 General-purpose Specification Languages Slide 2 - 1 - P.Marwedel, U. Dortmund, Informatik 12, 2006 Universität Dortmund System modeling & design Represent…