Integration of the Domain Modeling Method for Families of Systems with the SOFL Formal Specification Language.

Hassan Gomaa, Shaoying Liu, Michael E. Shin

Browse the full ICECCS paper archive.