bluuebunny/crossref_metadata_2025 huggingface dataset:
The Influence of Defense Equipment Exports, Defense Equipment Imports, and the Defense Budget, on Economic Growth in Indonesia in 2017-2021
Authors: Harningrum Yollanda Lakshinta , Suwito Suwito , Sulistyadi Edy
Published: May 2023

The development of the defense industry is influenced by several factors such as the defense budget and military technology related to the export of defense equipment and the import of defense equipment. This study aims to examine how the influence of the defense budget, export of defense equipment, and import of defense equipment on economic growth. This research uses quantitative methods. The data used is secondary data in the form of a time series (2017-2021) obtained from SIPRI and Global Fire Power. The data processing technique uses Eviews 12. The data analysis technique used in this study is the classical assumption test, multiple linear regression, partial significance test (t test), simultaneous significance test (F test), and the coefficient of determination (R2). The results of this study indicate that 1) Exports of defense equipment have no effect on economic growth with a probability of 0.1154. 2) Imports of defense equipment have no effect on economic growth with a probability of 0.3494. 3) The defense budget has no effect on economic growth with a probability of 0.1225. 4) The independent variables simultaneously have no influence on the dependent variable. The conclusion from this study is that defense equipment exports, imports, and the defense budget have no effect on economic growth either partially or simultaneously in the 2017-2021 period.
Effect of Completeness of Land Side Facilities on Passenger Satisfaction at Tebelian Sintang Airport, West Kalimantan
Authors: Wijaya Wahyu Tantri , Tamara Amelia Puspa
Published: May 2023

Airport according to Annex 14 of ICAO (International Civil Aviation Organization) is a certain area on land or water (including buildings, installations and equipment) which is intended either in whole or in part for the arrival, departure and movement of aircraft. Tebelian Sintang Airport is categorized as a new airport so that the buildings and facilities at the airport are still inadequate so that repairs and additional facilities are needed. From the results of observations, researchers know that at Tebelian Sintang Airport, West Kalimantan, they have started to improve (1) existing facilities at the airport and add (2) complete facilities such as special places for breastfeeding, prayer rooms and additional seats for passengers and the addition of other facilities for comfort and safety. passengers while at Tebelian Sintang Airport, West Kalimantan. The research method used is a quantitative method. With a total sample used in this study of 100 respondents, and a total population of 75,000 passengers. The respondents in this study were service users who had used the facilities at Tebelian Sintang Airport, West Kalimantan. Research techniques based on the philosophy of positivism, are used to examine certain populations or samples. Sampling techniques are generally carried out randomly, data collection uses research instruments, data analysis is quantitative/statistical in nature with the aim of testing established hypotheses. This study has one independent variable Facility (X) and dependent variable Passenger satisfaction (Y). The results in this study show that the value of T count is 28.814 T table 1.98447, and a significance value (sig) of 0.000 0.05. Therefore it can be concluded that Ho is accepted, meaning that there is a positive influence of the completeness of the facilities variable on passenger satisfaction at Tebelian Sintang Airport, West Kalimantan.
Analysis of the Effect of Variation in the Number of Taperless Type Blades on the Performance of a Horizontal Axis Wind Turbine with Naca 4412 Airfoil
Authors: Sunarya Rachmat , Sutarsa Anang Budi , Lestari Andrian Andaya , Trismadi Trismadi
Published: May 2023

The need for electrical energy which continues to be widely needed by society and industry today is a major factor in their daily needs and activities. Wind energy is one of the renewable energy that is environmentally friendly. At present the utilization of wind energy continues to be developed, one of which is a wind energy conversion system that converts wind kinetic energy into mechanical energy and then converts it into electrical energy through a generator. The amount of electricity generated by the generator depends on the rotating speed of the blades and the speed of the wind that hits the blades on the wind turbine. In this research is how the performance of horizontal shaft wind turbines with variations in the number of blades with the aim of obtaining optimal results of torque, power and efficiency. The tests carried out in this study were simulated on the Q Blade v 0.96 software with variations in the number of blades 2 to 6 and the average wind speed data in the West Java region. That the results of the tests carried out produce a graph that compares the number of blades to the power, torque, and efficiency produced by a wind turbine
Analysis of the Work Discipline of the Ground Support Equipment (GSE) Unit at Adi Soemarmo International Airport
Authors: Pramesti Natasya Ardhia , Kusuma Nur Makkie Perdana
Published: May 2023

Punctuality in the world of aviation is an important point in work. Adi Soemarmo International Airport is one of the busiest airports. In serving aircraft movements, the Ground Support Equipment unit plays an important role in it, so that the unit requires to always carry out work discipline. The discipline carried out by GSE officers is very important in handling the movement of aircraft, vehicles and goods that cross the apron area. This is to minimize errors that occur when in the field. This study aims to determine the factors that influence the work discipline of the Ground Support Equipment unit. In addition, this study also aims to obtain the results of the work discipline of the Ground Support Equipment unit carried out by Apron Movement Control. This research is descriptive using qualitative methods with data collection methods in the form of observation, interviews, and documentation. The data obtained was in the form of interviews with AMC and GSE unit personnel at Adi Soemarmo International Airport as well as documents used to carry out daily activities. The results of this study indicate that the factors of work discipline at Adi Soemarmo International Airport include compensation, leadership, goals and abilities, fairness, supervision. The five factors give different influences. In terms of work results, personnel can get better results with the two units having a good relationship, supported by an office location that is not far away, making it easier to coordinate and communicate. Personnel carry out work discipline properly based on existing SOPs. Existing constraints such as the occurrence of violations can be handled by the unit according to the rules in enforcing sanctions.
Optimization of Human Resource Management in Improving the Quality of Education at MI Hidayatul Islamiyah Pajarakan Probolinggo
Authors: Achmad Firdausi , Hamid Abdul , Badruddin M. Fuad
Published: May 2023

School is an educational institution that is responsible for realizing the functions and goals of national education. In this case, the principal has a very strategic role because one of the principal’s duties is to be a manager. The principal must be able to manage the entire school, including managing existing human resources; especially teachers and administrative staff who are direct implementers in school activities who also play a major role in the success of the school in order to achieve the school’s vision, mission and goals. Resource management is carried out through several activities including preparation, arrangement, direction, and supervision. In terms of human resource management, school principals have tasks that are divided into three aspects, including: 1) provision of employees, 2) utilization of existing employees, and 3) building and developing. Factors that support and also hinder human resource management must be managed properly so that good performance will be obtained, school goals can be achieved, and the quality of graduates will increase.
The Use of Edmodo Media in Islamic Religious Education Learning to Increase Learning Motivation of Class XII Science Students of SMAN 3 Mamuju
Authors: Wardiah Wardiah
Published: May 2023

This thesis discusses the use of edmodo media in learning Islamic Religious Education in increasing the learning motivation of class XII science students of SMA Negeri 3 Mamuju, The objectives of this study are (1) To find out how the use of edmodo media in learning Islamic Religious Education in class XII science students at SMA Negeri 3 Mamuju. (2) To find out how the level of learning motivation of class XII science students in Islamic Religious Education Learning at SMA Negeri 3 Mamuju (3) Shows that the use of edmodo media in PAI learning can increase the learning motivation of class XII science students at SMA Negeri 3 Mamuju.This research uses a quantitative approach, the type of research is quasi-experimental design research (pseudo-experiment). The population in this study was all class XII science students totaling 60 people. In sampling, the Cluster Random Sampling technique is used, with class XII IPA 1 as the experimental class and class XII IPA 2 as the control class. The research instrument is observation with data collection techniques, observing student activities during learning, providing tests, questionnaires before and after learning to measure student learning motivation, and documentation. The results of this study show that : (1) The use of edmodo media in learning Islamic Religious Education can increase learning motivation in students of grade XII Science SMA Negeri 3 Mamuju. This is evident from the Independent Samples T Test (T test) questionnaire data after learning with edmodo media was applied. the result obtained is Sig (2-tailed) = 0.040 2 α (0.1) then H0 is rejected and H1 is accepted. (2) Based on questionnaire data tests and observations conducted by researchers, it was found that the level of student motivation was very high in the experimental class after being given treatment than in the control class. As for the results of the data obtained Sig (2-tailed) = 0.040 2 α (0.10), H0 failed to be rejected and H1 was accepted.
Dimensions of Education, Liberation, and Social Change: A Study of Women's Experiences in Kampung Perca Bogor in Facing Covid-19
Authors: Supriyadi Raji , Sudiapermana Elih , Pramudia Joni Rahmat
Published: May 2023

This study aims to determine the dimensions of social change in women's groups, through training and multistakeholder collaboration on the formation of Kampung Perca in Sindangsari Village, Bogor. The women in the City of Rain have shown their participation so that they find ways out of the impact of Covid-19 through the production of creative businesses in the form of patchwork crafts which begin with sewing training. This business is growing and its products are in demand by many people. Plus the collaboration of various actors and parties, such as the Bogor City Government and West Java Province as well as the business world, so that this village in Sindangsari becomes Kampung Perca, a thematic village. Results of this study; First, initiatives and decision-making processes are carried out by the women's own community. Second, ability improvement through training. Third, the approach taken adapts to local conditions, where a lot of fabric waste/waste originating from factories and convection has not been utilized in the Sindangsari area. Fourth, in carrying out community development and empowerment, it is emphasized through a social learning process in which there is collaborative interaction between the bureaucracy and the community starting from the planning process to evaluation by underpinning mutual learning. And, fifth, the establishment of a network process between the bureaucracy and non-governmental organizations, independent traditional organizational units.
Application of Cooperative and Collaborative Learning Methods in Learning Strategic Decision Making Courses
Authors: Susanti Eni
Published: May 2023

The purpose of this study is to determine the success rate of applying cooperative and collaborative learning methods in learning strategic decision-making courses for the International Relations Study Program. This research was conducted on students of the international relations study program class of 2020 Semester 5 who took strategic decision-making courses. The results of research from 3 classes obtained that students who obtained A grades of 67.65%, A- grades of 19.12%, B+ grades of 4.41%, B- grades of 2.94%, C grades of 0%, D grades of 1.47% and E grades of 4.41%. In addition, from this study, there was also an increase in students on affective, psychomotor and cognitive aspects. Affective aspects include discipline in task collection, honesty in conducting group assessments and honesty during tests, psychomotor aspects which include skills in applying basic principles and decision-making techniques From the results of descriptive analysis, it can be concluded that learning using cooperative and collaborative learning methods is proven to be able to increase student understanding of strategic decision-making techniques courses.
The Story Telling as a Solution of Student’s Difficulties in English Speaking at Islamic of Senior High School Sirojut Tholibin
Authors: Lutfah Nafa Wardana , Arisanti Kustiana , Ririn Ririn
Published: May 2023

Speaking is one of the most important of the four skills namely listening skills, speaking skills, reading skills and writing skills. Talking is one action to convey information and express ideas and feelings. This research is conducted to describe students' difficulties in speaking English lessons, factors that make it difficult for students to speak English, and students strategies to overcome their difficulties in speaking English lessons in twelfth grade MA Islam Sirojut Tholibin 2022/2023. This study uses a qualitative method. MA Sirojut Tholibin class XII IPA selected by the researcher as a sample consisting of 32 students. In collecting data, researchers used observation, interviews, and questionnaires. Data collected analyzed by reducing data, presenting data, drawing conclusions and verification. Researchers use the results of the pretest and posttest, to show reliability data. From the data analysis, the researcher found that each student was different difficulty in speaking, there is lack of vocabulary, poor pronunciation, nothing to say, lack of motivation, fear of being wrong, shy, using mother tongue. There are factors that cause difficulties in speaking English in English lessons. Other factors are internal factors, students do not have an interest in learning to speak, classroom conditions, student environment. Students have strategies for coping their difficulty in speaking. Students join English clubs or English courses for improve their speaking, so they can practice speaking English and ask them friend or teacher to improve their English. Students memorize vocabulary and write short stories to improve their speaking skills.
Efforts to Improve Science Learning Achievement of Grade IX A Students of SMP Negeri 3 Sewon Using the Multy Representacy (DMR) Discourse Model for the 2021/2022 Academic Year
Authors: Sarjito Sarjito
Published: May 2023

This study aims to improve natural science (IPA) learning achievement using the Multy Reprecentacy (DMR) Discourse learning model.  This study is a class action research conducted with two (2) cycles. Each cycle consists of three (3) meetings, namely two (2) meetings for the learning process and one (1) meeting for achievement tests that are done independently. Each cycle follows the stages of the Kemmis and Taggart model which includes four components: planning, action, observation and reflection. The data collected in this study is the result of research related to the implementation of learning using the Multy Reprecentacy (DMR) Discourse model on natural science (IPA) material. Data collection techniques use test and non-test techniques with descriptive and qualitative approaches. The results showed that the use of the Multy Reprecentacy (DMR) Discourse model in natural science learning activities can improve student achievement. This increase in prestige is the effect of better and conductive teaching and learning activities of teachers and students. The success of this increase in learning achievement can be seen from the increase in learning achievement scores after conducting achievement tests with the "Multy Reprecentacy (DMR) Discourse" model, compared to learning using the lecture method. So learning using the "Multy Reprecentacy (DMR) Discourse" model, is proven to increase the achievement of science (science) for junior high school students.
The Influence of Pancasila and Civic Education Teachers in Shaping the Character of Students as a Response and Challenge of the 21st Century
Authors: Haddad Rd Sugara Mochamnad , Suprihat Ujang
Published: May 2023

This research was motivated by the discovery of problems such as lack of responsibility, discipline, communication between students, and individualist tendencies. The purpose of this study is to determine and analyze the influence of Pancasaila and Civic Education teachers in shaping the character of students as a response and challenge of the 21st century. Survey research method with quantitative approach. Data collection techniques include questionnaires and documentation. Respondents consisted of 52 students. The results of the study based on calculations using SPSS software version 25 obtained results 1) of 5.8%, this shows that the influence of the contribution of PPKn teachers is low in shaping the character of students at SMA Negeri 1 Subang. 2) by 20.8%, this shows that the influence of PPKn teachers is the level of influence is in shaping the character of students in the 21st century. 3) an influence of 8%, this shows that the influence of PPKn teachers in shaping the character of students is very low before researchers conducted research in grade X of SMA Negeri 1 Subang. 4) by 25.6%. This shows that the influence of PPKn teachers in shaping the character of students has changed the level of change, which is in shaping the character of students as a response and challenge of the 21st century. From these data, it shows that teachers of Pancasila and Civic Education have an influence in shaping the character of students as a response to the challenges of the 21st century. By being influenced by factors such as planning, implementing learning, student conditions, student character, teacher guidance and motivation, teacher social attitudes, and the use of learning facilities.
Strategy In Teaching English Vocabulary
Authors: Alviani Alviani
Published: May 2023

The objectives of the research were to find out how inquiry based strategy is effective to improve the students’ achievement. The design of the research was classroom action research. It was done in two cycles, while every cycle consisted of four steps (planning, acting, observing, and reflecting). The first cycle conducted in two meetings include pre-test. The second cycle was conducted in two meetings and each cycle the students were taken the test as the post-test. The subjects of this research were 8 students of Grade two SMKS Analis Palopo. Based on the result of this research showed that there was an improvement on the students’ vocabulary, it can be seen from the mean score of pre-test were 57,5, the mean score of post-test I was 69, and the mean score of post-test II was 83. In addition, there was 1 students (12,5%) who passed Minimum Mastery Criterion (Kriteria Ketuntasan Minimal/KKM) in the pre-test. Meanwhile, in the cycle I, there were 3 students (37,5%) who passed Minimum Mastery Criterion (KKM), and in the post-test II there were 7 students (87,5%) who passed Minimum Mastery Criterion (KKM), so the criteria of success was achieved. Then, from the result of questionnaire it showed that there was improvement of positive responses in the teaching-learning process of vocabulary through Inquiry strategy. The mean of pre-questionnaire was 41,84%. Then, the mean of post-questionnaire was 77,6%. It improved 35,76%. Furthermore, the results of observation and interview showed that the students were motivated in teaching-learning process during the implementation of Inquiry strategy.
FRAME_BD - Uma Infra-estrutura para Construção de Ambientes lntegrados para Projeto de Software
Authors: Araujo João Gualberto Rizzo , Fonseca Décio
Published: May 2023

Neste trabalho apresentamos FRAME_BD, uma infra-estrutura para suportar a criação de ambientes integrados para projeto de bases de dados e desenvolvimento de software. FRAME_BD oferece um conjunto de classes, organizadas em módulos, que permite a construção de ferramentas para suportar o processo de desenvolvimento de software. FRAME_BD oferece persistência de objetos, interfaces gráficas, ligações de hipertexto e serviços de manipulação de erros. Isto acelera o desenvolvimento de novas ferramentas e torna sua integração mais suave.
Gramáticas de Grafos e Objetos para Suporte a Notações Diagramáticas em Ambientes de Desenvolvimento de Software
Authors: Macedo Elisiane Andreatta Ferreira De , Price Ana Maria De Alencar
Published: May 2023

A especificação de editores dirigidos por sintaxe, para notações diagramáticas de metodologias de desenvolvimento de software é abordada do ponto de vista de que um diagrama é um grafo e que as operações possíveis sobre esse grafo são determinadas através das produções de uma gramática de grafos. Os elementos léxicos são definidos sobre um framework orientado a objetos, sendo possível determinar regras de layout através de equações matemáticas, que regem o comportamento dos mesmos.
Visando o Reuso Formalmente Justificado de Especificações
Authors: Gondim João J. C.
Published: May 2023

As abordagens tradicionais de reuso em engenharia de software estão centradas na reutilização integral de módulos de programas a nível de código. Neste trabalho, nos distanciamos desta abordagem de duas formas: primeiro por trabalhar com especificações ao invés de programas; segundo por permitir o reuso parcial de módulos. Para isto, propomos uma framework para tratar do problema baseada na logica formal. Descrevemos o problema nestes termos e, baseando-se em princípios de reuso que fazem sentido em termos de engenharia de sofware, obtemos uma solução que evita algumas desvantagens de outras abordagens. Conseguiu-se tambem relcionar os resultados obtidos com outros referentes à formalização do processo de implementação, e ainda como é possível obter metodologias de reuso que são simples e formalmente justificadas.
Modelagem Dinâmica OO: Uma Análise Comparativa de Técnicas
Authors: Reinoso Guillermo Bustos , Heuser Carlos A.
Published: May 2023

In object-oriented systems modeling three perspectives are considered: the static or structural perspective, the dynamic perspective and the functional perspective. Modeling of the static perspective uses established concepts developed in the arca of semantic data modeling. However, there are several different proposals for dynamic modeling of OO systems. This papers reviews some representative approaches and compares them by several criteria.
Geração de Dados de Teste: Uma Estratégia que Preserva a Hierarquia de Critérios
Authors: Vergilio Silvia Regina , Maldonado José Carlos , Jino Mario
Published: May 2023

Comparações entre critérios de teste têm sido efetuadas baseadas principalmente em hierarquias definidas por uma relação de inclusão. Um critério C1 inclui um critério C2 se para qualquer programa, todo conjunto de dados de teste que satisfaz C1 também satisfaz C2. Pouca informação sobre a eficácia, definida como a capacidade dos critérios de revelar defeitos, é fornecida por uma hierarquia. A eficácia depende da estratégia utilizada para gerar conjuntos de teste adequados a cada critério, e por isso, a preservação da hierarquia não pode ser garantida. Uma estratégia chamada SINGER é proposta para ser utilizada juntamente com a estratégia proposta em [17], para gerar dados de teste com maior probabilidade de revelar defeitos e garante que a hierarquia seja sempre preservada, no que diz respeito a eficácia dos critérios, isto é, ao se aplicar os critérios C1 e C2, tal que C1 inclui C2, C1 revelará pelo menos todos os defeitos revelados por C2.
Estudo das Interações Humanas no Processo de Desenvolvimento de Software
Authors: Iochpe Cirano , Figueiredo Elza Marisa Paiva de
Published: May 2023

Este artigo apresenta a instrumentalização e os resultados mais importantes de um trabalho de campo feito com quatro equipes de desenvolvimento de software de três empresas da região da Grande Porto Alegre, Rio Grande do Sul. Os dois maiores objetivos do estudo eram conhecer melhor o processo de desenvolvimento de software que as empresas realmente desenvolvem e identificar quais as interações humanas que ocorrem no processo e como elas influenciam as produtividade e qualidade do processo e do produto final. Com base nos resultados do trabalho, investigou-se como as ferramentas existentes que apioam o desenvolvimento de software suprem os requisitos identificados.
Construção de um Framework para Sistemas Controladores de Trens utilizando Padrões de Projeto e Meta padrões
Authors: Quadros Elbson Moreira , Rubira Cecília Mary Fischer
Published: May 2023

Este artigo apresenta o processo de desenvolvimento de um framework caixa-branca (que inclui também componentes caixa-preta) para um subdomínio específico de Controladores de Trens. O framework é estruturado através de uma seqüência de transformações no modelo básico de um sistema controlador de trens, utilizando-se os conceitos de padrões de projeto e metapadrões. A partir deste modelo básico, que não provê um grau de reutilização suficientemente alto para um framework, algumas transformações são aplicadas, com o objetivo de aumentar o seu grau de reutilização.
Graph Grammars for the Specification of Concurrent Systems
Authors: Ribeiro Leila , Korff Martin
Published: May 2023

Graph grammars have origined from generalizing Chomsky grammars from Strings to Graphs. They visually support intuition, have a solid theoretical foundation, and provide a formal, implementation independent means for the description of discretely evolving computations and their formal and tractable analysis. In this paper we present the outline of a case study of specifying a telephone system and report on the resulting semantical and analytical issues.
Evolução de uma Ferramenta de Gerenciamento de Configuração de Software através da Engenharia Reversa
Authors: Beraldi Lairce Castanhera , Sanches Rosely , Yamashiro Fátima
Published: May 2023

The items that comprise all information produced as parts of the software engineering process are collectively called Software Configuration, and constitute an important resource to the professional that works with software since it should be complete an up-to-date. The existence of an appropriate software configuration that reflects to reality depends on an effective Software Configuration Magement process. The activities involved in the software configuration management process are complex and the necessity of tools to support them comes into view. Usually these tools are too expensive and not available to every one that needs them. The Reviston Control System (RCS), in spite of not being a tool for software configuration management, because it supports only a few activities related with the management process, can be of great help to case this task. Furthermore, RCS is a public domain system. Only difficulty using RCS is related to its interface: usually based on command lines. This work aims at providing a graphic interface to RCS so that this system would be more user friendly. To achieve this, firstly the RCS code was submitted to a process of reverse engincering, using the FUSION-RE method. This method produces object-oriented analysis models (FUSION's models) from procedural code systems. The reverse engineering process provided a more abstract view of the system that was considered in the development of the graphic interface using Xview.
Componente Gerenciador de Dados Configurável
Authors: Ferreira Maurício Gonçalves V. , Nakanishi Tatuo , Cunha João Bosco S.
Published: May 2023

A enorme ênfase em produtividade nesta década tem levado a indústria de software a propor mecanismos que acelerem o desenvolvimento de sistemas de software principalmente utilizando a reutilização. Desta forma a proposição de um Componente Gerenciador de Dados (CGD) Configurável tem por objetivo a sua reutilização por diferentes aplicações evitando-se que as mesmas precisem conter códigos específicos para acessar a base de dados. O aspecto importante da proposta é a substituição da produção de códigos para acessar a base de dados pela configuração de um componente de software durante o desenvolvimento de um sistema. O CGD é portanto uma camada de software que fica entre a aplicação e o banco de dados, facilitando os trabalhos dos desenvolvedores de software nas metodologias orientadas a objeto. O CGD recebe as solicitações do aplicativo para armazenar ou recuperar objetos, e ele realiza esta tarefa, seja interfaceando com um banco de dados relacional ou com um sistema de arquivos.[8]
Suporte por Computador ao Desenvolvimento Cooperativo de Software: Classificação e Propostas
Authors: Araujo Renata Mendes de , Dias Márcio de Sousa , Borges Marcos Roberto da Silva
Published: May 2023

O objetivo deste trabalho é o de apresentar um esquema de classificação dos principais aspectos envolvidos no apoio ao desenvolvimento cooperativo de software. Partindo da visão do processo de desenvolvimento como um processo contínuo de entendimento, essa classificação se baseia em quatro aspectos necessários para seu suporte: a comunicação, o registro da memória de grupo, os mecanismos de percepção e a coordenação. A partir desta classificação, descrevemos as abordagens de suporte à cooperação utilizadas por ambientes e ferramentas propostas até o momento atual.
Avaliação do Impacto da Minimização de Conjuntos de Casos de Teste no Custo e Eficácia do Critério Análise de Mutantes
Authors: Souza Simone do Rócio Senger de , Maldonado José Carlos
Published: May 2023

Estratégias de minimização de conjuntos de casos de teste são relevantes para as fases de teste e manutenção do software. Muitos estudos empíricos têm sido conduzidos para avaliar o impacto da minimização no custo e eficácia dos critérios de teste. Este artigo apresenta a avaliação de uma estratégia de minimização de conjuntos de casos de teste desenvolvida a partir do algoritmo de minimização proposto por Harrold [HAR93]. O módulo de minimização está integrado à Proteum — uma ferramenta de apoio ao critério Análise de Mutantes para o teste de programas na linguagem C —. A avaliação foi realizada através de dois estudos empíricos, onde os resultados indicam uma redução significativa no custo e uma pequena diminuição na eficácia em revelar erros do critério Análise de Mutantes.
Geração Automática de Documentação a Partir de Código Fonte
Authors: Braga Christiano de Oliveira , Moreira Marcelo , Staa Arndt von
Published: May 2023

A produção de documentação de boa qualidade é uma tarefa crítica no processo de desenvolvimento de software. Após analisamos algumas propostas existentes, implementamos uma ferramenta, que suporta os principais conceitos encontrados nesta análise, gerando a documentação sob a forma de um hipertexto HTML. A ferramenta Documentu foi arquitetada e construída integrando o sistema transformacional Draco-PUC e o ambiente Talisman que provê uma base de fragmentos de textos e relações, além de uma linguagem de manipulação de dados que permite criar validadores e linearizadores utilizados para gerar o texto HTML.
Desenvolvimento Integrado de Sistemas Especialistas Através de Ferramentas RAD
Authors: Nogueira José Helano Matos , Silva Ricardo Bezerra A.
Published: May 2023

Este artigo não possui resumo.
Alquimista: uma Ferramenta para Desenvolvimento Visual de Software Paralelo para Modelos de Programação baseados em Memória Compartilhada
Authors: Barros Márcio de Oliveira , Aude Júlio Salek
Published: May 2023

This paper presents Alquimista, a visual programming tool for parallel software development. Alquimista is based on multithreaded programming and uses shared memory for communication. It allows users to build complex programs based on primitive programming blocks. Alquimista works upon meta-schemes of parallel programming models and generates code in any model described with these meta-schemes. Alquimista is implemented in Java and is currently available on Solaris platform.
Specifying Dynamic Distributed Software Architectures
Authors: Paula Virginia C. de , Justo G. R. Ribeiro , Cunha P. R. F.
Published: May 2023

The concept of software architecture is important to the design of complex software systems, as it provides a model of the large scale structural properties of the system. lt is possible to find several formal models to depict static distributed soft­ware architecture. Nevertheless, notations for supporting architectural dynamism and evolution are still difficult to find in the literature. We present a formal frame­work to specify dynamic distributed applications to enable us to specify the dynamic behaviour of reconfigurable systems. This framework will help the designer to check the project suitability.
Medição de Software para Pequenas Empresas: Uma Solução Baseada na Web
Authors: Franca Luiz Paulo Alves , Staa Arndt von , Lucena Carlos José Pereira de
Published: May 2023

O uso de métricas está diretamente ligada à melhoria do processo de produção de software. Sistemas de medição devem ser flexíveis e facilmente adaptáveis às características de cada organização. Adicionalmente, no contexto de pequenas empresas de software, a medição tem que adaptar-se à escassez de recursos. Com o objetivo de produzir sistemas de medição evolutíveis e que atendam à realidade dinâmica de pequenas empresas, desenvolvemos um meta­-sistema capaz de instanciar sistemas de medição adequados a cada organização. A geração dos sistemas é feita a partir do modelo genérico de medição armazenado num meta-ambiente de Engenharia de Software. Os sistemas de medição instanciados são aplicações baseadas na Web.
Parametrização de Componentes de Especificação com Preservação de Semântica
Authors: Moreira Anamaria Martins
Published: May 2023

Para que um componente de um produto tenha maiores chances de ser reutilizável em um contexto diferente daquele para o qual ele foi criado ele deve ser "suficientemente geral". No caso de componentes de software, essa generalidade pode ser obtida por meios de parametrização, e podemos a esse respeito identificar 2 casos de figura: componentes altamente parametrizados concebidos com vistas a sua reutilização, e componentes específicos que se quer reutilizar a posteriori. É esse segundo caso que consideramos aqui: o que fazer para aumentar o potencial de reutilização de componentes desenvolvidos para uma aplicação específica. Com esse objetivo, propomos aqui as bases teóricas de uma ferramenta para a parametrização de componentes de software a partir de sua especificacao formal. A ideia subjacente é, dado um componente e um conjunto de propriedades semânticas satisfeitas por ele e que se quer preservar, encontrar um componente parametrizado do qual o componente original é uma instanciação possível e tal que possamos garantir que toda nova instanciação satisfará as propriedades citadas. A técnica utilizada é a generalização de provas, através da qual determinamos os requisitos mínimos a serem exigidos de possíveis parâmetros efetivos para que as propriedades em questão sejam preservadas. Finalmente, o contexto ao qual aplicamos essas ideias é o de especificações algébricas, utilizado na especilicação de componentes e cujo mecanismo de genericidade nos fornece um contexto ideal para esse trabalho.
Modularizando a Gerência de Configuração de Software
Authors: Moura André Luiz , Pinheiro Francisco A. C.
Published: May 2023

Este artigo apresenta um modelo para gerência de configuração de software em termos de módulos de projeto. Módulos de projeto determinam um escopo para as atividades do desenvolvimento, os objetos por elas criados ou transformados e as ferramentas empregadas para esse fim. O modelo é adequado para evolução do software, integrando ações relativas ao controle de versões com ações gerenciais alusivas ao controle do processo. Ele permite associar os vários componentes com as fases do ciclo de vida e atividades do desenvolvimento. Possibilita também um controle mais detalhado da configuração e contextualização das várias decisões pertinentes a ela.
Um Editor Diagramático para Desenvolvimento de Sistemas de Informação na Internet
Authors: Pompermaier Leandro Bento , Price Roberto Tom
Published: May 2023

Neste artigo é apresentado EDI, um Editor Diagramático na Internet, que suporta a especificação cooperativo de aplicações. Este editor utiliza tecnologia e funcionalidade dos hiperdocumentos. EDI possui características como: compartilhamento de informações, colaboração por vários autores para a realização de diversas tarefas, vários visões dos dados armazenados, entre outras. A implementação deste editor foi realizada na linguagem de programação Java e projetada de forma genérica para permitir o criação de editores de diversas notações.
Aspectos de Herança em uma Ferramenta de Modelagem de Sistemas Baseada em Redes de Petri
Authors: Costa Sandro A. D. , Guerrero Dalton D. S. , Figueiredo Jorge C. A. de , Perkusich Angelo
Published: May 2023

Métodos e técnicas matemáticas para o desenvolvimento rigoroso de sistemas são essenciais para o estabelecimento de uma disciplina de Engenharia de Software. A especificação formal de sistemas permite antecipar a detecção de erros e características indesejáveis, aumentando seu grau de confiabilidade. No caso de sistemas distribuídos, e por conseguinte concorrentes, o problema se agrava pela falta de arcabouços notacionais que capturem com simplicidade as propriedades inerentes desses sistemas. A teoria das redes de Petri é um dos mais bem sucedidos formalismos para lidar com concorrência. Entretanto, a falta de mecanismos para o desenvolvimento composicional impede sua utilização em sistemas complexos. Tais fatores são o principal motivo para a busca de unificação entre o mundo de redes de Petri e a Orientação a Objetos. Neste artigo discutimos especificamente questões pertinentes à integração de um dos mais importantes aspectos da Orientação a Objetos às redes de Petri: a herança.
Formalização de Heurísticas para o Apoio a Modelagem de Sistemas Orientados a Objetos
Authors: Freitas André Luis Castro de , Price Ana Maria de Alencar
Published: May 2023

Com o objetivo de auxiliar a formalização do processo de desenvolvimento de software orientados a objetos, este trabalho propõe heurísticas que possibilitem tomar mais automáticas as atividades de modelagem e projeto. As heurísticas propostas estão classificadas em grupos representando contribuições para a construção de classes e objetos, e estão ilustradas e demonstradas, em diversos casos, através de exemplos. O desenvolvimento dos exemplos permitiu a comparação entre as diversas heurísticas, mostrando ainda tendências e vantagens na utilização de determinado tipo de comunicação entre classes e objetos. A partir do estudo das heurísticas construiu-se uma ferramenta que visa auxiliar o projetista na definição de um bom projeto.
Ontology and Linked Data of Chinese Great Sites Information Resources from Users’ Perspective
Authors: Si Li , Zhou Jing
Published: May 2023

Great Sites are closely related to the residents’ life, urban and rural development. In the process of rapid urbanization in China, the protection and utilization of Great Sites are facing unprecedented pressure. Effective knowl­edge organization with ontology and linked data of Great Sites is a prerequisite for their protection and utilization. In this paper, an interview is conducted to understand the users’ awareness towards Great Sites to build the user-centered ontology. As for designing the Great Site ontology, firstly, the scope of Great Sites is determined. Secondly, CIDOC- CRM and OWL-Time Ontology are reused combining the results of literature research and user interviews. Thirdly, the top-level structure and the specific instances are determined to extract knowl­edge concepts of Great Sites. Fourthly, they are transformed into classes, data properties and object properties of the Great Site ontology. Later, based on the linked data technology, taking the Great Sites in Xi’an Area as an example, this paper uses D2RQ to publish the linked data set of the knowl­edge of the Great Sites and realize its opening and sharing. Semantic services such as semantic annotation, semantic retrieval and reasoning are provided based on the ontology.
Value Chain Analysis of the Street Food Enterprises in the Rural Towns of Vhembe District, Limpopo Province
Authors: Clopus Mahopo Tjale , Cebisa Nesamvuni Noxolo , E. Nesamvuni Azwihangwisi , van Niekerk Johan
Published: May 2023

This study sought to analyse the value chain of foods sold by street food vendors in the Vhembe district town of Limpopo province. Data were collected using mixed methods, including structured questionnaires administered via face-to-face interviews. Analyses of the value chain activities and actors were conducted among the stages of street food production. Overall, the enterprise sold commonly consumed street foods such as porridge, chicken, beef, and local vegetables, targeting government employees, school children, and daily town visitors. The value chain analysis showed that street food activity in the Vhembe district included purchasing, storage, production, and consumption. The main actors involved in the value activities of the street food enterprise were inputs suppliers, formal and informal traders, transporters, local authorities, and customers. The profit margin calculation highlighted that street food vendors purchasing inputs from the informal vendors without any added expense could make more profit than using formal traders. Future policy interventions should promote value addition along the food sold in the street, providing cold storage facilities closer to street vendors\' stalls in the towns to encourage continued and safe production. The most prioritised production constraints should be addressed, such as access to finance, government support, and managerial skills.
Emotion Recognition – Recent Advances and Applications in Consumer Behavior and Food Sciences with an Emphasis on Facial Expressions
Authors: Wagner Udo , Dürrschmid Klaus , Pauser Sandra
Published: May 2023

For decades, the study of emotions has been the center of attention in research and practice. Based on relevant literature, this paper focuses on the subject of measurement, and provides a structured overview of common measurement tools by distinguishing between methods of communication and observation. Given the authors’ field of competence, presentation pursues a consumer behavior and food sciences perspective. Furthermore, the paper devotes attention to automatic facial expressions analysis technology which advanced considerably in recent years. Three original empirical examples from the authors’ range of experience reveal strengths and weaknesses of this technology.
Perspective Chapter: Adaptation of the Quality-Caring Model to Hospitalized School-Aged Children and Their Parents
Authors: Loureiro Fernanda , Antunes Vanessa , Charepe Zaida
Published: May 2023

The development of nursing theory improves nursing practice and consequently the health of those who receive nursing care. This chapter aims to describe the process of adaptation of the quality-caring model to hospitalized school-aged children and their parents. A mixed methods study in four phases was outlined. The study integrated a literature review (phase 1); the application of surveys to hospitalized children and their parents (phase 2); a Delphi panel with nurses as experts (phase 3); and the adaptation of the quality-caring model (phase 4). Participants included hospitalized children (n = 252), their parents (n = 251), and nurses (round 1 n = 47; round 2 n = 42). National Data Protection Commission provided authorization for the study as well as the ethics committee from six health institutions where the study was applied. Findings allowed the identification of key aspects valued by children, parents, and nurses, such as information, family involvement, play, distraction, and communication. The adapted model integrates fundamental aspects of children’s hospitalization and is focused on satisfaction with care as an outcome of nursing care.
Chlamydia trachomatis: A Tiny Being beyond the Nature
Authors: Kasap Esin
Published: May 2023

Chlamydia trachomatis is the most common cause of sexually transmitted genital infections. Females are at high risk of cervix infections, and a significant proportion may also have urethral infections. Pelvic inflammatory disease (PID) can develop as a result of C. trachomatis ascending to the upper reproductive tract. C. trachomatis is an obligate intracellular bacterium that infects the genital tract and may cause chronic inflammation, damage to epithelial tissues, and pelvic inflammation. It has also been clinically associated with cervical atypia and metaplasia. C. trachomatis is the most prevalent sexually transmitted pathogen, and it can cause infertility if left undetected and untreated. Infertile women may be more susceptible to chlamydial infections due to their longer periods of active sexual life. Several diagnostic techniques are available to diagnose chlamydia, including DNA amplification testing (NAAT), culture, antigen detection, and genetic probes; microscopy is not useful for this purpose Chlamydia is treated with empiric therapy, which includes tetracyclines, macrolides, and some fluoroquinolones.
Circular Systems Design: Seeking Outgrowth Based on Disruption
Authors: Espada Ana
Published: May 2023

Innovative design has promoted the economic valorization of new ideas adopted by major companies and industrial groups. Nowadays, however, designers should instead participate in the development of a new conceptualization of modern society, based on user demands, environmental demands, and business transition for circular business models. Today’s business models focus on sales, while cost reduction and the integration of more extended use or the reuse of products are not the drivers of the business. It is necessary to embrace a new mindset and generate value differently. The circular economy principles suggest the reevaluation of the current business models in order to transform circular strategies into competitive advantages, which determine the company’s resilience and transform uncertainty into successful revenue models totally future-proof and innovative. In sum, circular systems design is assumed as a catalyst that promotes the transition from linear to circular business models, moving away from take-make-dispose and installing a more regenerative and circular economy.