Abstract Service-dominant logic (SDL) has become an important thinking, in which service fuels growth of the firm. However, existing evidence offers little explanation how emerges as dominant logic. This paper investigates a firm evolves to SDL enterprise. Drawing on theoretical notions and actor engagement, case study Homekoo is performed. The findings show that “service mindset” key drives em...

Title of Dissertation: SELF-DIRECTED LEARNING IN THE WORKPLACE Amy Buhl Conn, Doctor ofPhilosophy, 2000 Dissertation directed by: Professor and Dean Irwin L. Goldstein College of Behavioral and Social Sciences C: L Rapid changes in workplace (e.g., technology, organizational structure) increase the complexity of work which, in turn, increases the demand for continual learning. Current training ...

INTRODUCTION Self-directed learning (SDL) has been an essential issue in medical education due to the expansion of knowledge, accessibility to information and greater emphasis on reflection. If SDL in educational research lacks a clear definition, terminological confusion may hinder the application of the results to practice. The aim of this study was to review and categorise the various forms ...

Student-directed learning (SDL) holds the promise of endowing medical students with the skills to tackle the growing body of information in medicine and facilitate its integration to solve clinical problems. The concept of SDL is not new, it grew out of a more commonly used and closely related concept: self-directed learning. Barrows characterizes SDL as the development of effective self-direct...

Testing of data transfer protocol can be performed by means of simulation and a variety of modeling languages may be used for it. Among them there are such languages as SDL and SystemC. Moreover an approach for SDL/SystemC co-modeling has been developed and already applied in practice. This paper discusses applicability of SDL/SystemC co-modeling for testing of data transfer protocols.

Data Types (ADT) is used to characterize variable and parameter types through inheritance to avoid redundant redefinition of common operators and to define parametric data types. Communication on bidirectional routes between processes is asynchronous in SDL, and synchronous communication is provided by the remote-procedure call instruction. Also a non-ordered signal reception is supported by SD...

In this paper, we tackle the problem of model-checking SDL programs that use the save operator. Previous work on model-checking SDL programs with SPIN consists in translating SDL into IF (using sdl2if) and nally IF to Promela (if2pml). Nevertheless the save operator of SDL is not handled by the ( nal) translator if2pml. We propose an extension of the tool if2pml that translates IF programs with...

This paper discusses the Trustworthy Computing Security Development Lifecycle (or simply the SDL), a process that Microsoft has adopted for the development of software that needs to withstand malicious attack. The process encompasses the addition of a series of securityfocused activities and deliverables to each of the phases of Microsoft's software development process. These activities and del...

Mutation Testing is an error-based criterion that provides mechanisms to evaluate the quality of a test set and/or to generate test sets. This criterion, originally proposed to program testing, has also been applied to specification testing. In this paper, we propose the application of Mutation Testing for testing SDL specifications. We define a mutant operator set for SDL that intends to model...