Search results for "computer.programming_language"
showing 10 items of 986 documents
Evaluating Model-Driven Development Claims with Respect to Quality: A Family of Experiments
2021
[EN] Context: There is a lack of empirical evidence on the differences between model-driven development (MDD), where code is automatically derived from conceptual models, and traditional software development method, where code is manually written. In our previous work, we compared both methods in a baseline experiment concluding that quality of the software developed following MDD was significantly better only for more complex problems (with more function points). Quality was measured through test cases run on a functional system. Objective: This paper reports six replications of the baseline to study the impact of problem complexity on software quality in the context of MDD. Method: We con…
Diffusional Kurtosis Imaging in the Diffusion Imaging in Python Project
2021
ABSTRACTDiffusion-weighted magnetic resonance imaging (dMRI) measurements and models provide information about brain connectivity and are sensitive to the physical properties of tissue microstructure. Diffusional Kurtosis Imaging (DKI) quantifies the degree of non-Gaussian diffusion in biological tissue from dMRI. These estimates are of interest because they were shown to be more sensitive to microstructural alterations in health and diseases than measures based on the total anisotropy of diffusion which are highly confounded by tissue dispersion and fiber crossings. In this work, we implemented DKI in the Diffusion in Python (DIPY) project - a large collaborative open-source project which …
A Metamodeling Approach to Evolution
2001
With the increasing complexity of systems being modeled, analysis & design move towards more and more abstract methodologies. Most of them rely on metamodeling tools that employ multi-view models and the four-layer metamodeling architecture. Our idea is to use the metamodeling approach to classify and to constraint the possible evolutions of an information system with the effect to improve both detection of evolution conflicts and disciplined reuse. Within the domain of UML metamodeling, a refinement of the metamodel-level classification is proposed that includes bases for defining a metric of the evolution (in terms of distance between metamodels).
UML-Based Reliability Modeling of Network Services, a UDP Echo Service Case Study
2009
In the paper, we discuss state space reliability modeling formalism of distributed systems and services compliant with UML metamodel. Behavior of modeled application system we describe in terms of states. Service generation process we represent as a sequence of application system states. State space approach allows us to define dependence between application system components via dependence between components states and states input, output parameters. Reliability of application system component we define for each simply action state. Reliability of a service we express by components reliability in states determined by service generation process. As an example, we analyze reliability of cli…
Constraint Management in Engineering of Complex Information Systems
2009
We propose to build an engineering environment for information systems by using metamodels, OCL and symbolic model checkers to manage constraints. Our proposal is based on a definition of constraints as 3D spaces with dimensions corresponding to UML diagrams, constructs, and abstraction levels. We show how such environments can help with engineering quality complex systems by allowing to lift up a part of constraint verifications.
Definition and Assessment of a BAC Factor for Estimating Electrical Consumption of Outdoor Lighting
2018
The BAC factors method was introduced by the international Standard EN 15232 for a rough evaluation of energy savings in buildings obtained thanks to automation. The above standard considers the building's services such as heating, cooling, ventilation and lighting and takes into account automation on the basis of assumed usage profile for the related technical installations. However, the standard does not refer specifically to the automation of outdoor lighting systems such as those serving gardens, entrance walkways and passages around the building and supplied by it. In this paper, the authors propose a method for evaluation an outdoor BAC factor for lighting system considering various s…
Tool Support for Model Driven Development of Pervasive Systems
2007
This work presents the PervML Generative Tool (PervGT) that supports a model driven method for the development of pervasive services in ubiquitous environments. The tool, which is based on the Eclipse platform, provides facilities for the graphical description of pervasive systems using PervML, a UML-like modeling language. Once the pervasive system is specified, the PervML model is used as input to a transformation engine that generates source code and other implementation assets. This generated code extends an OSGi-based framework in order to build the final pervasive applications
Context and User-Centered Approaches: Icons in Cross-Cultural Context
2014
Culture is embodied in how people interact with other individuals and with their environment. It is a way of life formed under specific historical, natural and social conditions. Cross-cultural communication environment, user/actor and task/situation is the key triplet in our context research. In this chapter, context is discussed as a multidimensional concept and icons in cross-cultural environments are introduced. The authors present Kiyoki's semantic associative search method, and introduce an example of applying an icon-based platform for cross-cultural communication with Kiyoki’s method for searching and creating context-dependent cross-cultural information. This cross-cultural communi…
Experimental Investigation on the Performances of a Multilevel Inverter Using a Field Programmable Gate Array-Based Control System
2019
The Field Programmable Gate Array (FPGA) represents a valid solution for the design of control systems for inverters adopted in many industry applications, because of both its high flexibility of use and its high-performance with respect to other types of digital controllers. In this context, this paper presents an experimental investigation on the harmonic content of the voltages produced by a three-phase, five level cascaded H-Bridge Multilevel inverter with an FPGA-based control board, aiming also to evaluate the performance of the FPGA through the implementation of the main common modulation techniques and the comparison between simulation and experimental results. The control algorithm…
The resources and obstacles of creative collaboration in a long-term learning community
2008
Abstract In the framework of a subject-centred socio-cultural approach, this study investigates creative collaboration and the resources for and obstacles to it in a long-term learning community of ten teacher students. The study focuses on five different learning situations over a 2-year period. The data were taken from teacher students’ evaluations and accounts (on given criteria) of their videotaped group-learning sessions, and their reports of the obstacles to creative collaboration. Using the students’ evaluations of the five videotaped group learning situations, the sessions they assessed as the least and most creative were compared, the aim being to discover the most important situat…