Software Modeling and Analysis