Models, Algebras And Logic Of Engineering Software