11,109 research outputs found

    Updated version of final design and of the architecture of SEAMLESS-IF

    Get PDF
    Agricultural and Food Policy, Environmental Economics and Policy, Farm Management, Land Economics/Use, Livestock Production/Industries,

    Requirements modelling and formal analysis using graph operations

    Get PDF
    The increasing complexity of enterprise systems requires a more advanced analysis of the representation of services expected than is currently possible. Consequently, the specification stage, which could be facilitated by formal verification, becomes very important to the system life-cycle. This paper presents a formal modelling approach, which may be used in order to better represent the reality of the system and to verify the awaited or existing system’s properties, taking into account the environmental characteristics. For that, we firstly propose a formalization process based upon properties specification, and secondly we use Conceptual Graphs operations to develop reasoning mechanisms of verifying requirements statements. The graphic visualization of these reasoning enables us to correctly capture the system specifications by making it easier to determine if desired properties hold. It is applied to the field of Enterprise modelling

    Innovation in Mobile Learning: A European Perspective

    Get PDF
    In the evolving landscape of mobile learning, European researchers have conducted significant mobile learning projects, representing a distinct perspective on mobile learning research and development. Our paper aims to explore how these projects have arisen, showing the driving forces of European innovation in mobile learning. We propose context as a central construct in mobile learning and examine theories of learning for the mobile world, based on physical, technological, conceptual, social and temporal mobility. We also examine the impacts of mobile learning research on educational practices and the implications for policy. Throughout, we identify lessons learnt from European experiences to date

    Training materials for different categories of users

    Get PDF
    Agricultural and Food Policy, Environmental Economics and Policy, Farm Management, Land Economics/Use, Production Economics, Teaching/Communication/Extension/Profession,
    • …
    corecore