Search results for "Software engineering"
showing 10 items of 1151 documents
Revista española de orientación y psicopedagogía
2014
RESUMENSon bien conocidos los condicionantes vocacionales que influyen en los estudiantes universitarios en función de características como el sexo, nivel socioeconómico o grupo vocacional al que se adscriben. Sin embargo, poco se conoce de las características vocacionales de estos estudiantes cuando están afectados por una discapacidad. La aproximación cualitativa, a través de entrevistas semiestructuradas, es la vía que permite conocer con detenimiento las necesidades y características de estos estudiantes para establecer un asesoramiento de calidad. Esta metodología nos muestra que dicho asesoramiento debe centrarse, básicamente, en tres campos: el socio-personal, el de autonomía e indep…
User experience-based information retrieval from semistar data ontologies
2019
The time necessary for the doubling of medical knowledge is rapidly decreasing. In such circumstances, it is of utmost importance for the information retrieval process to be rapid, convenient and straightforward. However, it often lacks at least one of these properties. Several obstacles prohibit domain experts extracting knowledge from their databases without involving the third party in the form of IT professionals. The main limitation is usually the complexity of querying languages and tools. This paper proposes the approach of using a keywords-containing natural language for querying the database and exploiting the system that could automatically translate such queries to already existi…
Seamless integration of MetaEdit+ and eclipse to combine modeling and coding
2012
Tool integration tries to help users by automating processes in software development. In literature integration is mostly shown from technical point of view leaving user related issues outside. In this paper tool integration is looked also from the perspective of software engineering process and the user involved in the process. Another aspect will be integrating design models and code. A case of tool integration will be presented. The first tool is MetaEdit+ which is a Domain-Specific Modeling environment. The other tool is Eclipse which is used for traditional software engineering. The integration aims to combine the modeling and coding activities which together support metamodelers and m…
Meta model of e-learning materials development
2014
The multitude of software tools is available for the creation of learning resources. However the majority of these tools provided by different software producers do not have a unified mechanism by means of which it would be possible to search and reuse the existing learning resources or their elements. To solve this problem the structures of descriptive data can be used. The aim of this paper is to describe a meta-model of e-learning objects and e-learning formats that could be used in the creation of e-learning materials compatible with various e-learning standards. The meta-data models that are used in widely-known learning resourcesâ repositories and their structureâs metadata standa…
Optimum Solution for Sliding Formwork Equipment
2015
In the present context of the construction domain where everything needs to respond to the market requirements and time efficiency is an ongoing issue, the paper analyses the optimum solution for a sliding formwork. By using all the previous data obtained through PLM (Product Lifecycle Management) approach, we determined the particular solution. For this creative methods were used.As a future step, by having such solution we can design an intelligent equipment and make a step ahead in the formwork industry.
Improving the performance of CAR systems based on mobile phones
2013
Collaborative Augmented Reality (CAR) systems allow multiple users to share a real work environment including computer-generated images in real time. Currently, the hardware features of most mobile phones makes them a natural platform for CAR systems. However, the wide variety of these hardware features can have important effects on the performance of the mobile CAR applications. This thesis proposes a performance characterization and improvement of CAR systems based on mobile phones. The research results, at the time of writing this paper, shows that a CAR system using mobile phones as clients and with a single server can support up to one thousand clients while providing interactive respo…
Neural Multimodal Belief Tracker with Adaptive Attention for Dialogue Systems
2019
Multimodal dialogue systems are attracting increasing attention with a more natural and informative way for human-computer interaction. As one of its core components, the belief tracker estimates the user's goal at each step of the dialogue and provides a direct way to validate the ability of dialogue understanding. However, existing studies on belief trackers are largely limited to textual modality, which cannot be easily extended to capture the rich semantics in multimodal systems such as those with product images. For example, in fashion domain, the visual appearance of clothes play a crucial role in understanding the user's intention. In this case, the existing belief trackers may fail …
Safety Assurance of a High Voltage Controller for an Industrial Robotic System
2020
Abstract Due to the risk of discharge sparks and ignition, there are strict rules concerning the safety of high voltage electrostatic systems used in industrial painting robots. In order to assure that the system fulfils its safety requirements, formal verification is an important tool to supplement traditional testing and quality assurance procedures. The work in this paper presents formal verification of the most important safety functions of a high voltage controller. The controller has been modelled as a finite state machine, which was formally verified using two different model checking software tools; Simulink Design Verifier and RoboTool. Five safety critical properties were specifie…
Towards a Formal Analysis of MQtt Protocol in the Context of Communicating Vehicles
2017
International audience; The paper presents a formal approach to model, analyze, and verify a variant of Message Queue Telemetry Transport protocol (MQtt), dedicated to communicating vehicles (MQtt-CV) that send collected data to automotive infrastructures(subscribers). Our formal approach is based on Promela language and its system verification tool, the model checker SPIN. We propose a slight modification of MQtt protocol to reduce the big volume of data collected and sent by vehicles to infrastructures. Indeed, in the original version of MQtt protocol, when a broker receives data from publishers, it sends them directly to its subscribers without any filtration. As consequence, subscribers…
Deciding properties of integral relational automata
1994
This paper investigates automated model checking possibilities for CTL* formulae over infinite transition systems represented by relational automata (RA). The general model checking problem for CTL* formulae over RA is shown undecidable, the undecidability being observed already on the class of Restricted CTL formulae. The decidability result, however, is obtained for another substantial subset of the logic, called A-CTL*+, which includes all ”linear time” formulae.