Database Access Layer Code Generation Directly from Use Case Scenarios

Requirements definition is the first step in the life cycle of a software system. Requirements are formulated as paragraphs of text and appear ambiguous, so they cannot be translated directly into code. For this reason, they are treated as secondary artifacts for software developers. This paper presents a model-driven based approach where requirements are treated as first-class citizens, and can contribute to the final code. In this approach, requirements are formulated as use case models with their textual scenarios, using a precise requirements language called RSL, allowing an automatic transition to executable Java code. The structure of the generated code follows the Model-View-Presenter (MVP) architectural pattern. The work focuses on the Model layer code, which is responsible for the persistence and storage of data in a database system.

Embedded Control System Design for Inverted Pendulum Type Mobile Robots Based on High-Level Petri Nets

This chapter presents a unified method for designing nonlinear motion control software of traveling control by non-holonomic two-wheeled inverted pendulum mobile robots, where self-balancing control is designed with a backstepping approach. The work described in this chapter focuses on the design and implementation of control software based on the use of a specialized notation formally defined by Petri nets. The software generates motor torque inputs for traveling control based on self-balancing control with on-line elaboration of the posture angle of the inverted pendulum. While traditional techniques offer limited support for validating control software design before producing final code, the proposed notation is easy to use in the specific controller design and it benefits from validation techniques available for Petri nets.

Convalida: a Code Generation-based FieldValidation Library for Android Applications

A common, repetitive, and time-consuming task in the construction of Android applications is creating interface field validation. Although there are some tools that address that issue, they are not intuitive and require effort for configuration, which may hinder their use. This paper introduces Convalida, an annotation-based library that generates code automatically at compile time for field validation of Android applications, thus allowing the developer to focus on the implementation of business rules. A comparative study considering other field validation tool and a manual approach is also provided and shows that our library has improved the final code.

A model-driven approach to enable the simulation of complex systems on distributed architectures

The increasing complexity of modern systems makes their design, development, and operation extremely challenging and therefore new systems engineering and modeling and simulation (M&S) methods, techniques, and tools are emerging, also to benefit from distributed simulation environments. In this context, one of the most mature and popular standards for distributed simulation is the IEEE 1516-2010 - Standard for M&S high level architecture (HLA). However, building and maintaining distributed simulations components, based on the IEEE 1516-2010 standard, is still a challenging and effort-consuming task. To ease the development of full-fledged HLA-based simulations, the paper proposes the MONADS method (MOdel-driveN Architecture for Distributed Simulation), which relies on the model-driven systems engineering paradigm. The method takes as input system models specified in Systems Modeling Language, the reference modeling language in the systems engineering field, and produces as output the final code of the corresponding HLA-based distributed simulation through a chain of model-to-model and model-to-text transformations. The obtained simulation code is based on the HLA Development Kit software framework, which has been developed by the SMASH-Lab (System Modeling and Simulation Hub - Laboratory) of the University of Calabria (Italy), in cooperation with the Software, Robotics, and Simulation Division (ER) of NASA’s Lyndon B. Johnson Space Center (JSC) in Houston (TX, USA). The effectiveness of the method is shown through a case study that concerns a military patrol operation, in which a set of drones are engaged to patrol the border of a military area, in order to prevent both ground and flight attacks from entering the area.

Criteria of truth

This book is devoted to such an important problem as understanding the world. The latter is impossible without relying on certain criteria that allow us to assess how close our understanding is to the truth. The text is therefore divided into three chapters. The first examines the question of human perception of the world, showing the fundamental, immanent shortcomings and physiological structure of our body and our mind, which prevent the perception of reality in its present form. The second considers our intellect as something finite and limited, also capable only of distortions and half-truths. Finally, the third shows that any intelligence (any intelligent creature, which appeared at our stage of development) a priori and in its essence put in a rigid framework implemented. The monograph is provided with an introduction and a final code, which are framework in nature and are designed, respectively, to give the reader a General idea of the work and draw some conclusions.

The making of professional values in the age of accountability

Changing conditions in the realm of teacher professionalism have consequences for teachers’ professional values and ethics. To a large degree, the literature concludes that increases in accountability policies seem to result in more restricted space for teachers’ professional values and ethical autonomy. Less attention has been given to which kinds and forms of ethics and value logics teachers negotiate and prefer in situations involving accountability policies. In this paper, we analyze how the Union of Education Norway negotiated teacher values in the process of developing their professional ethics code and the final code text. Previous research has shown clashes and struggles between two value systems, or as a change from traditional professional to neoliberal values. However, based on the analyses in this article, a third relation is suggested—one where increased accountability creates a paradoxical situation for teachers’ professional values and ethics—in which the professional ethics of opposition may analytically empty teacher practice of ethical aspects and where professional ethics of engagement may lead to decreased conditions for ethical engagement.

Transforming Event B Models into Verified C# Implementations

The refinement-based approach to developing software is based on thecorrect-by-construction paradigm were software systems are constructed via the step-by-step refinement of an initial high-level specification into a final concrete specification. Proof obligations, generated during this process are discharged to ensure the consistency between refinement levels and hence the system's overall correctness.Here, we are concerned with the refinement of specifications using the Event B modelling language and its associated toolset, the Rodin platform. In particular, we focus on the final steps of the process where the final concrete specification is transformed into an executable algorithm. The transformations involved are (a) the transformation from an Event B specification into a concrete recursive algorithm and (b) the transformation from the recursive algorithm into its equivalent iterative version. We prove both transformations correct and verify the correctness of the final code in a static programme verification environment for C# programs, namely the Spec# programming system.

Advance Care Planning and Palliative Care Integration for Patients Undergoing Hematopoietic Stem-Cell Transplantation

Purpose: Advance care planning (ACP) in hematopoietic stem-cell transplantation (HSCT) is challenging, given the potential for cure despite increased morbidity and mortality risk.The aim of this study was to evaluate ACP and palliative care (PC) integration for patients who underwent HSCT. Methods: A retrospective analysis was conducted and data were extracted from electronic medical records of patients who underwent HSCT between January 2011 and December 2015. Patients who received more than one transplant and who were younger than 18 years of age were excluded. The primary objective was to determine the setting and specialty of the clinician who documented the initial and final code status. Secondary objectives included evaluation of advance directive and/or completion of the Physician Orders for Life-Sustaining Treatment form, PC consultation, hospice enrollment, and location of death. Results: The study sample comprised 39% (n = 235) allogeneic and 61% (n = 367) autologous HSCTs. All patients except one (n = 601) had code status documentation, and 99.2% (n = 596) were initially documented as full code. Initial and final code status documentation in the outpatient setting was 3% (n = 17) and 24% (n = 143), respectively. PC consultation occurred for 19% (n = 114) of HSCT patients, with 83% (n = 95) occurring in the hospital. Allogeneic transplant type and age were significantly associated with greater rates of advance directive and/or Physician Orders for Life-Sustaining Treatment completion. Most patients (85%, n = 99) died in the hospital, and few were enrolled in hospice (15%, n = 17). Conclusion: To our knowledge, this is the largest single-center study of ACP and PC integration for patients who underwent HSCT. Code status documentation in the outpatient setting was low, as well as utilization of PC and hospice services.

Language Utterance Among India Community In Padang

This thesis title is Language Utterance Among India Community in Padang The writer focusing on the language that utter among India community in Padang. The India people usual talk and communication with other with mix language which another did not know. The writer seek this as uniqueness that can be describe by code mixing theory and sociolinguistik. The writer uses sociological theory for reach the purposes of the research. Purposes of the research is to descirbe the language change that happen in India community in Padang.. language change that happens have relate with linguistic theories. After getting the data, the writer , makes formula from the code mixing that utter in India community in Padang. This research uses field research method for get the significant data and library research for get the theories that will be uses as basic theory in this thesis. Technique collecting of data is qualitative method, which the writer get the data from 7 qualified interviewee based on criteria ( NORM (Nonmobile Older Rural Males). From it, the writer uses record technique for get the data. The results from the research that has been done, the wrier finds language change that influence by another ethnic such Minang, Tionghoa Padang and Indonesia. The changing are, vowel /i/ change into /e/ in medial, disappearance /h/ in final,initial and medial. Disappearance /r/ in final and medial, absorption /at/ become /?/ in final,absorption /u/ become /o/ in medial and final, absorption /t/ become /k/ in final, absorption /a/ into /o/ in final, absorption /p/ into /?/, absorption/ŋ/ into /aŋ/ in final, absorption /e/ become /a/ in medial and initial. Disappearance /e/ in medial, disappearance /d/ in initial, and medial,also disappearance /p/ in final. Code mixing that utter by India community that has been describe by code mixing theory, and become a formula from it.