With the rise in electricity, gas and oil prices persistently high levels of carbon emissions, there is an increasing demand for effective energy management systems, including electrical grids. Recent literature exhibits large potential optimizing behavior such systems towards performance, reducing peak loads exploiting environmentally friendly ways production. However, primary challenge relies...

After a short introduction on the need for a new literacy, coming from the work of many organizations and institutions during last twenty years, the approach adopted by an Italian research group for the planning and development of a framework for digital competence assessment is discussed. This model, the first built until now, has been used to create a questionnaire experimented with High Scho...

Augmented Reality (AR) is the evolution of the concept of Virtual Reality (VR). Its goal is to enhance a person's perception of the surrounding world. AR is a fast growing state of the art technology and a variety of implementation tools thereof exist today. Due to the heterogeneity of available technologies, the choice of the appropriate framework for a mobile application is difficult to make....

It is often useful, if not necessary, to reason about the syntactic structure of an expression in an interpreted language (i.e., a language with a semantics). This paper introduces a mathematical structure called a syntax framework that is intended to be an abstract model of a system for reasoning about the syntax of an interpreted language. Like many concrete systems for reasoning about syntax...

COTS have increasingly been used by industrial practice as a means of maintaining low development costs of a product, whilst offering significant capability upgrades. COTS are multi purpose products driven by commonly used functionality. However, being general purpose products raises certain challenges regarding their ability to be certified. Previously used (process-based) standards stipulated...

Quality is often defined as fitness for purpose which is the key property to determine when evaluating quality. This paper presents some general requirements for evaluating quality frameworks. It also discusses characteristics of MDE that are important when building a quality framework, such as its use of models in several stages of development and maintenance, and its multi-abstraction level a...

Due to the emergence of the Gamification concept in various domains, this article studies how to improve the quality of gamified systems with the software engineering discipline. Recent studies have shown a significant gap between design frameworks and gamified products, reflected in a lack of consistency, integrity, measurement and a comprehensive process that covers the different phases to ac...

Model-based testing (MBT) is an well-known technology, which allows for automatic test case generation, execution and evaluation. To test non-functional properties, a number of test MBT frameworks have been developed to test systems with real-time, continuous behaviour, symbolic data and quantitative system aspects. Notably, a lot of these frameworks are based on Tretmans’ classical input/outpu...

The goal of rating-based recommender systems is to make personalized predictions and recommendations for individual users by leveraging the preferences of a community of users with respect to a collection of items like songs or movies. Recommender systems are often based on intricate statistical models that are estimated from data sets containing a very high proportion of missing ratings. This ...

The paper describes the MAX system, a tool for speci cation and prototyping of language processors. The MAX system is based on a rst{order framework generalizing attribute grammar like frameworks. It allows to refer to syntax tree nodes and \distant" attribute occurrences. Attributes may have tree nodes as values, so that global relations between distant tree nodes can be expressed. This enable...