Displaying similar documents to “Model Mining and Efficient Verification of Software Product Lines”

The Notion of Model in Software Engineering Понятието модел в софтуерните технологии

Sredkov, Miloslav (2011)

Union of Bulgarian Mathematicians

Similarity:

Милослав A. Средков - Понятията модел и моделиране се използват толкова интензивно в много дисциплини, че е трудно да им се придаде конретно значение. Дори в Софтуерните технологии, разбирането на тези понятия силно зависи от контекста. Ние смятаме, че това допринася за неконсистентността между подходите за моделиране там. В тази статия посочваме някои от произтичащите проблеми, както и важността да има подходяща дефиниция, съчетана с подходящи инструменти. Преглеждаме по-общите дефиниции...

Community-Sourcing in Virtual Societies

Branzov, Todor (2016)

Serdica Journal of Computing

Similarity:

The paper studies the approaches to development of goods with active participation of virtual community members. The concept of community-sourcing is presented as an alternative to the open source model and crowdsourcing. On that foundation a conceptual model of resource management system that use some current good practices of the IT industry is proposed. Results obtained in a virtual community implementing the model are presented as a validation attempt. ACM Computing Classification...

Drugs in the Classroom: Using Pharmacokinetics to Introduce Biomathematical Modeling

G. A. Koch-Noble (2011)

Mathematical Modelling of Natural Phenomena

Similarity:

Pharmacokinetics is an excellent way to introduce biomathematical modeling at the sophomore level. Students have the opportunity to develop a mathematical model of a biological phenomenon to which they all can relate. Exploring pharmacokinetics takes students through the necessary stages of mathematical modeling: determining the goals of the model, deciphering between the biological aspects to include in the model, defining the assumptions of the model, and finally, building, analyzing,...