Tardiness related objectives are of utmost importance in production systems when client satisfaction is a main goal of a company. These objectives measure the system response to the client requirements and rate manager´s performance In scheduling problems with diverse single…

Se describe con un modelo orientado a objetos la estructura de la Lógica Descriptiva ALCN, junto a esta formalización se plantea un diseño que determina la satifactibilidad de conceptos. Un concepto C es satifactible en una A (ABox), si A…

Modeling is one of the most crucial activities during all the phases in any software development life cycle. Typically, system development is a very complex task, and working with models helps to handle this complexity in an organized way, allowing…