This article treats about modeling different phenomena by means of concepts and tools elaborated in the computer science framework, mainly in that of Artificial Intelligence (AI). After having presented the notion of formalized computer science model (CSMd), we described general interactive modeling procedure (which consists of four stages: abstraction, formalization, simplification and verification). Then we characterize this procedure in the context limited to computer science. While discussing different types of CSMd, we focus on the domain of AI, e.g. we distinguish between rule-based models (often implemented as expert systems), network-based models (often implemented as artificial neural networks) and evolutionary models (often based using genetic algorithms). But, most importantly, we believe that machine learning tools (as part of the AI domain) could and, as the matter of fact, should be used in order to automate each of the stages of the proposed interactive modeling procedure.