Software and Systems Modeling: Theoretical and Practical Issues (1001369)