Дисертації з теми "Software assistant"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся з топ-50 дисертацій для дослідження на тему "Software assistant".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Переглядайте дисертації для різних дисциплін та оформлюйте правильно вашу бібліографію.
Sereesathien, Siriwan. "A GitHub-based Voice Assistant for Software Developers and Teams." DigitalCommons@CalPoly, 2021. https://digitalcommons.calpoly.edu/theses/2334.
Provenzano, Heugel Lisa Michelle. "WARM : Wearable Assistant with Remote Monitoring." [Tampa, Fla] : University of South Florida, 2007. http://purl.fcla.edu/usf/dc/et/SFE0001904.
Poon, Josiah Chun-Fai, and josiah poon@deakin edu au. "An intelligent assistant to re-configure parameter-driven systems." Deakin University, 1994. http://tux.lib.deakin.edu.au./adt-VDU/public/adt-VDU20061207.143623.
Savary-Leblanc, Maxime. "Augmenting software engineers with modeling assistants." Thesis, Université de Lille (2018-2021), 2021. https://pepite-depot.univ-lille.fr/LIBRE/EDMADIS/2021/2021LILUB027.pdf.
Domain knowledge is a prerequisite to produce software design and implementation tailored to stakeholders’ requirements. One common way to formalize that knowledge is achieved through conceptual models, which are commonly used to describe or simulate a system. Acquiring such expertise requires to discuss with knowledgeable stakeholders and/or to get an access to useful documents, which both might not always be easily accessible. In the same time, more and more model samples can be gathered from multiple sources, what represents an increasing number of already formalized and accessible knowledge pieces. For example, some companies keep archives of internal model repositories. There also exist numerous open source projects that contain models while some modeling tools even offer the possibility to create public projects that are free to browse. Such data sources could be exploited to create domain knowledge that could be provided to software engineers while modeling. To be useful, this knowledge must be of high quality, but must also be well integrated into the software modeling process. The focus of this thesis is to provide a framework to exploit knowledge to assist users of computer-based modeling tools with software modeling assistants. This thesis first introduces our research questions based on a systematic mapping study about software assistants for software engineering, and then focuses on software assistants for modeling. It reports on the design of modeling assistants based on a user-centered approach. We present the conclusions of interviews conducted with experts in modeling, a stage in which requirements are collected. Then, we develop the creation of a prototype modeling knowledge base allowing (i) to create general and specific artificial modeling knowledge, and (ii) to make them available to any software client via recommendations. After introducing the results of an experiment regarding the accuracy of the system, we discuss these preliminary results. Finally, this thesis presents a software modeling assistant implementation integrated to the Papyrus tool, which aims to cognify the UML modeling environment by integrating the previously created knowledge. Our work helps to clarify the need for assistance during software modeling work, presents an initial approach to the design of software assistants for software modeling, and identify research challenges in modeling assistance
Keltner, Jason R. Miller Paul C. "Integration of Personal Digital Assistant (PDA) devices into the Military Healthcare Clinic Environment." Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2001. http://handle.dtic.mil/100.2/ADA397190.
Thesis advisors, Jones, Carl ; Brutzman, Don. "September 2001." Includes bibliographical references (p. 171-175). Also Available in print.
Miller, Paul C. "Integration of Personal Digital Assistant (PDA) devices into the Military Healthcare Clinic Environment." Thesis, Monterey, California. Naval Postgraduate School, 2001. http://hdl.handle.net/10945/2114.
US Navy (USN) author
Di, Tuccio Gianluca. "Smart Hospital Assistant: studio ed implementazione di un assistente vocale ospedaliero tramite tecnologie semantiche." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2021. http://amslaurea.unibo.it/24006/.
O'Connor, Rory V. "An architecture for an intelligent assistant system for use in software project planning." Thesis, City University London, 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.340375.
Botla, Purushotham (Purushotham Shriramulu). "Designing personal assistant software for task management using semantic web technologies and knowledge databases." Thesis, Massachusetts Institute of Technology, 2013. http://hdl.handle.net/1721.1/90684.
Cataloged from PDF version of thesis.
Includes bibliographical references (pages 100-102).
Adoption of social network sites and use of smart phones with number of sensors in them has digitized user's activities in real-time. Smart phone applications such as calendar, email, and notes contain lot of user information and provide a view into user's activities, while sensors such as GPS sensor can be used to passively find information about the user. In addition to this user and device data, these devices have access to the Internet that can be leveraged to build powerful applications. Personal assistant software (smart agent) can be used as an interface to the digital world to make the consumption of this information timely and efficient for the user's specific tasks. Goal of the thesis is to design personal assistant software that understands the semantics of the task, is able to decompose the task into multiple tasks within the context of the user and plan these tasks for the user. It will be designed using semantic web technologies and knowledge databases to understand the relations between the tasks. Agent will be integrated with online web-services to harvest the data available on-line with the data available on the device and help the user to manage his or her tasks. Two use cases are covered in this thesis document to explore automation capabilities and planning capabilities of the agent. Design of the agent using the two use cases helped in the design of sub-modules within the agent system, and also highlighted the requirements on external data and knowledge sources.
by Purushotham Botla.
S.M. in Engineering and Management
Benson, T. J. Graeme. "Towards the development of a mathematician's assistant for the specification and implementation of parallel linear algebra software." Thesis, Queen's University Belfast, 1992. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.388070.
Molley, Sean. "Ta Da! - The Text Adventure Design Assistant a Visual Tool for the Development of Adventure Games." TopSCHOLAR®, 1997. http://digitalcommons.wku.edu/theses/347.
Liu, Yang. "Aspects of linking CAD and cost estimation software." Thesis, Stellenbosch : Stellenbosch University, 2001. http://hdl.handle.net/10019.1/52136.
ENGLISH ABSTRACT: This thesis describes a module that links AutoCAD and CeDeas (cost estimation software which was developed by Department of Mechanical Engineering, University of Stellenbosch). CeDeas is intended for estimating the direct manufacturing cost of simple welded assemblies in a batch production environment. It is aimed at use during late concept design or early detail design. The link module was developed in Borland C++ Builder. By using COM (Component Object Model) technology, the link module employs the methods and the properties of the AutoCAD automation interface to extract manufacturing information that is required by CeDeas. The link module prompts the user to pick objects in an AutoCAD drawing and then determines the values required by CeDeas to estimate the manufacturing cost. The user can choose between a "direct select method" (which uses the properties of geometric entities already in the drawing) and a "user define method" (whereby the user defmes temporary entities or combines aspects of existing entities in the AutoCAD drawing). With these results and some non-geometric inputs, the user can get a cost estimate of components and assemblies. After design changes, the link module can provide CeDeas with updated values with minimal user interaction in situations where the "direct select method" was used. The designer can therefore easily use the cost estimates to compare design alternatives to optimise the design. Validation studies demonstrated the numerical accuracy of the use of the link module. The link module can be regarded as an extension of CeDeas. At present it only supports AutoCAD R14, but can be extended to support AutoCAD 2000 and Mechanical Desktop.
AFRIKAANSE OPSOMMING: 'n Module wat dien as skakel tussen AutoCAD and CeDeas (kosteberamingsagteware ontwikkel deur die Departement van Meganiese Ingenieurswese, Universiteit van Stellenbosch) word in hierdie tesis beskryf. Die doel van CeDeas is om die direkte vervaardiginskoste van eenvoudige, gesweisde samestellings, in 'n lot-produksie omgewing, te beraam. Dit is gemik op gebruik tydens laat konsepontwerp en vroeë detailontwerp. Die skakelmodule is ontwikkel in Borland C++ Builder. Deur van COM (Component Object Model) tegnologie gebruik te maak, kry die skakelmodule toegang tot die funksies en eienskappe van AutoCAD se outomatisasie koppelvlak en kan sodoende die vervaardigingsinligting onttrek wat deur CeDeas benodig word. Die skakelmodule vra die gebruiker om voorwerpe in 'n AutoCAD tekening te kies en bepaal dan die waardes wat deur CeDeas benodig word om die vervaardigingskoste te skat. Die gebruiker kan kies tussen 'n "direkte keuse metode" (wat die eienskappe van geometriese entiteite wat reeds in die tekening is, gebruik) en 'n "gebruiker definieer metode" (waarin die gebruiker tydelike entiteite defmieer of kombinasies van aspekte van bestaande entiteite in die AutoCAD tekening gebruik). 'n Koste beraming van komponente of samestellings kan verkry word met hierdie inligting tesame met ander nie-geometriese inligting. Na ontwerpsveranderings, kan die skakelmodule hersiene waardes vir CeDeas voorsien met minimale gebruikers-interaksie in gevalle waar die "direkte keuse metode" gebruik is. Die gebruiker kan daarom maklik die kosteskattings gebruik om ontwerpsaltematiewe te vergelyk om die ontwerp te optimeer. Evalueringstudies het die numeriese akkuraatheid van die skakelmodule bevesting. Hierdie module kan as 'n uitbreiding van CeDeas beskou word. Tans werk die module slegs met AutoCAD R14, maar dit kan uitgebrei word om met AutoCAD 2000 en Mechanical Desktop te werk.
Hughes, Frank J. Kendall Steven C. "An implementation of REpresentation and MAintenance of Process knowledge (REMAP model in the knowledge-based software assistant concept demonstration system /." Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 1993. http://handle.dtic.mil/100.2/ADA273207.
Thesis advisor(s): B. Ramesh ; Roger Stemp. "September 1993." Includes bibliographical references. Also available online.
Hughes, Frank J., and Steven C. Kendall. "An implementation of REpresentation and MAintenance of Process knowledge (REMAP model in the knowledge-based software assistant concept demonstration system." Thesis, Monterey, California. Naval Postgraduate School, 1993. http://hdl.handle.net/10945/39953.
The REpresentation and MAintenance of Process knowledge (REMAP) model supports the various stakeholders involved in software design during development and maintenance by capturing the rationale behind design decisions. This process knowledge is invaluable
Nourjou, Reza. "GIS-based Intelligent Assistant Agent for Supporting Decisions of Incident Commander in Disaster Response." 京都大学 (Kyoto University), 2014. http://hdl.handle.net/2433/188867.
Paulin-Mohring, Christine. "Définitions Inductives en Théorie des Types." Habilitation à diriger des recherches, Université Claude Bernard - Lyon I, 1996. http://tel.archives-ouvertes.fr/tel-00431817.
Zimmermann, Théo. "Challenges in the collaborative evolution of a proof language and its ecosystem." Thesis, Université de Paris (2019-....), 2019. http://www.theses.fr/2019UNIP7163.
In this thesis, I present the application of software engineering methods and knowledge to the development, maintenance, and evolution of Coq —an interactive proof assistant based on type theory— and its package ecosystem. Coq has been developed at Inria since 1984, but has only more recently seen a surge in its user base, which leads to much stronger concerns about its maintainability, and the involvement of external contributors in the evolution of both Coq, and its ecosystem of plugins and libraries.Recent years have seen important changes in the development processes of Coq, of which I have been a witness and an actor (adoption of GitHub as a development platform, first for its pull request mechanism, then for its bug tracker, adoption of continuous integration, switch to shorter release cycles, increased involvement of external contributors in the open source development and maintenance process). The contributions of this thesis include a historical description of these changes, the refinement of existing processes, and the design of new ones, the design and implementation of new tools to help the application of these processes, and the validation of these changes through rigorous empirical evaluation.Involving external contributors is also very useful at the level of the package ecosystem. This thesis additionally contains an analysis of package distribution methods, and a focus on the problem of the long-term maintenance of single-maintainer packages
Colin, Samuel. "Contribution à l'intégration de temporalité au formalisme B : Utilisation du calcul des durées en tant que sémantique temporelle pour B." Phd thesis, Université de Valenciennes et du Hainaut-Cambresis, 2006. http://tel.archives-ouvertes.fr/tel-00123899.
Nous nous proposons donc d'étendre la méthode B pour lui permettre de spécifier et valider des systèmes à contraintes temporelles complexes. Nous utilisons pour ce faire des calculs de durées pour exprimer la sémantique du langage B et en déduire une extension conservative qui permet de l'utiliser à la fois dans son cadre d'origine et dans le cadre de systèmes à contraintes temporelles.
Nous nous penchons également sur le problème de l'utilisation d'un outil de preuve générique pour valider des formules de calcul des durées. La généricité de ce type d'outil répond à la multiplication des méthodes formelles, mais pose le problème de l'intégration des fondations mathématiques de ces méthodes à un outil générique. Nous proposons donc d'étudier la mise en oeuvre en plongement léger du calcul des durées dans l'assistant de preuve Coq. Nous en déduisons un retour sur expérience de la définition d'une logique modale particulière dans un outil à vocation générique.
Silva, Italo Carlo Lopes. "Uma solução para apoiar processos de desenvolvimento centrado na arquitetura." Universidade Federal de Alagoas, 2014. http://www.repositorio.ufal.br/handle/riufal/1614.
O sucesso de um projeto de software está fortemente relacionado com o projeto arquitetural. No entanto, projetar a arquitetura de software correta é uma tarefa muito subjetiva e leva muito tempo, sendo muito influenciada pela experiência do arquiteto e a qualidade da engenharia de requisitos. Este conhecimento arquitetural, geralmente, não está documentado, uma vez que é considerado o conhecimento tácito dos arquitetos ou dos interessados, e, eventualmente, se dissipa. Também é essencialmente importante assegurar a consistência entre a arquitetura de software e a implementação. No entanto, esse mapeamento é feito manualmente na maioria das vezes, baseado apenas no entendimento do desenvolvedor sobre a arquitetura, exigindo disciplina por parte dele. Assim, erros podem surgir durante esta fase, comprometendo a consistência entre as decisões arquiteturais e o código fonte. Em face destas dificuldades, foi desenvolvido este trabalho, cujo o objetivo é apresentar uma ferramenta que apoie jovens arquitetos com a recomendação de um estilo arquitetural adequado, baseado nos requisitos do sistema, particularmente os atributos de qualidade do sistema. A ferramenta compreende tanto resolução trade-off sobre os atributos de qualidade e recomendação de estilos arquiteturais com base em atributos de qualidade. Por fim, com base na arquitetura recomendada, a ferramenta irá gerar o código estrutural do sistema, utilizando um modelo de implementação de componente chamado COSMOS*, proporcionando rastreabilidade entre projeto arquitetural e a implementação. A solução proposta foi avaliada no contexto de um domínio específico dos Ambientes Virtuais e Aprendizagem (AVA), a m de ilustrar o suporte da ferramenta na execução de um processo de projeto arquitetural.
Rangnekar, Rohit Dilip. "Remote Access and Service Discovery for a Vehicular Public Safety Cognitive Radio." Thesis, Virginia Tech, 2009. http://hdl.handle.net/10919/34065.
Master of Science
Silva, Livia Maria Omena da. "Expert mentoring: assistente inteligente para auxiliar gerentes na determinação de evidências objetivas requeridas na avaliação MA-MPS." Universidade Federal de Alagoas, 2011. http://www.repositorio.ufal.br/handle/riufal/1603.
Fundação de Amparo a Pesquisa do Estado de Alagoas
A avaliação de processo de software é considerada uma ferramenta importante e, comumente, usada para apontar o caminho, onde a organização precisa aplicar seus esforços em prol da melhoria dos processos. Em particular, a avaliação de processos proposta pelo MA-MPS exige a apresentação de evidências objetivas que comprovem a satisfação dos resultados esperados de processos e resultados de atributos de processos de determinado nível de maturidade. O problema da apresentação de evidências objetivas se resume na dificuldade dos gerentes responsáveis pelos processos em interpretar esses resultados descritos na Planilha de Indicadores. Além disso, há casos em que o implementador do modelo MPS não dispõe de tempo suficiente para acompanhar todo o preenchimento ou revisão da planilha, antes de submetê-la à avaliação de processos. Assim, a ocorrência de erros de preenchimento pode acontecer e comprometer o resultado da avaliação. Neste contexto, é apresentado o assistente inteligente, Expert Mentoring, cujo objetivo é apoiar, através de perguntas, os gerentes responsáveis pelos processos na interpretação dos resultados esperados de processos e resultados de atributos de processos descritos na Planilha de Indicadores, onde ao final destas perguntas sugere indicadores diretos e indiretos, que sejam mais adequados para a comprovação destes resultados. Nesse sentido, os principais resultados obtidos com a avaliação do Expert Mentoring foram: a diminuição do número de erros de preenchimento da planilha, e a recordação do nome do indicador, antes mesmo da sugestão do assistente inteligente.
Blazy, Sandrine. "Sémantiques formelles." Habilitation à diriger des recherches, Université d'Evry-Val d'Essonne, 2008. http://tel.archives-ouvertes.fr/tel-00336576.
Brandt, Viktor, and Jesper Olofsson. "Undersökning av flexibel implementation för hantering av multipla rösttjänster." Thesis, Linköpings universitet, Interaktiva och kognitiva system, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-165854.
Reiß, Peter. "Assistenz durch selbstbeschreibende Software." kostenfrei, 2008. http://d-nb.info/990023346/34.
Tristan, Jean-Baptiste. "Formal verification of translation validators." Phd thesis, Université Paris-Diderot - Paris VII, 2009. http://tel.archives-ouvertes.fr/tel-00437582.
Vendome, Christopher. "Assisting Software Developers With License Compliance." W&M ScholarWorks, 2018. https://scholarworks.wm.edu/etd/1550153779.
Lester, Neil. "Assisting the software reuse process through classification and retrieval of software models." Thesis, University of Ulster, 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.311531.
Tlemcani, Ismail. "SYSTEM-LEVEL AUTOMATED TESTING FOR HOME DIGITAL VOICE ASSISTANTS." Thesis, Mälardalens högskola, Akademin för innovation, design och teknik, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-51050.
Chen, Zebin. "Framework-based model construction with AOP assistance /." Connect to title online (ProQuest), 2008. http://proquest.umi.com/pqdweb?did=1588418351&sid=1&Fmt=2&clientId=11238&RQT=309&VName=PQD.
Typescript. Includes vita and abstract. Includes bibliographical references (leaves 123-127). Also available online in ProQuest, free to University of Oregon users.
Arias, Cecilia Ines Sosa. "Um assistente especialista para especialização de requisitos." [s.n.], 1992. http://repositorio.unicamp.br/jspui/handle/REPOSIP/276033.
Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação
Made available in DSpace on 2018-07-14T03:43:37Z (GMT). No. of bitstreams: 1 Arias_CeciliaInesSosa_M.pdf: 1978075 bytes, checksum: 6a831394f077fddd430b8b0a73a228b6 (MD5) Previous issue date: 1992
Resumo: A especificação de requisitos, a primeira fase do desenvolvimento de software, sempre foi um dos principais focos de atenção da engenharia de software. Na atualidade, várias técnicas e metodologias pretendem solucionar, de maneira mais amigável, as dificuldades que esta fase apresenta. Neste trabalho de tese, define-se a arquitetura de um assistente especialista em metodologias cuja função é auxiliar o projetista durante a fase de especificação. Este assistente possibilita a especificação dos requisitos através de respostas dadas pelo usuário, em linguagem natural, a um questionário proposto pelo próprio assistente. A partir dessas respostas um modelo semi-formal, baseado no conhecimento sobre o modelo entidade-relacionamento, é gerado.
Abstract: Requirements specification, the first phase of software development, has been always one of the main concerns of the software engineering. Nowadays, several techniques and methodologies try to solve, in a friendly manner, the difficulties encountered in this phase. In this thesis the architecture of an assistant, expert in methodologies, is defined. Its function is to help the designer during this phase. The assistant allows requirements specification through answers, given by the user in natural language, to a questionnaire guided by the assistant. From the answers, a semi-formal model, based on the Entity-Relationship Model, is generated.
Mestrado
Mestre em Ciência da Computação
Bennet, Fredrik, and Stefan Fenelius. "Implementation of SceneServer : a 3D software assisting developers of computer vision algorithms." Thesis, Linköping University, Department of Science and Technology, 2003. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-1779.
The purpose behind this thesis is to develop a software (SceneServer) that can generate data such as images and vertex lists from computer models. These models are placed in a virtual environment and they can be controlled either from a graphical user interface (GUI) or from a MATLAB client. Data can be retrieved and processed in MATLAB. By creating a connection between MATLAB and a 3D environment, computer vision algorithms can be designed and tested swiftly, thus giving the developer a powerful platform. SceneServer allows the user to manipulate, in detail, the models and scenes to be rendered.
MATLAB communicates with the SceneServer application through a Java library, which is connected to an interface in SceneServer. The graphics are visualised using Open Scene Graph (OSG) that in turn uses OpenGL. OSG is an open source cross-platform scene graph library for visualisation of real-time graphics. OpenGL is a software interface for creating advanced computer graphics in 2D and 3D.
Mello, Luis Cesar de. "Um assistente de feedback para o serviço de filtragem do software direto." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2002. http://hdl.handle.net/10183/2596.
Silva, Suelyn Fernanda da. "METANÁLISE PARA VALIDAÇÃO DE ESCALAS DIAGRAMÁTICAS EM DOENÇAS DE PLANTAS E PROPOSTA DE SISTEMA DE SOFTWARE ASSISTENTE." UNIVERSIDADE ESTADUAL DE PONTA GROSSA, 2015. http://tede2.uepg.br/jspui/handle/prefix/128.
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Meta-analysis is the analysis results of various studies, and is performed in order to synthesize these results statistically formal manner. One application is in the meta validation diagrammatic scales to assess severity of disease in plants. The aim of this study was a metaanalysis in diagrammatic scales of data validation, used to help determine the severity of disease in different cultures, using software that perform meta-analysis with data that correlate variables and have free or trial version, was developed a computer model to automate this task in a simplified manner compared to the software used, R and Comprehensive Meta-Analisys. The database for the meta-analysis comprised a total of 64 studies with the validation subject diagrammatic scales, these studies were split and led to 3 separate databases for reviews where scales were used, was not used and the evaluators They were trained to scale. The meta-analysis with the models of fixed effect and random effect on the R software was carried out in order to obtain the lowest value of the Akaike Information Criterion, which was used to determine the most appropriate model, and then performed a meta-analysis with the Comprehensive Meta-Analisys software. The computational model developed uses the structure of a wizard software, which performs the steps of meta-analysis found the form of literature this model performs the meta-analysis tasks on specific steps guiding the user through every step facilitating the realization of the meta-analysis, so the system It provides options to the user and according to the choice made the system identifies the next step to run until the end of the meta-analysis. It was concluded that the computational model helped to simplify the process of meta and also by the results obtained it is concluded that there are benefits in using scales diagrammatic having a higher overall correlation has been established to 0.97 where it was used.
Metanálise é a análise de resultados de diversos estudos, e é realizada a fim de sintetizar esses resultados de uma maneira estatisticamente formal. Uma das aplicações da metanálise está na validação de escalas diagramáticas para a avaliação de severidade de doenças em plantas. O objetivo deste trabalho foi realizar metanálise em dados de validação de escalas diagramáticas, usadas para auxílio na determinação do grau de severidade de doenças em diferentes culturas, utilizando softwares que realizam metanálise com dados que correlacionam variáveis e que possuem versão gratuita ou para teste, foi desenvolvido um modelo computacional para automatizar tal tarefa de maneira simplificada comparado aos softwares utilizados, R e Comprehensive Meta-Analisys. A base de dados para a metanálise foi composta por um total de 64 estudos com o tema validação de escalas diagramáticas, estes estudos foram divididos e originou-se 3 bases de dados separadas por avaliações onde as escalas eram utilizadas, não eram utilizadas e os avaliadores eram treinados com a escala. Foi realizada a metanálise com os modelos de efeito fixo e de efeito aleatório no software R, a fim de se obter o menor valor do Critério de Informação de Akaike, o qual foi utilizado para determinar o modelo mais adequado, e em seguida realizada a metanálise com o software Comprehensive Meta-Analisys. O modelo computacional desenvolvido utiliza a estrutura de um software assistente, que realiza as etapas da metanálise encontradas da literatura de forma este modelo executa as tarefas da metanálise em passos específicos guiando o usuário por todas as etapas facilitando a realização da metanálise, desta forma o sistema fornece opções ao usuário e de acordo com a escolha realizada o sistema identifica o próximo passo a ser executado até o fim da metanálise. Concluiu-se que o modelo computacional auxiliou a simplificar o processo de metanálise e através dos resultados obtidos conclui-se também que existem benefícios no uso de escalas diagramáticas tendo sido estabelecida uma correlação global superior a 0,97 nos casos em que ela foi usada.
Slama, Franck. "Automatic generation of proof terms in dependently typed programming languages." Thesis, University of St Andrews, 2018. http://hdl.handle.net/10023/16451.
Massruha, Silvia Maria Fonseca Silveira. "AEsp : um assistente de especificação para administração rural." [s.n.], 1996. http://repositorio.unicamp.br/jspui/handle/REPOSIP/261534.
Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica
Made available in DSpace on 2018-07-21T10:52:23Z (GMT). No. of bitstreams: 1 Massruha_SilviaMariaFonsecaSilveira_M.pdf: 43468570 bytes, checksum: 4541075eec4b5d0db825d986dd573798 (MD5) Previous issue date: 1996
Resumo: A produção de software na área de administração rural envolve um número crescente de aplicações semelhantes porém não iguais. Das propostas sugeridas pela Engenharia de Software para a captura de especificações de aplicações desta natureza, este trabalho adotou as técnicas de abordagem por domínio. Este método permite equacionar o problema de múltiplas especificações de sistemas parecidos oferecendo algumas oportunidades para reuso e desenvolvimento por prototipação. Este trabalho descreve uma ferramenta, denominada AEsp, e um método de utilização que visa auxiliar a captura das especificações das aplicações do domínio de administração rural e transformá-Ias, incrementalmente, em uma representação que pode ser traduzida para um programa operacional. Esta ferramenta está sendo desenvolvida no âmbito do Projeto FMSI, no CNPTIAlEMBRAPA2, que visa construir um processo produtivo para a classe de aplicações do domínio de administração rural a um custo decrescente com o tempo
Abstract: The software production for the farm management area involves an increasing number of similar, but not equal, applications. From the suggested application specification aquisition approaches in the Software Engineering field for this kind of applications, the domain oriented analysis technique was adopted in this work. This method allows structuring the problem of multiple specifications of similar systems providing same oportunities for reuse and prototyping. This dissertation describes a tool, called AEsp, and a tool utilization method that aims to help on capturing farm management applications specifications and converts them, incrementally, to a representation that can be translated to a operacional program. This tool is under development in the FMSI Project, at CNPTIA/EMBRAPA2, and aims to build a productive process for the farm management applications class with a decreasing cost in time
Mestrado
Mestre em Engenharia Elétrica
Carvalho, Joao Alvaro Brandao Soares de. "BMKB (Business Meta Knowledge Base) : a repository of models for assisting the management of organizational information systems." Thesis, University of Manchester, 1991. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.316493.
Charron, Rhona. "The influence of different degrees of assistance in automated intelligent tutoring /." Thesis, McGill University, 1989. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=61997.
Cocker, Stephen. "ASSISTing the analyst : towards better utilisation of stakeholder information within the commercial realities of software development." Thesis, Cranfield University, 1998. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.267335.
ENDARA, ARIEL ESCOBAR. "CUBIMED: A FRAMEWORK FOR THE CREATION OF UBIQUITOUS MEDICAL ASSISTANCE APPLICATIONS BASED ON COLLABORATIVE SOFTWARE AGENTS." PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 2015. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=26104@1.
COORDENAÇÃO DE APERFEIÇOAMENTO DO PESSOAL DE ENSINO SUPERIOR
PROGRAMA DE EXCELENCIA ACADEMICA
A área da saúde precisa lidar com diversos problemas relacionados a questões de infraestrutura, falta de pessoal qualificado e grande número de pacientes. Como solução para problemas desta natureza surgiu o u-Healthcare, uma aplicação dos conceitos de Computação Ubíqua (UbiComp) na área da assistência médica. u-Healthcare permite a supervisão da saúde a qualquer tempo e a qualquer lugar, a partir de dispositivos eletrônicos conectados à internet. Entretanto, a ampliação da supervisão da saúde para o entorno ubíquo não pode ser feita com protocolos e procedimentos clínicos atualmente utilizados, já que essa abordagem aumentaria drasticamente o consumo de tempo e recursos. Por esse motivo, a construção de aplicações para fornecimento de serviços se saúde pode apoiar-se em áreas de pesquisa de Sistemas Multi-Agente (SMA) e Trabalho Cooperativo Auxiliado por Computador (TCAC). Nesse sentido, SMA é utilizado para automatização de processos, através do uso das propriedades dos agentes de software. Em contrapartida, TCAC permite estabelecer um modelo de cooperação entre os participantes de uma determinada aplicação. Com base nestes aspectos, neste trabalho propõese a modelagem e desenvolvimento de um framework que auxilie a construção de aplicações voltadas para u-Healthcare, baseadas em conceitos de SMA e TCAC. Para ilustrar a utilização do framework, são apresentados dois cenários de uso. O primeiro cenário corresponde a um sistema de monitoramento fetal, que realiza a detecção precoce de anormalidades no feto. O segundo cenário, por sua vez, consiste em um assistente de administração de medicamentos, que permite ajudar ao médico no controle de medicamentos que usam seus pacientes.
The health area needs to deal with various problems related to issues of infrastructure, lack of qualified personnel and a large number of patients. As a solution to problems of this nature, u-Healthcare was created as an application of the concepts of Ubiquitous Computing (UbiComp) in the area of health care. u- Healthcare allows health monitoring at any time and place from electronic devices connected to the Internet. However, the expansion of health monitoring for an ubiquitous environment cannot be performed with protocols and procedures currently used, since this approach would drastically increase the consumption of time and resources. For that reason, the development of tools to provide health services can be supported in research areas such as Multi-Agent System (MAS) and Computer Supported Cooperative Work (CSCW). In that sense, MAS can be used to automate processes through the properties of software agents. On the other hand CSCW gives the possibility of establishing a model of cooperation among the participants on the application. Based on these aspects, this work proposes the modeling and development of a framework capable of providing support and help on the construction of dedicated u- Healthcare applications which should be based on the concepts of MAS and CSCW. To illustrate the use of the framework, there are presented two scenarios of use. The first scenario corresponds to a fetal monitoring system, which allows early detection of fetal abnormalities. The second scenario consists of a drug administration assistant, which allows the doctor to control drug use by his patients.
Hansen, Christian [Verfasser]. "Software Assistance for Preoperative Risk Assessment and Intraoperative Support in Liver Resection Surgery / Christian Hansen. Fraunhofer Mevis." Bremen : IRC-Library, Information Resource Center der Jacobs University Bremen, 2012. http://d-nb.info/103526336X/34.
Lim, Lily. "Call : 2D diagrammatic tool for assisting English phonetics learning." Thesis, University of Macau, 2002. http://umaclib3.umac.mo/record=b1447844.
Nissa, Holmgren Robert. "Automated Measurement and Change Detection of an Application’s Network Activity for Quality Assistance." Thesis, Linköpings universitet, Databas och informationsteknik, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-107707.
Nätverksaktivitet är ett viktigt kvalitetsmått för mobilappar. Mobilanvändare begränsas ofta av långsamma nätverk, låg månatlig trafikkvot och höga roamingavgifter. Företag som vill ha konkurrenskraftiga appar behöver vara medveten om deras nätverksaktivitet och förändringar av den. Snabb återkoppling för effekten av kodändringar är vitalt för agil programutveckling. För att underrätta intressenter om ändringar när de händer utan att vara avskräckande dyrt med avseende på arbetskraft måste ändringsdetekteringen vara fullständigt automatiserad. För att ytterligare minska arbetskostnaderna för ändringsdetektering av nätverksaktivitet måste detekteringssystemet vara snabbt att konfigurera, hålla en låg grad av felaktig detektering samtidigt som den lyckas identifiera stora ändringar. Den här uppsatsen föreslår ett automatiserat förändringsdetekteringsverktyg för nätverksaktivitet för att snabbt meddela stakeholders med relevant information för påbörjan av grundorsaksanalys när en ändring som påverkar nätverksaktiviteten introduceras. Med hjälp av mätningar på Spotifys iOS-app visar vi att verktyget når en låg grad av felaktiga detekteringar medan den identifierar ändringar i nätverksaktiviteten även för appar med så dynamisk nätverksanvändning som Spotify.
Hirson, Guy. "Text entry, analysis and correction help : assisting the disabled computer user with data entry." Master's thesis, University of Cape Town, 1990. http://hdl.handle.net/11427/27184.
Wagner, Marco [Verfasser]. "An adaptive software and system architecture for driver assistance systems applied to truck and trailer combinations / Marco Wagner." Koblenz : Universitätsbibliothek Koblenz, 2015. http://d-nb.info/1073133125/34.
Lindgren, Jonas. "Analysis of requirements for an automated testing and grading assistance system." Thesis, Linköpings universitet, Datorteknik, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-105692.
Framläggningen redan avklarad.
Merten, Samuel A. "A Verified Program for the Enumeration of All Maximal Independent Sets." Ohio University / OhioLINK, 2016. http://rave.ohiolink.edu/etdc/view?acc_num=ohiou1479829000576398.
Reisdorf, P., A. Auerswald, and G. Wanielik. "Local Dynamic Map als modulares Software Framework für Fahrerassistenzsysteme." Universitätsbibliothek Chemnitz, 2015. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-qucosa-187887.
Lundberg, Didrik. "Provably Sound and Secure Automatic Proving and Generation of Verification Conditions." Thesis, KTH, Teoretisk datalogi, TCS, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-239441.
Bevis av säkerhetsegenskaper hos program genom formell verifiering kan göras med hjälp av interaktiva teorembevisare. Det program som skall verifieras representeras i en mellanliggande språkrepresentation inuti den interaktiva teorembevisaren, varefter påståenden kan konstrueras, som sedan bevisas. Detta är en process som kan automatiseras i hög grad. Här presenterar vi en metod för att effektivt skapa och bevisa ett teorem som visar sundheten hos den svagaste förutsättningen för att ett program avslutas framgångsrikt under ett givet postvillkor. Specifikt använder vi Poly/ML-implementationen av SML för att generera ett teorem i den interaktiva teorembevisaren HOL4 som beskriver egenskaper hos ett program i BIR, en abstrakt mellanrepresentation av maskinkod som används i PROSPER-projektet.
Maroneze, André Oliveira. "Certified Compilation and Worst-Case Execution Time Estimation." Thesis, Rennes 1, 2014. http://www.theses.fr/2014REN1S030/document.
Safety-critical systems - such as electronic flight control systems and nuclear reactor controls - must satisfy strict safety requirements. We are interested here in the application of formal methods - built upon solid mathematical bases - to verify the behavior of safety-critical systems. More specifically, we formally specify our algorithms and then prove them correct using the Coq proof assistant - a program capable of mechanically checking the correctness of our proofs, providing a very high degree of confidence. In this thesis, we apply formal methods to obtain safe Worst-Case Execution Time (WCET) estimations for C programs. The WCET is an important property related to the safety of critical systems, but its estimation requires sophisticated techniques. To guarantee the absence of errors during WCET estimation, we have formally verified a WCET estimation technique based on the combination of two main methods: a loop bound estimation and the WCET estimation via the Implicit Path Enumeration Technique (IPET). The loop bound estimation itself is decomposed in three steps: a program slicing, a value analysis based on abstract interpretation, and a loop bound calculation stage. Each stage has a chapter dedicated to its formal verification. The entire development has been integrated into the formally verified C compiler CompCert. We prove that the final estimation is correct and we evaluate its performances on a set of reference benchmarks. The contributions of this thesis include (a) the formalization of the techniques used to estimate the WCET, (b) the estimation tool itself (obtained from the formalization), and (c) the experimental evaluation. We conclude that our formally verified development obtains interesting results in terms of precision, but it requires special precautions to ensure the proof effort remains manageable. The parallel development of specifications and proofs is essential to this end. Future works include the formalization of hardware cost models, as well as the development of more sophisticated analyses to improve the precision of the estimated WCET
Martín, Rodilla Patricia. "Software-Assisted Knowledge Generation in the Cultural Heritage Domain: A Conceptual Framework." Doctoral thesis, Universitat Politècnica de València, 2016. http://hdl.handle.net/10251/68496.
[ES] La ingeniería del software ofrece un repositorio de técnicas, métodos y herramientas como soluciones para el manejo, tratamiento, uso y explotación de información. En las últimas décadas, este corpus no sólo ha sido aplicado a dominios tradicionalmente receptores de soluciones software, sino que se ha expandido y enriquecido con aportaciones de diversas disciplinas y dominios con necesidades relacionadas con la información que producen.Una de las necesidades más habituales es la asistencia a los profesionales de dichas disciplinas durante el proceso evolutivo que realizan desde el análisis de los datos más primarios hasta la generación de conocimiento nuevo que permita avanzar en la disciplina involucrada. Este es el caso del Patrimonio Cultural, cuyos profesionales producen y manejan ingentes cantidades de datos acerca de evidencias sobre nuestro pasado y presente, y desde los cuáles descubren y generan conocimiento nuevo, que supone la herencia cultural propia de una comunidad. Este conocimiento define la comunidad en el presente y es transmitido a las generaciones presentes y futuras. Pese a su relevancia y a la habitual aplicación de determinadas soluciones de ingeniería software en el dominio, el proceso de generación de conocimiento en Patrimonio Cultural representa en sí mismo un reto para la ingeniería del software, debido fundamentalmente a la poca presencia de estudios formales acerca del mismo, lo que dificulta su asistencia mediante software. Esto implica que no sabemos qué tipo de subprocesos debemos asistir mediante software ni cuál es la asistencia más adecuada. Además, el corpus actual en ingeniería del software debe soportar especificidades del dominio patrimonial y, en general, de las humanidades, como son la presencia de una alta subjetividad, el hecho de que mucha información es incierta o vaga, y la importancia del aspecto temporal en los datos. Con el objetivo de abordar estos dos retos desde una perspectiva co-investigadora y transdisciplinar, la presente tesis doctoral presenta un marco conceptual basado en modelos software para la construcción de soluciones software que asistan a la generación de conocimiento en Patrimonio Cultural. La tesis explora a fondo el proceso de generación de conocimiento en Patrimonio Cultural, cuyas fuentes eminentemente textuales han dado lugar a la propuesta de una metodología completa y un lenguaje de modelado para utilizar análisis del discurso en ingeniería del software. Esta propuesta permite que se puedan relacionar elementos de un texto con las entidades del dominio que se referencian, así como los mecanismos argumentativos que se emplean.Posteriormente, la tesis propone un marco conceptual completo cuya implementación permite gestionar las especificidades del dominio antes señaladas, ofreciendo una asistencia mediante técnicas de visualización de información software a los especialistas en Patrimonio Cultural. El marco conceptual propuesto ha sido validado de dos maneras complementarias. Por un lado, se ha desarrollado un caso de estudio patrimonial completo, para el cual se han implementado todos los modelos software del marco conceptual propuesto, representando un escenario de aplicación completo del mundo real. Este caso de estudio ha permitido comprobar la potencia del marco conceptual propuesto en cuanto a representación, soporte y definición de mecanismos de asistencia software. Por otro lado, los modelos software que conforman el marco conceptual propuesto han sido implementados en un prototipo funcional en forma de aplicación iOS. Esto ha permitido contar con una implementación real de asistencia software en Patrimonio Cultural. Dicha solución se ha validado empíricamente con profesionales del dominio, comparándola con los modos de generación de conocimiento habituales sin dicha asistencia.La validación empírica ha permitido comprobar cómo el marco propuesto constituye una solución sólida para la construcci
[CAT] L'enginyeria del programari ofereix un repositori de tècniques, mètodes i eines com a suport per la manipulació, tractament, ús i explotació d'informació. En les darreres dècades, aquest corpus no sols ha sigut aplicat a dominis tradicionalment receptors de solucions de programari, si no que s'han extés i enriquit amb aportacions des de diferents disciplines i dominis amb necessitats relacionades amb l'informació que produeixen. Una de les necessitats més habituals és l'assistència als professionals d'aquestes disciplines durant el procés evolutiu que realitzen des de l'anàlisi de les dades més primàries fins la generació de nou coneixement que permet avançar en la disciplina involucrada. Aquest és el cas del Patrimoni Cultural, el professionals del qual produeixen i manipulen grans quantitats de dades sobre evidències del nostre passat i present, i des de les quals descobreixen i generen nou coneixement, que suposa l'herència cultural pròpia d'una comunitat. A pesar de la seua relevància i a la normal aplicació de determinades solucions d'enginyeria de programari al domini, el procés de generació de coneixement en Patrimoni Cultural representa, en sí mateix, un repte per a l'enginyeria del programari, fonamentalment per la poca presència d'estudis formals sobre aquest domini, cosa que dificulta la seua assistència per programari. Açò implica que no sabem quin tipus de subprocessos hem d'assistir amb programari ni quina és l'assitència més adient. A més a més, el corpus actual en l'enginyeria del programari ha de suportar especifitats del domini patrimonial i, en general, de les humanitats, com són la presència d'una alta subjectivitat, i el fet que molta informació és incerta o imprescisa, o la importància de la dimensió temporal en les dades. Amb l'objectiu d'abordar aquestos dos reptes des d'una perspectiva de recerca colaborativa i transdisciplinar, aquesta tesi doctoral presenta un marc conceptual basat en models de programari per a la construcció de solucions de programari que assistisquen a la generació de coneixement en Patrimoni Cultural. En primer lloc, la tesi explora en profunditat el procés de generació de coneixement en Patrimoni Cultural, les fonts de les quals són majoritàriament textuals han sigut l'orige per a la proposta d'una metodologia completa i un llenguatge de modelatge per emprar anàlisi del discurs en enginyeria de programari. Aquesta proposta permet que es puguen relacionar elements d'un text amb les entitats del domini que es referencien, així com els mecanismes argumentatius que s'empren. Posteriorment, la tesi proposa un marc conceptual complet amb una implementació que permet gestionar les especificitats del domini abans esmentades, oferint una assistència mitjançant tècniques de visualització d'informació de programari als especialistes en Patrimoni Cultural.El marc conceptual proposat ha sigut validat de dues maneres complementàries. Per una banda, s'ha desenvolupat un cas d'estudi patrimonial complet, implementant tots els models de programari del marc conceptual proposat, representant un escenari d'aplicació complet del món real. Aquest cas d'estudi ha permés comprovar la potència del marc conceptual proposat en quant a la representació, suport i definició de mecanismes d'assistència de programari. Per una altra banda, els models de programari que conformen el marc conceptual proposat s'han implementat en un prototipus funcional en forma d'aplicació iOS. Aquest fet ha permés comptar amb una implementació real d'assistència de programari en Patrimoni Cultural. Aquesta solució s'ha validat empíricament amb professionals del domini, comparant-la amb els modes de generació de coneixement habituals sense aquesta assistència. La validació empírica ha permés comprovar com el marc conceptual proposat constitueix una solució sòlida per a la construcció, a partir dels models de programari especificats, dels sistemes de prog
Martín Rodilla, P. (2016). Software-Assisted Knowledge Generation in the Cultural Heritage Domain: A Conceptual Framework [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/68496
TESIS