From Requirements to Java Code

Author(s):  
Antonio Bucchiarone ◽  
Davide Di Ruscio ◽  
Henry Muccini ◽  
Patrizio Pelliccione

When engineering complex and distributed software and hardware systems (increasingly used in many sectors, such as manufacturing, aerospace, transportation, communication, energy, and health-care), quality has become a big issue, since failures can have economic consequences and can also endanger human life. Model-based specifications of component-based systems permit to explicitly model the structure and behaviour of components and their integration. In particular Software Architectures (SA) have been advocated as an effective means to produce quality systems. In this chapter by combining different technologies and tools for analysis and development, we propose an architecture-centric model-driven approach to validate required properties and to generate the system code. Functional requirements are elicited and used for identifying expected properties the architecture shall express. The architectural compliance to the properties is formally demonstrated, and the produced architectural model is used to automatically generate Java code. Suitable transformations assure that the code is conforming to both structural and behavioural SA constraints. This chapter describes the process and discusses how some existing tools and languages can be exploited to support the approach.

2015 ◽  
Vol 12 (2) ◽  
pp. 375-403 ◽  
Author(s):  
Sohaib Hamioud ◽  
Fadila Atil

Refactoring is an important technique for restructuring code to improve its design and increase programmer productivity and code reuse. Performing refactorings manually, however, is tedious, time consuming and error-prone. Thus, providing an automated support for them is necessary. Unfortunately even in our days, such automation is still not easily achieved and requires formal specifications of the refactoring process. Moreover, extensibility and tool development automation are factors that should be taken into consideration when designing and implementing automated refactorings. In this paper, we introduce a model-driven approach where refactoring features, such as code representation, analysis and transformation adopt models as first-class artifacts. We aim at exploring the value of model transformation and code generation when formalizing refactorings and developing tool support. The presented approach is applied to the refactoring of Java code using a prototypical implementation based on the Eclipse Modeling Framework, a language workbench, a Java metamodel and a set of OMG standards.


2019 ◽  
Author(s):  
Ignatius Bau ◽  
Robert A. Logan ◽  
Christopher Dezii ◽  
Bernard Rosof ◽  
Alicia Fernandez ◽  
...  

The authors of this paper recommend the integration of health care quality improvement measures for health literacy, language access, and cultural competence. The paper also notes the importance of patient-centered and equity-based institutional performance assessments or monitoring systems. The authors support the continued use of specific measures such as assessing organizational system responses to health literacy or the actual availability of needed language access services such as qualified interpreters as part of overall efforts to maintain quality and accountability. Moreover, this paper is informed by previous recommendations from a commissioned paper provided by the National Committee for Quality Assurance (NCQA) to the Roundtable on Health Literacy of the National Academies of Sciences, Engineering, and Medicine. In the commissioned paper, NCQA explained that health literacy, language access, and cultural competence measures are siloed and need to generate results that enhance patient care improvements. The authors suggest that the integration of health literacy, language access, and cultural competence measures will provide for institutional assessment across multiple dimensions of patient vulnerabilities. With such integration, health care organizations and providers will be able to cultivate the tools needed to identify opportunities for quality improvement as well as adapt care to meet diverse patients’ complex needs. Similarly, this paper reinforces the importance of providing more “measures that matter” within clinical settings.


2021 ◽  
Vol 21 (1) ◽  
Author(s):  
Heidi Snoen Glomsås ◽  
Ingrid Ruud Knutsen ◽  
Mariann Fossum ◽  
Kristin Halvorsen

Abstract Background Public home care for the elderly is a key area in relation to improving health care quality. It is an important political goal to increase elderly people’s involvement in their care and in the use of welfare technology. The aim of this study was to explore elderly service users’ experience of user involvement in the implementation and everyday use of welfare technology in public home care services. Method This qualitative study has an explorative and descriptive design. Sixteen interviews of service users were conducted in five different municipalities over a period of six months. The data were analysed using reflexive thematic analysis. Results Service users receiving public home care service are not a homogenous group, and the participants had different wishes and needs as regards user involvement and the use of welfare technology. The analysis led to four main themes: 1) diverse preferences as regards user involvement, 2) individual differences as regards information, knowledge and training, 3) feeling safe and getting help, and 4) a wish to stay at home for as long as possible. Conclusion The results indicated that user involvement was only to a limited extent an integral part of public home care services. Participants had varying insight into and interest in welfare technology, which was a challenge for user involvement. User involvement must be facilitated and implemented in a gentle way, highlighting autonomy and collaboration, and with the focus on respect, reciprocity and dialogue.


Sign in / Sign up

Export Citation Format

Share Document