Background: Self-directed learning (SDL) is an essential teaching-learning method for transforming medical students into lifelong learners. In SDL, learners are responsible undergoing their process and gradually shifting control from teacher to themselves. However, First-year MBBS in need of receiving training support become self-directed Hence, the present study aimed evaluate outcomes adoptin...

Based on an analysis of the core concepts two paradigms “Service-dominant Logic” (SDL) and “Circular Economy” (CE), this research concludes that SDL need to be extended cover impacts use material resources infrastructure which are inseparable from service-for-service exchange. Consequently, SDL’s concept “value” as something entirely subjective contextual, should adjusted reflect massive resour...

accept any responsibility regarding the contents of Master's Theses ii iii Summary The Parallel Object-Oriented Specification Language (POOSL) is meant for the specification of systems that are complex, reactive, concurrent, real-time and distributed. The SHESim tool can be used to construct POOSL models and run simulations on them. An abstract model of the Steady State Control part of the MASC...

1 ObjectGEODE and SDL 2 1.

This study was designed to investigate the ability of a self-directed learning (SDL) approach to overcome the difficulties encountered in delivering a basic module in immunology to students studying for a Masters degree in Medical Microbiology. Difficulties arise from the wide range of academic and experiential learning skills exhibited by the students on this programme, the part-time, modular ...

In this paper we define a framework to introduce gradedness in Deontic logics through the use of fuzzy modalities. By way of example, we instantiate the framework to Standard Deontic logic (SDL) formulas. Given a deontic formula Φ ∈ SDL, our language contains formulas of the form r → NΦ or r → PΦ, where r ∈ [0, 1], expressing that the preference or probability degree respectively of a norm Φ is...

The Telecommunications industry’s demand has grown immensely for cost-effective methods for software validation & verification of mobile products. Semi-formal methods such as Use Case Maps and formal methods such as SDL are starting to be widely used. In this paper we show how to integrate these two techniques in terms of quickly validating high level designs in SDL against desired abstract beh...

This paper gives a brief introduction to a methodology for early performance analysis based on SDL descriptions and models of the hardware architecture and the behaviour of the users. It is described how the SDL descriptions can be transformed automatically into descriptions capturing the original behaviour as well as the performance. In particular, the benefits and the opportunities with the m...

In order to study security systems, we have developed a methodology for application of formal analysis techniques commonly used in communication protocols to the analysis of cryptographic protocols. In particular, we have extended the design and analysis phases of protocol design with security properties. Our proposal uses a specification notation based on HMSC/MSC, which can be automatically t...

The co-simulation is the chosen method within the ESPRIT Project INSYDE for the validation of hybrid SDL and VHDL specifications. This paper presents a concept for the integrated SDL and VHDL simulator and its realization in C++. The INSYDE concept for the co-simulation is based on the connection of two existing commercial simulators by the Coupling Module. The Integrated Simulator presented in...