To see the other types of publications on this topic, follow the link: ATP software.
Dissertations / Theses on the topic 'ATP software'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'ATP software.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
1
Vianna, Priscila de Lima. "Modelagem e simulação da proteção diferencial de baixa impedância de barramentos no software atp." reponame:Repositório Institucional da UnB, 2013. http://repositorio.unb.br/handle/10482/15399.
Full textAbstract:
Dissertação (mestrado)—Universidade de Brasília, Faculdade de Tecnologia, 2013.<br>Submitted by Alaíde Gonçalves dos Santos (alaide@unb.br) on 2014-03-25T14:22:49Z
No. of bitstreams: 1
2013_PrisciladeLimaVianna.pdf: 1762239 bytes, checksum: ed367092a4676accadf410a9a151a631 (MD5)<br>Approved for entry into archive by Guimaraes Jacqueline(jacqueline.guimaraes@bce.unb.br) on 2014-03-31T12:44:09Z (GMT) No. of bitstreams: 1
2013_PrisciladeLimaVianna.pdf: 1762239 bytes, checksum: ed367092a4676accadf410a9a151a631 (MD5)<br>Made available in DSpace on 2014-03-31T12:44:09Z (GMT). No. of bitstreams: 1
2013_PrisciladeLimaVianna.pdf: 1762239 bytes, checksum: ed367092a4676accadf410a9a151a631 (MD5)<br>Os barramentos das subestações são os responsáveis pela interligação de vários elementos de um sistema elétrico de potência, de modo que faltas nesses componentes ocasionam um grande número de desligamentos. Nesse contexto, uma avaliação detalhada da sua proteção torna-se eminente, a fim de garantir que faltas sejam extintas rápida e apropriadamente, preservando-se a integridade dos seus componentes e mitigando-se a ocorrência de blackouts de grandes proporções. Nesse sentido, esta dissertação de mestrado apresenta a modelagem e a simulação da proteção diferencial de baixa impedância de barramentos no software ATP. Para tanto, foi realizada uma simulação em malha fechada dos modelos dos elementos do sistema elétrico de potência residentes no software ATP (Alternative Transients Program), com os modelos dos componentes do sistema de proteção desenvolvidos no ambiente MODELS. Escolheu-se como estudo de caso um barramento com configuração de barra dupla com disjuntor simples a cinco chaves, que pode apresentar uma grande variedade de arranjos. Os resultados obtidos indicam as vantagens da utilização desse tipo de modelagem na avaliação do desempenho dos sistemas de proteção de barramentos, por meio da qual é possível verificar o comportamento do sistema de potência frente à operação da sua proteção, bem como o da proteção frente às mais diversas situações de operação que pode ser submetida. ______________________________________________________________________________________ ABSTRACT<br>The busbars are responsible for the interconnection of various elements of an electric power system, so that faults in these components cause the shutdown of several loads. In this context, a thorough study of their protection is of paramount importance, in order to ensure that faults are extinguished quickly and appropriately, preserving the integrity of its components and mitigating the occurrence of widespread blackouts. Therefore, this master thesis presents the modeling and simulation of the low impedance busbar differential protection principle in ATP software. In order to do so, a closed-loop simulation between the resident models of the electric power system elements in ATP and the models of protection system components developed in MODELS was realized. It was chosen as a case of study a system with double-bus single-breaker busbar topology, which can assume a wide variety of operating configurations. The obtained results reveal the advantages of using this type of modeling to thereby one can evaluate the performance of busbar protection systems, through which it is possible to evaluate the behavior of the power system against the operation of its protection, as well as the protection performance for the different power systems operational conditions.
2
Marchesan, Adriano Cavalheiro. "Desenvolvimento de um software pré-processador gráfico para análise de transitórios em subestações." Universidade Federal de Santa Maria, 2016. http://repositorio.ufsm.br/handle/1/8589.
Full textAbstract:
The following work presents a graphical pre-processor software as an alternative version of
the Electromagnetic Transients Program (ATP-EMTP). It was developed to aid in the analysis
of electromagnetic transients in power substations. The software has been developed using
Java programming language and it was named Alternative Transients Program Substation
Analysis (ATP-SA). Amongst its functionalities, it can be highlighted the representation of
precursory events of electromagnetic transients in the ATP-EMTP standard, data predefinition
for the modeling of these events, simulation configuration with compatible values in reference
to the transient phenomena to be studied and management simulation through a databank. The
transients to be considered are: occurrence and clearance of faults, transformer inrush, Transient
Recovery Voltage (TRV) in circuit-breakers, circuit-breaker switching and lightning surges. The
software aids in the simulation of transients occurred by these events in both deterministic and
stochastic ways. In addition, to show its potentialities, examples of application are presented in a
real power system simulations. Hence, with the use of the mentioned software, it is expected
to support in subsidies and safety with respect of operations in substations, as well to aid in
defect prevention, loss of equipment and potential shutdowns. This work is the main theme
of a Research and Development (R&D) project developed by the Laboratory of Analysis and
Protection of Power Systems, in the Power System and Energy Research Center, in a partnership
along with the State Company of Generation and Transmission of Electric Energy of the Rio
Grande do Sul State.<br>Este trabalho apresenta a implementação de um software pré-processador gráfico para a versão
alternativa do ElectroMagnetic Transient Program (ATP-EMTP), desenvolvido para auxiliar a
análise de transitórios eletromagnéticos em subestações de potência. Este software, concebido
em linguagem de programação Java, recebeu a denominação de Alternative Transients Program
Substation Analysis (ATP-SA). Dentre suas funcionalidades, está a representação de eventos
precursores de transitórios eletromagnéticos no padrão ATP-EMTP, predefinição de dados
para modelagem destes eventos, parametrização da simulação com valores compatíveis com
o fenômeno analisado e gerenciamento de simulações através de um banco de dados. Os
eventos contemplados pelo software compreendem: ocorrência e eliminação de curtos-circuitos,
energização de transformador, Tensão de Restabelecimento Transitória (TRT) em disjuntores,
manobras de abertura e fechamento de disjuntores e descargas atmosféricas. O software fornece
suporte a simulação de transitórios provocados por estes eventos de forma determinística ou
estocástica. Para demonstrar estas potencialidades, abordam-se exemplos aplicados sobre um
sistema elétrico real. Com a utilização do software desenvolvido, espera-se fornecer subsídio
e segurança para a realização de operações em subestações, bem como auxiliar a prevenção
de falhas, perda de equipamentos e desligamentos. O presente trabalho é parte integrante de
um projeto de Pesquisa e Desenvolvimento (P&D), desenvolvido pelo Laboratório de Análise
e Proteção de Sistemas Elétricos do Centro de Estudos em Energia e Sistemas de Potência
(LAPES-CEESP) da UFSM, em parceria com a Companhia Estadual de Geração e Transmissão
de Energia Elétrica (CEEE-GT) do Rio Grande do Sul.
3
Prieto, Castro Carlos Felipe. "Estudio de Sobrevoltajes Causados por Impactos de Rayo en Sistemas de Transmisión con el Software ATP." Tesis, Universidad de Chile, 2009. http://repositorio.uchile.cl/handle/2250/103606.
Full textAbstract:
El objetivo general del presente trabajo de título es habilitar en un computador del Área de Energía del Departamento de Ingeniería Eléctrica, una versión actualizada del ATP (Alternative Transients Program). El ATP es una de las principales herramientas para la resolución de transitorios en redes eléctricas y una de sus frecuentes aplicaciones es la resolución de problemas relativos a impactos de rayos en sistemas de transmisión; bajo esta premisa, se consideró que su aplicación para determinar sobretensiones de rayo en líneas de transmisión era un tema adecuado para ver sus fortalezas, y habilidades.
4
Panda, Rajendra. "Software Integration Test for Railway Control Systems." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2018. http://amslaurea.unibo.it/16231/.
Full textAbstract:
This dissertation is the result of a five months internship experience at Akka Technologies S.r.l which is the final client of A. T. Company. A. T. is a well-known railway and railway infrastructure construction sector (Transport Division) with SCMT project performed in collaboration with the Akka Technologies S.r.l. Company decided to introduce the Verification and Validation within its development process and contacted experts from the university to implement industrially feasible strategies to address this goal. The work presented here reports on the results achieved in the context of this collaboration.
This project defines Software Integration Test for Railway Control systems for the Italian Rail Traffic Management System (On Board System), and Software integration test which is derived from V & V model. Its testing phase (Software Testing) which is top-down integration test. Integration test is testing where individual components are combined with other components to make sure the correct communication. ADA language is programmed for input Documents. This system and the software is according to the software safety integrity level 4 (SIL 4) railway norms EN 50128. Baseline 11 is upgraded from Baseline 10 by implementing user requirements for the new performance. IBM Rational Test Real Time is the tool which is used to perform the Integration Testing. The main tasks are as follows: To write the Software Integration Test Specification, to perform the software integration test using an IBM Rational Test Real Time tool, to write the Software Integration Test Report.
5
Medeiros, Arthur Salgado de. "Desenvolvimento de software para simula??o de motores com dispositivos de partida baseada na integra??o do atp com o toprede." Universidade Federal do Rio Grande do Norte, 2012. http://repositorio.ufrn.br:8080/jspui/handle/123456789/15450.
Full textAbstract:
Made available in DSpace on 2014-12-17T14:56:07Z (GMT). No. of bitstreams: 1
ArthurSM_DISSERT.pdf: 3738699 bytes, checksum: 29ce2c38186e1efdfff26bfd80d1b137 (MD5)
Previous issue date: 2012-08-03<br>Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior<br>O transit?rio que envolve a partida de motores de m?dio e grande porte ligados
no sistema el?trico das concession?rias distribuidoras de energia el?trica tem se situado,
principalmente nos casos em que essas cargas est?o localizadas em pontos mais remotos
dos alimentadores, no conjunto dos principais problemas a serem resolvidos, dados os
efeitos que as partidas dessas cargas imp?em ? qualidade do fornecimento de energia
el?trica aos consumidores. O Software desenvolvido tem o objetivo de realizar a
intera??o entre os softwares TOpReDE e ATP de forma que as redes de distribui??o de
energia el?trica contidas no banco de dados do TOpReDE - T?cnicas de Otimiza??o
para Redes de Distribui??o de Energia El?trica (Programa desenvolvido, entre 2004 e
2005, pela base de pesquisa OSEE - Otimiza??o em Sistemas de Energia El?trica, que
envolve professores dos departamento de Engenharia El?trica e de Engenharia da
Computa??o da UFRN) sejam convertidas para o formato de dados do ATP (Alternative
Transient Program) programa que permite a simula??o de transit?rios
eletromagn?ticos em redes polif?sicas, para que seja poss?vel adicionar a estas redes de
distribui??o: motores el?tricos de indu??o, dispositivos de partida de motores, cargas
com pot?ncia constante e equipamentos de medi??o com o objetivo de detectar e
analisar previamente, tanto graficamente (atrav?s do software PlotXY) quanto sob a
forma de relat?rios, poss?veis dist?rbios causados a estas redes mediante a partida de
motores
6
Fabián, Espinoza Renzo Grover [UNESP]. "Análise de proteção de linhas de transmissão através de relés numéricos e uso de models externos no ATP (Alternative Transient Program)." Universidade Estadual Paulista (UNESP), 2011. http://hdl.handle.net/11449/87138.
Full textAbstract:
Made available in DSpace on 2014-06-11T19:22:33Z (GMT). No. of bitstreams: 0
Previous issue date: 2011-02-18Bitstream added on 2014-06-13T19:08:07Z : No. of bitstreams: 1
fabianespinoza_rg_me_ilha.pdf: 869619 bytes, checksum: 3c82572569bc2349669cb3765fb65c95 (MD5)<br>Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)<br>Fundação de Ensino Pesquisa e Extensão de Ilha Solteira (FEPISA)<br>Neste trabalho apresenta-se uma metodologia para obter um ambiente interativo de simulação com ferramentas que permitam fazer análises de sistemas de proteção como estudos de coordenação e analises pós falta. As ferramentas estão baseadas no programa de simulação de transitórios eletro- magnéticos EMTP/ATP e na linguagem de programação ANSI C, sobre a plataforma de software livre GNU/Linux. Esta metodologia pode ser implementada, da mesma forma, em qualquer plataforma Windows sobre a qual possa funcionar o EMTP/ATP e o pacote ATP/MingW. Assim, implementou- se um relé de distância numérico através de modelos externos (“foreign models”). Ilustra-se também como usar arquivos no formato COMTRADE na análise com EMTP/ATP. Dessa forma foi possível analisar o comportamento do relé implementado tendo como entradas os sinais de tensões e correntes correspondentes aos eventos reais. Os sinais de disparo, assim como os demais componentes do relé, foram testados usando um sistema teste de referência do Power System Relaying Committee da PES-IEEE e os sinais de faltas reais do Sistema Elétrico Interligado da Colômbia. Por fim, foi feito um estudo de coordenação. Os resultados são apresentados e discutidos. A metodologia proposta pode ser usada para desenvolver qualquer componente ou elemento de controle dentro de um sistema elétrico, onde haja a necessidade de usar o EMTP/ATP para simular condições específicas de operação do sistema elétrico, complementando a simplicidade da linguagem MODELS com a portabilidade e potencialidade da linguagem C<br>This work presents the methodology to obtain an environment of interactive simulation with tools to perform analysis of protection systems, coordination studies and analysis post fault. These tools are based on the program for electromagnetic transients EMTP/ATP and in ANSI C programming language used in the free GNU/Linux software platform. The same methodology can be followed to be used on any Windows Operating System that can run EMTP/ATP and the package ATP/MingW. Then, for this, a numerical distance relay was implemented by means of foreign models using C programming language. It also shows how to use COMTRADE files in analysis with EMTP / ATP. Thus it was possible to analyze the behavior of the implemented relay with voltage and current signals of real events as inputs. The trip signals, like the other components of the relay, were tested using a testing reference system of Power System Relaying Committee of PES-IEEE and the signals of real faults of Inter- connected Electric System of Colombia. Finally, a coordination study was made. The results are presented and discussed. This methodology could also be used to develop any component or control element within an electrical system that one may need for a particular use; therefore, compensating the simplicity of the language MODELS with the flexibility and portability of C programming language
7
Fabián, Espinoza Renzo Grover. "Análise de proteção de linhas de transmissão através de relés numéricos e uso de models externos no ATP (Alternative Transient Program) /." Ilha Solteira : [s.n.], 2011. http://hdl.handle.net/11449/87138.
Full textAbstract:
Orientador: Jose Roberto Sanches Mantovani<br>Banca: Luiz Fernando Bovolato<br>Banca: Rodrigo Aparecido Fernandes Pereira<br>Resumo: Neste trabalho apresenta-se uma metodologia para obter um ambiente interativo de simulação com ferramentas que permitam fazer análises de sistemas de proteção como estudos de coordenação e analises pós falta. As ferramentas estão baseadas no programa de simulação de transitórios eletro- magnéticos EMTP/ATP e na linguagem de programação ANSI C, sobre a plataforma de software livre GNU/Linux. Esta metodologia pode ser implementada, da mesma forma, em qualquer plataforma Windows sobre a qual possa funcionar o EMTP/ATP e o pacote ATP/MingW. Assim, implementou- se um relé de distância numérico através de modelos externos ("foreign models"). Ilustra-se também como usar arquivos no formato COMTRADE na análise com EMTP/ATP. Dessa forma foi possível analisar o comportamento do relé implementado tendo como entradas os sinais de tensões e correntes correspondentes aos eventos reais. Os sinais de disparo, assim como os demais componentes do relé, foram testados usando um sistema teste de referência do Power System Relaying Committee da PES-IEEE e os sinais de faltas reais do Sistema Elétrico Interligado da Colômbia. Por fim, foi feito um estudo de coordenação. Os resultados são apresentados e discutidos. A metodologia proposta pode ser usada para desenvolver qualquer componente ou elemento de controle dentro de um sistema elétrico, onde haja a necessidade de usar o EMTP/ATP para simular condições específicas de operação do sistema elétrico, complementando a simplicidade da linguagem MODELS com a portabilidade e potencialidade da linguagem C<br>Abstract: This work presents the methodology to obtain an environment of interactive simulation with tools to perform analysis of protection systems, coordination studies and analysis post fault. These tools are based on the program for electromagnetic transients EMTP/ATP and in ANSI C programming language used in the free GNU/Linux software platform. The same methodology can be followed to be used on any Windows Operating System that can run EMTP/ATP and the package ATP/MingW. Then, for this, a numerical distance relay was implemented by means of foreign models using C programming language. It also shows how to use COMTRADE files in analysis with EMTP / ATP. Thus it was possible to analyze the behavior of the implemented relay with voltage and current signals of real events as inputs. The trip signals, like the other components of the relay, were tested using a testing reference system of Power System Relaying Committee of PES-IEEE and the signals of real faults of Inter- connected Electric System of Colombia. Finally, a coordination study was made. The results are presented and discussed. This methodology could also be used to develop any component or control element within an electrical system that one may need for a particular use; therefore, compensating the simplicity of the language MODELS with the flexibility and portability of C programming language<br>Mestre
8
Silva, Mauren Pomalis Coelho da. "Proposta de modelagem e simulação para análise de distorção harmônica." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2014. http://hdl.handle.net/10183/103732.
Full textAbstract:
Este trabalho apresenta um estudo de Qualidade de Energia Elétrica (QEE) no sistema elétrico industrial de uma concessionária geradora de energia elétrica do Brasil. O estudo teve enfoque na distorção harmônica gerada nos serviços auxiliares da usina termoelétrica. Para tanto, foi necessária a simulação e análise da planta da termoelétrica, com atenção nos serviços auxiliares pertencentes a ela, devido aos altos níveis de distorções harmônicas registrados. A simulação foi feita com o programa ATP (Alternative Transients Program) no domínio do tempo, através de sua interface gráfica, o ATP Draw. Nele foram modelados os principais componentes que pertencem ao Sistema Elétrico de Potência (SEP) em questão, como geradores, transformadores, linhas e cargas não lineares. Com a modelagem do SEP da termoelétrica, é possível determinar os níveis da distorção harmônica em diversos locais da planta, e aprofundar o estudo para que seja possível fazer a mitigação desses distúrbios. A diminuição da distorção harmônica junto ao aumento do fator de potência permite um melhor desempenho da usina, aumentando a faturamento da empresa através do aumento da energia entregue ao sistema elétrico.<br>This dissertation presents a study of Power Quality in an electrical system of a thermoelectric power plant in Brazil. The study focused on the harmonic distortion generated in the auxiliary services of the plant. Therefore, it was necessary to simulate and analyze the thermal plant, with attention to auxiliary services belonging to it, due to high levels of harmonic distortion registered. The simulation was performed using the ATP (Alternative Transients Program) in the time domain through its interface, the ATP Draw. It were modeled the main components that belong to the Power System in question, such as generators, transformers, lines and non-linear loads. With the modeling of the thermoelectric plant, is possible to determine the levels of harmonic distortion at various locations within the plant. The reduction of harmonic distortion along with the increase of power factor allows a better plant performance, increasing company revenue by increasing the energy delivered to the electrical system.
9
Rodrigues, Letícia Caldeira Pereira. "Técnicas para a detecção, classificação e localização no tempo das variações de tensão de curta e longa duração." Universidade de São Paulo, 2008. http://www.teses.usp.br/teses/disponiveis/18/18154/tde-04032009-150846/.
Full textAbstract:
Os objetivos deste trabalho vão da apresentação do andamento das pesquisas relacionadas à análise de distúrbios associados à qualidade da energia elétrica (QEE), até a proposta de um algoritmo baseado em diversas ferramentas para a detecção e localização no tempo, bem como a classificação automática destes distúrbios. Nesta pesquisa é proposta uma detecção não somente do início e fim de um único evento, mas também, de n possíveis desconformidades na forma de onda que possam vir a ocorrer ou existir em determinados registros e/ou arquivos de dados em análise. Como diferencial deste trabalho, tem-se que da determinação da localização das alterações/descontinuidades na forma de onda, foi possível obter janelas de dados com tamanhos flexíveis. Desta maneira, vários eventos sobre o sinal em análise puderam ser avaliados, bem como as durações associadas. Para isso, a Transformada Wavelet (TW) foi utilizada para realizar a detecção e também a localização destas alterações no tempo. Já para a classificação da ocorrência, ou das ocorrências, a TW, a Transformada de Fourier (TF) e o valor RMS foram empregados. A flexibilidade das janelas de dados permitiu uma adequada escolha de qual ferramenta poderia ser mais bem utilizada na classificação. Conforme implementado, cada uma destas ferramentas apresenta uma resposta e através de um módulo de decisão lógica é determinada a resposta final do algoritmo. Para validar o estudo, várias situações de distúrbios foram caracterizadas referentes a um sistema elétrico de distribuição real, implementado e simulado pela aplicação do software ATP (Alternative Transients Program). Os resultados obtidos foram excelentes tanto para a detecção e localização no tempo, como para a classificação e estimação da amplitude e duração dos eventos.<br>The objectives of this work are going since the presentation of the researches related to the analyses of power quality (PQ) disturbances through the proposal of an algorithm based on several tools for detection and location in time, as well as the automatic classification of these phenomena. It is proposed to determine not only the initial and the end of a unique event, but all the n possible disconformities in the waveform that can exist or occur in the data file registered data in analyses. As the differential of this research, from the location in time of the alteration/discontinuities in the waveforms, it was possible to obtain data windows with flexible sizes. So, several events on the signal were evaluated, as well as their specific timeduration. For this purpose, the Wavelet transform (WT) was used to reach the detection and localization in time of the waveform alterations. For the event classification, the TW, the Fourier transform (FT) and the Root Mean Square (RMS) value were used. The data window flexibility allowed an appropriate choice of which tool could be better used in the classification task. As implemented, each one of these tools presented an answer, and the final answer was obtained by using a logic decision module. To validate the study, some situations of disturbances were characterized using a real distribution system, implemented and simulated applying the ATP (Alternative Transients Program) software. The results were excellent in such a way for detection and localization in time, as well as for the automatic classification and estimation of the magnitude and the event duration.
10
Gonzalez, Farias Borja, and Vaidehi Shashikant Vipra. "AHP/ANP approach for optimizing decision making in software development." Thesis, Uppsala universitet, Institutionen för informationsteknologi, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-448699.
Full textAbstract:
Nowadays, every company has to make decisions in order to carry out their work, but most of the time these decisions are based on subjective feelings and can have a positive or negative impact on the revenue of these companies, and many doubts could come out as of why certain decisions were made. For this, we want to test if the Analytical Hierarchy Process (AHP) and the Analytical Network Process (ANP) can help to prioritize the decisions in a more straightforward way (according to their importance) in order to increase the transparency of the decisions that are made. AHP is a decision-making approach that achieves pairwise comparisons among criteria (or decisions, in the context of this research), and ANP is another approach used for measuring tangible and intangible factors in a multi-criteria decision analysis. However, since there was no dependency amongst any decisions or priorities ranked by the participants, we limited our case study to AHP only. The purpose of adding ANP to the research was to study both the methods simultaneously and understand the concepts thoroughly.Our research was focused on a company named Sinch Sweden AB, in which we observed the context of decision-making and tested the short-term effects of AHP in one team as part of a case study.After several questionnaires, interviews and our case study, we concluded that, with the help of AHP/ANP, the participants could have a better understanding of the importance of some decisions against others, notice inconsistencies in their judgements and we could also observe an increase in transparency.
11
Dowert, Michael, and Tommy Karlsson. "Software Monitoring & Repair." Thesis, Blekinge Tekniska Högskola, Institutionen för programvaruteknik och datavetenskap, 2003. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-4822.
Full textAbstract:
Web-hosting is a well established industry with a wide range of actors with different size and quality of service. One of the challenges for these companies is to setup a system that guarantee uptime around the clock. Web-hosts must be able to assure high reliability to its customer, in order to provide better services than the many competitors that exist on the market. This requires a lot of resources from the companies in form of hardware, software or personnel that monitor the operation 24 hours per day each day of the week. A problem is that small and medium sized companies with up to approximately 10000 customers can’t afford these extra costs for personnel and must therefore rely on other monitoring solutions to be competitive. This thesis will show how automatic monitoring tools can replace some of the responsibilities, performed by human personnel. The tools will also be evaluated and compared with similar tools available on the market. An economic model, that can be used to determine if the solution is worth investing in , is also described.
12
Alphonce, Magori. "Use of software verification & validation (V&V) techniques for software process improvement." Thesis, University West, Department of Technology, Mathematics and Computer Science, 2006. http://urn.kb.se/resolve?urn=urn:nbn:se:hv:diva-574.
Full text
13
Ozment, James Andrew. "Vulnerability discovery & software security." Thesis, University of Cambridge, 2007. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.613340.
Full text
14
Širáň, Josef. "Implementace nápravy projektového řízení ve firmě Proof & Reason, s.r.o. s využitím metodik řízení projektů." Master's thesis, Vysoké učení technické v Brně. Fakulta podnikatelská, 2016. http://www.nusl.cz/ntk/nusl-234790.
Full textAbstract:
This diploma thesis deals with proposals for improving particular project management phases and their implementation into project management tools. The resulting proposals are based on a theoretical background and analysis of a specific project from a company Proof & Reason and are implemented into its environment.
15
Martin, W. J. "App Store Analysis for software engineering." Thesis, University College London (University of London), 2017. http://discovery.ucl.ac.uk/1537482/.
Full textAbstract:
App Store Analysis concerns the mining of data from apps, made possible through app stores. This thesis extracts publicly available data from app stores, in order to detect and analyse relationships between technical attributes, such as software features, and non-technical attributes, such as rating and popularity information. The thesis identifies the App Sampling Problem, its effects and a methodology to ameliorate the problem. The App Sampling Problem is a fundamental sampling issue concerned with mining app stores, caused by the rather limited ‘most-popular-only’ ranked app discovery present in mobile app stores. This thesis provides novel techniques for the analysis of technical and non-technical data from app stores. Topic modelling is used as a feature extraction technique, which is shown to produce the same results as n-gram feature extraction, that also enables linking technical features from app descriptions with those in user reviews. Causal impact analysis is applied to app store performance data, leading to the identification of properties of statistically significant releases, and developer-controlled properties which could increase a release’s chance for causal significance. This thesis introduces the Causal Impact Release Analysis tool, CIRA, for performing causal impact analysis on app store data, which makes the aforementioned research possible; combined with the earlier feature extraction technique, this enables the identification of the claimed software features that may have led to significant positive and negative changes after a release.
16
Fenn, Tim. "Understanding & improving GIS software selection /." Click for abstract, 1998. http://library.ctstateu.edu/ccsu%5Ftheses/1490.html.
Full textAbstract:
Thesis (M.S.)--Central Connecticut State University, 1998.<br>Thesis advisor: Professor John Harmon. " ... in partial fulfillment of the requirements for the degree of Master of Science in Geography." Includes bibliographical references (leaves ix-xi.
17
Wallace, Julia. "Quantum computer software." Thesis, University of Exeter, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.369975.
Full text
18
Capretz, Miriam Akemi Manabe. "A software maintenance method based on the software configuration management discipline." Thesis, Durham University, 1992. http://etheses.dur.ac.uk/6017/.
Full textAbstract:
Software maintenance has until recently been the neglected phase in the software engineering process, despite the fact that maintenance of existing software systems may account for over half of all efforts expended by a software organization. Research into software maintenance, compared to other phases of the software engineering process is rare. Moreover, it is widely accepted that current software maintenance methods and techniques are unable to cope with the complexity inherent in maintaining software systems. This thesis is concerned with the development of a method, named Configuration Management Formalization for Maintenance (COMFORM), designed for the maintenance of existing software systems. COMFORM provides guidelines and procedures for carrying out a variety of activities performed during software maintenance. It accommodates a change control framework, around which the Software Configuration Management discipline is applied. Redocumentation is another problem tackled by COMFORM, which gathers together the documentation necessary to improve the maintainability and quality of existing software systems. This is achieved by the use of forms representing the output of each phase of a proposed software maintenance model. The information obtained by filling in forms is formalized according to a data model, which provides a common basis for the representation of the method's functionality. Finally, a prototype of COMFORM has been implemented, so that the procedures and guidelines set up by the method can be enforced and followed by its users.
19
Finney, Kathleen Margaret. "The application of software metrics to the area of software specification." Thesis, City University London, 1998. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.266294.
Full text
20
Karami, Daryoosh. "Knowledge-based software engineering : a software quality management expert system prototype." Thesis, University of Southampton, 1995. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.361657.
Full text
21
Steel, Donald. "Software reliability prediction." Thesis, Abertay University, 1990. https://rke.abertay.ac.uk/en/studentTheses/4613ff72-9650-4fa1-95d1-1a9b7b772ee4.
Full textAbstract:
The aim of the work described in this thesis was to improve NCR's decision making process for progressing software products through the development cycle. The first chapter briefly describes the software development process at NCR, detailing documentation review and software testing techniques. The objectives and reasons for investigating software reliability models as a tool in the decision making process are outlined. There follows a short review of software reliability models, with the Littlewood and Verrall Bayesian model considered in detail. The difficulties in using this model to obtain estimates for model parameters and time to next failure are described. These estimation difficulties exist using the model on good datasets, in this case simulated failure data, and the difficulties are compounded when used with real failure data. The problems of collecting and recording failure data are outlined, highlighting the inadequacies of these collected data, and real failure data are analysed. Software reliability models are used in an attempt to quantify the reliability of real software products. The thesis concludes by summarising the problems encountered when using reliability models to measure software products and suggests future research into metrics that are required in this area of software engineering.
22
Nascimento, Maria Elenita Menezes. "SMM (Software Management Model) : a multidimensional and integrative software development management model." Thesis, University of Manchester, 1992. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.386037.
Full text
23
Natraj, Shailendra. "An Empirical Evaluation & Comparison of Effectiveness & Efficiency of Fault Detection Testing Techniques." Thesis, Blekinge Tekniska Högskola, Sektionen för datavetenskap och kommunikation, 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-4047.
Full textAbstract:
Context: The thesis is the analysis work of the replication of software experiment conducted by Natalia and Sira at Technical University of Madrid, SPAIN. The empirical study was conducted for the verification and validation of experimental data, and to evaluate the effectiveness and efficiency of the testing techniques. The analysis blocks, considered for the analysis were observable fault, failure visibility and observed faults. The statistical data analysis involved the ANOVA and Classification package of SPSS. Objective: To evaluate and compare the result obtained from the statistical data analysis. To establish the verification and validation of effectiveness and efficiency of testing techniques by using ANOVA and Classification tree analysis for percentage subject, percentage defect-subject and values (Yes / No) for each of the blocks. RQ1: Empirical evaluation of effectiveness of fault detection testing technique, using data analysis (ANOVA and Classification tree package). For the blocks (observable fault, failure visibility and observed faults) using ANOVA and Classification tree. RQ2: Empirical evaluation of efficiency of fault detection technique, based on time and number of test cases using ANOVA. RQ3: Comparison and inference of the obtained results for both effectiveness and efficiency. Method:The research will be focused on the statistical data analysis to empirically evaluate the effectiveness and efficiency of the fault detection technique for the experimental data collected at UPM (Technical university of Madrid, SPAIN). Empirical Strategy Used: Software Experiment. Results: Based on the planned research work. The analysis result obtained for the observable fault types were standardized (Ch5). Within the observable fault block, both the techniques, functional and structural were equally effective. In the failure visibility block, the results were partially standardized. The program types nametbl and ntree were equally effective in fault detection than cmdline. The result for observed fault block was partially standardized and diverse. The list for significant factors in this blocks were program types, fault types and techniques. In the efficiency block, the subject took less time in isolating the fault in the program type cmdline. Also the efficiency in fault detection was seen in cmdline with the help of generated test cases. Conclusion:This research will help the practitioners in the industry and academic in understanding the factors influencing the effectiveness and efficiency of testing techniques.This work also presents a comprehensive analysis and comparison of results of the blocks observable fault, failure visibility and observed faults. We discuss the factors influencing the efficiency of the fault detection techniques.<br>shailendra.natraj@gmail.com +4917671952062
24
Charlton, Patricia. "Self-configurable software agents." Thesis, University of Bath, 1999. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.299653.
Full text
25
Quinn, Paul. "Computer aided software production." Thesis, Queen's University Belfast, 1986. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.317077.
Full text
26
Taylor, Mark John. "Methodologies and software maintenance." Thesis, University of Salford, 1998. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.265393.
Full text
27
Bache, Richard. "Graph models of software." Thesis, London South Bank University, 1990. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.279729.
Full text
28
Loomes, Martin James. "Software engineering curriculum design." Thesis, University of Surrey, 1991. http://epubs.surrey.ac.uk/844417/.
Full textAbstract:
Software engineering design is a vital component of modern industry, unfortunately, the processes involved are still poorly understood. This poses a major problem for teachers of the subject, who are under constant pressure to improve the quality of education, but are unsure how to bring this about, or even how to detect such improvement. This thesis attempts to start the process of clarifying what we mean by "software engineering design", and apply the insights gained to the activity of curriculum design. First, we establish a method for the research, by constructing a framework to constrain and guide the process of seeking new insights. This leads to a decidedly eclectic approach to the problem, as software engineering design is viewed, and reviewed, from a number of different perspectives. Next, these views are synthesised into a model of the software engineering design process, and new insights are sought to refine the model. The central theme of this model is the idea that the design process can be considered as a one of theory building. Finally, we bring this model into direct contact with the task of curriculum design, both in a general sense, and also by providing illustrations of some of the consequences of its use.
29
Samuelsson, Maria. "Personality types & attributes in software engineering." Thesis, University West, Department of Technology, Mathematics and Computer Science, 2005. http://urn.kb.se/resolve?urn=urn:nbn:se:hv:diva-572.
Full text
30
Brouse, Christopher J. "Algorithms & software for intelligent patient monitoring." Thesis, University of British Columbia, 2007. http://hdl.handle.net/2429/31437.
Full textAbstract:
In Canada, more deaths occur after a patient experiences an adverse event in a hospital than from breast cancer, motor vehicle accidents and AIDS combined. Current technology contributes to the problem, by adding greater complexity to the clinician's workload. There is still significant promise that computerized assistance can improve patient safety. A clinical monitoring expert system, incorporating algorithms and expert knowledge, could automatically diagnose problems and provide advice on how best to avoid hazard. This thesis investigates the design and performance of algorithms and software for an intelligent patient monitor, which forms the foundation of a clinical monitoring expert system. An algorithm has been developed for detecting electrocautery noise in the electrocardiogram (ECG) using wavelet analysis. Electrocautery noise can lead an expert system to make incorrect diagnoses. In 15 surgical cases spanning 38.5 hours of ECG data, we achieved a false positive rate of 0.71% and a false negative rate of 0.33%. While existing hardware approaches detect activation of the noise source without any ability to assess its impact on the measured ECG, our software approach detects the presence of noise in the signal itself. Furthermore, the software approach is cheaper and easier to implement in a clinical environment than existing hardware approaches. A software framework, called iAssist, has been developed for intelligent patient monitoring. The framework is extensible, flexible, scalable, and interoperable. It supports plugins to perform data acquisition, signal processing, graphical display, data storage, and output to external devices. iAssist currently incorporates the electrocautery noise detection algorithm as a plugin for artifact rejection, as well as two plugins to detect change point events in physiological trends. In 38 surgical cases, iAssist detected 868 events, of which clinicians rated more than 50% as clinically significant and less than 7% as artifacts. Clinicians found iAssist intuitive and easy to use.<br>Applied Science, Faculty of<br>Electrical and Computer Engineering, Department of<br>Graduate
31
Trenouth, Jason. "A framework for exploratory software development : integrating software version control and undo support." Thesis, University of Exeter, 1990. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.279755.
Full text
32
Öhman, Persson Jenny. "The Obvious & The Essential : Interpreting Software Development & Organizational Change." Doctoral thesis, Uppsala University, Department of Information Technology, 2004. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-4689.
Full textAbstract:
<p>Examining how our basic values affect development processes is the overall theme of this thesis. In practice, the question is investigated in relation to software development and organizational change and in research, in relation to science and its relationship to common sense, specifically within the area of Human Computer Interaction. The thesis discusses how it might be possible to discover what is essential for development processes and why the essential may be interpreted as something other than the simply obvious. This thesis examines ways of studying and understanding our social environment and development processes, particularly those concerning people, organizations and software. The empirical examples deal with a software development project and a project that scrutinized the strategy for a governmental authority’s business and information technology. Attitudes are discussed in terms of how they view the user, the customer, the software developers, the software, organizational and implementation processes, organizational management, aesthetic values, functionality and use, research, methods, paradigmatic approaches, ethical issues, psychological reactions, sociological prerequisites, categorizations of people and stress-related health consequences. One particular prerequisite for developing superior computer-supported office work has repeatedly presented itself: an open, questioning attitude towards the software development process, towards organizational change and towards the people working in the organizations. A similar attitude towards research and its design can be crucial to the development of new knowledge. This circumstance can be interpreted as an indication of how important it is that we be aware of and question our preconceived notions, in order to develop an autonomous behavior where we take responsibility for our actions. By doing so, we can avoid misinterpretations and not get trapped into making categorizations that are simply obvious. This is essential and must be emphasized in our search for the path to »healthy work«.</p>
33
Öhman, Persson Jenny. "The obvious & the essential : interpreting software development & organizational change /." Uppsala : Acta Universitatis Upsaliensis : Univ.-bibl. [distributör], 2004. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-4689.
Full text
34
Ahmed, A. S. E. "Finite elements software and applications." Thesis, Loughborough University, 1987. https://dspace.lboro.ac.uk/2134/11573.
Full textAbstract:
The contents of this thesis are a detailed study of the software for the finite element method. In the text, the finite element method is introduced from both the engineering and mathematical points of view. The computer implementation of the method is explained with samples of mainframe, mini- and micro-computer implementations. A solution is presented for the problem of limited stack size for both mini- and micro-computers which possess stack architecture. Several finite element programs are presented. Special purpose programs to solve problems in structural analysis and groundwater flow are discussed. However, an efficient easy-to-use finite element program for general two-dimensional problems is presented. Several problems in groundwater flow are considered that include steady, unsteady flows in different types of aquifers. Different cases of sinks and sources in the flow domain are also considered. The performance of finite element methods is studied for the chosen problems by comparing the numerical solutions of test problems with analytical solutions (if they exist) or with solutions obtained by other numerical methods. The polynomial refinement of the finite elements is studied for the presented problems in order to offer some evidence as to which finite element simulation is best to use under a variety of circumstances.
35
Harmer, T. J. "Pictorial animation of software systems." Thesis, Queen's University Belfast, 1987. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.233954.
Full text
36
Kamal, Muhammad. "Software design methods and errors." Thesis, University of Liverpool, 1991. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.317143.
Full text
37
Fleury, Martin. "Efficient parallel image-processing software." Thesis, University of Essex, 1997. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.361038.
Full text
38
Hill, Mark Bowen. "Software environments for parallel computing." Thesis, University of Southampton, 1993. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.239437.
Full text
39
Neil, Martin David. "Statistical modelling of software metrics." Thesis, London South Bank University, 1992. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.332031.
Full text
40
Guest, S. P. "Software tools for dialogue design." Thesis, De Montfort University, 1986. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.372851.
Full text
41
Cabral, Roberto José. "Análise numérica de curto circuito utilizando Componentes Simétricas e Componentes de Fases para obter índices de afundamentos de tensão." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2010. http://hdl.handle.net/10183/28797.
Full textAbstract:
O presente trabalho apresenta estudos teóricos e uma revisão bibliográfica sobre diversos aspectos relevantes à qualidade da energia elétrica, principalmente os afundamentos de tensão em sistemas de energia elétrica. A avaliação da eficiência de um sistema elétrico de potência é quantificada por diversos fatores de qualidade, destacando-se a continuidade do fornecimento de energia elétrica aos consumidores. Nesse contexto, a análise de faltas é muito importante e demanda especial atenção quando do projeto do esquema de proteção e dos índices de qualidade do sistema elétrico de distribuição. Assim sendo, o presente trabalho apresenta uma comparação entre os métodos de cálculo de curtos circuitos convencionais: Método das Componentes Simétricas e o Método das Componentes de Fases. Também é apresentada uma nova aproximação da obtenção da matriz de impedância de cada elemento do sistema elétrico de potência, para a resolução pelo Método das Componentes Simétricas em sistemas desequilibrados. Usando um modelo particular de um sistema elétrico de distribuição são efetuadas simulações computacionais para avaliar o desempenho do algoritmo proposto. As simulações de curtos circuitos são realizadas com rotinas no ambiente MatLab e logo comparadas com os resultados do programa ATP/EMTP. Os cálculos de afundamentos de tensão são realizados para diferentes tipos de faltas: trifásica-terra (FFFT), fase-terra (FT), fase-fase (FF) e fase-fase-terra (FFT). Apesar de o trabalho estar centrado em sistemas de distribuição, as conclusões podem ser referidas a qualquer tipo de sistema de energia elétrica. Os resultados obtidos nessas simulações mostram que a aproximação proposta que consiste da obtenção da impedância de componentes simétricas de cada elemento, apresenta um ótimo desempenho. O objetivo desta comparação é identificar o método de cálculo de curto-circuito que ofereça a viabilidade de simplificação nos procedimentos de cálculo, como também na modelagem dos componentes do sistema elétrico de energia, mantendo continuamente uma boa precisão dos resultados dentro dos limites de tolerância. Com esta simplificação se pode reduzir significativamente o tempo das simulações, o processo de análise e tomada de decisão mais ágil e eficiente.<br>This work presents theoretical studies and a literature review on various aspects relevant to the quality of electric power, especially voltage sags in electric power systems. Assessing the efficiency of a power system is quantified by several quality factors, highlighting the continued supply of electricity to consumers. In this context, the analysis of faults is very important and demand special attention when designing the protection scheme and the quality indexes of the electrical system of distribution. Therefore, this work presents a comparison between the calculation methods of conventional short circuit: Method of Symmetrical Component and Method of Phases Components. It also presents a new approach to obtaining the impedance matrix of each element of the electric power system for the resolution by the Method of Symmetrical Components in unbalanced systems. Using a particular model of an electric distribution system computer simulations are carried out to evaluate the performance of the algorithm. Simulations of short circuits are performed with routines in MatLab environment and then compared with the results of the software ATP/EMTP. The calculations of voltage sags are performed for different types of faults: three-phase- ground (FFFT), phase-ground (FT), phase-phase (FF) and phase-phase- ground (FFT). Although the work is centered on distribution systems, the findings can be referred to any type of power system. The results obtained in these simulations show that the proposed approach consists of obtaining the impedance of symmetrical components of each element, presents a great performance. The purpose of this comparison is to identify the method of calculating short-circuit that provides the feasibility of simplifying the calculation procedures, but also in the modeling of system components, electric power, continuously keeping a good accuracy of results within the tolerance limits. With this simplification can significantly reduce the time of simulations, the process of analysis and decision making more agile and efficient.
42
Cepa, Vasian. "Attribute enabled software development illustrated with mobile software applications." Saarbrücken VDM, Müller, 2005. http://deposit.d-nb.de/cgi-bin/dokserv?id=2939598&prov=M&dok_var=1&dok_ext=htm.
Full text
43
Cepa, Vasian. "Attributed enabled software development : illustrated with mobile software applications /." Saarbrücken : VDM, Verl. Dr. Müller, 2007. http://deposit.d-nb.de/cgi-bin/dokserv?id=2939598&prov=M&dok_var=1&dok_ext=htm.
Full text
44
Chantatub, Wachara. "The integration of software specification, verification, and testing techniques with software requirements and design processes." Thesis, University of Sheffield, 1995. http://etheses.whiterose.ac.uk/1850/.
Full textAbstract:
Specifying, verifying, and testing software requirements and design are very important tasks in the software development process and must be taken seriously. By investing more up-front effort in these tasks, software projects will gain the benefits of reduced maintenance costs, higher software reliability, and more user-responsive software. However, many individuals involved in these tasks still find that the techniques available for the tasks are either too difficult and far from practical or if not difficult, inadequate for the tasks. This thesis proposes practical and capable techniques for specifying and verifying software requirements and design and for generating test requirements for acceptance and system testing. The proposed software requirements and design specification techniques emerge from integrating three categories of software specification languages, namely an infonnal specification language (e.g. English), semiformal specification languages (Entity-Relationship Diagrams, Data Flow Diagrams, and Data Structure Diagrams), and a formal specification language (Z with an extended subset). The four specification languages mentioned above are used to specify both software requirements and design. Both software requirements and design of a system are defined graphically in Entity-Relationship Diagrams, Data Flow Diagrams, and Data Structure Diagrams, and defined formally in Z specifications. The proposed software requirements and design verification techniques are a combination of informal and formal proofs. The informal proofs are applied to check the consistency of the semiformal specification and to check the consistency, correctness, and completeness of the formal specification against the semiformal specification. The formal proofs are applied to mathematically prove the consistency of the formal specification. Finally, the proposed technique for generating test requirements for acceptance and system testing from the formal requirements specification is presented. Two sets of test requirements are generated: test requirements for testing the critical requirements, and test requirements for testing the operations of the system.
45
Gimenes, Itana Maria de Sousa. "Towards a process-centred software engineering environment to support the development of high integrity software." Thesis, University of York, 1992. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.316176.
Full text
46
Proudlock, Kimberley M. "Controlling the software development process through the techniques of software process modelling and formal methods." Thesis, University of Portsmouth, 1994. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.241538.
Full textAbstract:
Over the years the computing industry has enjoyed increasing levels of integration within the software which it employs: data integration; tool integration; human computer interface integration; etc. as well as the environment in which the software is used, ie. integration across a heterogeneous environment. In fact, it is the case that environments have been developed to further enhance the development of integrated software. 1bese are generally referred to as software development environments, or software factories. However, until recent years no comparable effort had been placed upon the achievement of similarly high levels of integration relating to the process by which that software is developed. Whilst environments offer the ability to share data, utilise the same tools, and present a common interface for using the tools, little regard had been given to how such integrated environments would be used by the members of the software development team in order to realise an integrated end product. It is now recognised that integration is required in the actual process of software development. Whilst software development methods such as SSADM and Yourdon go some way to achieve this, by specifying the tasks and activities required of a software development process, they are not sufficient to realise an integrated development process and hence an integrated end product. Achieving such integration within the process of developing software is the subject of the research reported in this thesis. Investigations into effecting Activity Integration, by which it is referred, reveal that current thinking is to model the activities of the software development process, providing an accurate representation of how the activities specified within that software development process would be carried out within a specific development environment. In doing so accurately depicting: tasks which depend on the completion of others; tasks which are independent of those around it; in addition to features such as iteration and selection. The product of this activity is generally referred to as a Software Process Model. Software process models have the capability of guiding members of a software development team through the activities of the software development process. It is thought that such guidance endows software process models with an advantage over existing techniques. Traditionally manuals are created to instruct developers in the use of a particular tool. Consequently in an environment consisting of many tools, many manuals are required. Additional guidance is required in the actual process of software development, method support. Again this is traditionally in the form of a manual, typically written for the purpose of instructing on all aspects of the complete method. In reality an organisation is likely to tailor the method of software development to meet the needs of an individual software development project. Accordingly what currently exists may be summed up as a 'ragbag' of manuals in addition to instructions on a general method. It is not surprising that activity integration is rarely achieved.In this work the analysis phase of the approach to software development advocated by SSADM will be represented as an informally specified software process model. To illustrate fully this modelling activity the environment is assumed to be one in which development takes place in a distributed fashion, necessitating modelling of the features inherent within such an environment, namely: sequence; selection; concurrency and iteration. Software process models will be shown to offer the capability of providing an accurate representation of how the activities of the analysis phase of SSADM may be executed within a distributed development environment. Furthermore, they will be shown to offer the flexibility to tailor a general method to meet the needs of a specific development project, in doing so providing the capability for the realisation of activity integration. However, this informal modelling technique will be shown to be inadequate for the realisation of activity integration. Although the resultant software process model is able to add considerable visibility and clarity to the 1Mb of the software development process, due to its informal nature it is not able to offer guarantees that the modelled process will be adhered to, a requirement for effecting activity integration. To overcome this issue, formal specification techniques are investigated. It will be shown that formal specification techniques, as a result of their rigorous, mathematical basis, when used to specify the 1Mb and activities of a software process model, are able to provide guarantees that the modelled process will be adhered to, and hence that activity integration will be realised. Furthermore, the ability to reason about a design and to prove properties of it, offered by formal techniques, enables guarantees to be made that the eventual implementation will be able to meet its intended aims.
47
Xu, Zhongfu. "Software performance prediction as part of the unified software development process /." Tönning : Der Andere Verl, 2004. http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=013830297&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA.
Full text
48
Alenazi, Mohammed, Santosh Ajith Gogi, Dongsheng Zhang, Egemen K. Çetinkaya, Justin Rohrer, and James P. G. Sterbenz. "ANTP Protocol Suite Software Implementation Architecture in Python." International Foundation for Telemetering, 2011. http://hdl.handle.net/10150/595748.
Full textAbstract:
ITC/USA 2011 Conference Proceedings / The Forty-Seventh Annual International Telemetering Conference and Technical Exhibition / October 24-27, 2011 / Bally's Las Vegas, Las Vegas, Nevada<br>Due to the highly-dynamic nature of airborne telemetry networks, we have developed the ANTP protocol suite consisting of AeroTP, AeroRP, and AeroNP. Having verified these protocols through simulation and analysis, the next step towards deployment of the ANTP suite is developing a cross-platform implementation of the protocols. Towards this end we present a preliminary architecture for the protocol stack to be implemented in the Python programming language. Initial development and testing is being conducted in the PlanetLab testbed environment, with future trials to be conducted using embedded processors on radio-controlled aircraft and ground vehicles.
49
CHRISTOPH, ROBERTO DE HOLANDA. "SOFTWARE ENGINEERING FOR OPEN SOURCE SOFTWARE." PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 2004. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=4854@1.
Full textAbstract:
Software livres têm despertado bastante atenção, não apenas
devido a popularidade obtida por alguns destes como o Linux
e o Apache, mas também pela forma singular como estes
sistemas são desenvolvidos e sua quantidade de
adeptos. No entanto, em alguns projetos de software livre,
a documentação existente dificulta a entrada de novos
participantes, já que devido a informalidade do
processo de desenvolvimento deste tipo de software, é comum
que a documentação do sistema não receba muita atenção.
Este trabalho colabora para um melhor entendimento do
desenvolvimento de software livres, relacionando-o com as
questões de evolução de software. Será apresentada uma
proposta utilizada no software livre C e L para documentar em
termos da aplicação o código do sistema, utilizando-se do
conceito de cenários. Será mostrado através de um protótipo
que um software seguindo esse padrão proposto pode produzir
uma documentação que torna mais fácil seu entendimento
para novos participantes do projeto.<br>This thesis presents an introduction on the use of the
thermal desorption technique that is based on the direct
heating of the soil, for the remediation of contaminated
areas. Heat propagation through soils can be mathematically
simulated using coupled heat-moisture transfer theories. In
order to make this simulation possible it is necessary to
identify the required parameters: hydraulic conductivity as
a function of volumetric water content, thermal
conductivity as a function of volumetric water content,
volumetric heat capacity, and soil-water characteristic
curve. One technical description of such parameters is
presented. Two different kinds of soils were used, one clay-
sand (CH) and one sandclay (SC). A study physico-chemical
was done talking into consideration the temperature effect
on the soils with X-Ray, electron microscopic investigation,
CTC, Atterberg Limits and at the particle size
distribution. The study was done on pre-heated soils with
temperatures ranging from 20 Celsius Degrees to 300 Celsius Degrees. Equipments and
methodologies have been especially developed for the
study of the thermo-hydraulics proprieties. The laboratory
tests program consisted of hydraulic conductivity,
retention curves and deformability, taking into account
the temperature effects. During the tests it was observed
that all parameters were temperature dependent. The thermal
parameters, thermal conductivity and heat capacity were
studied for both soils.
50
Reid, Stuart Christopher. "Software component testing : a standard and the effectiveness of techniques." Thesis, University of South Wales, 1997. https://pure.southwales.ac.uk/en/studentthesis/software-component-testing(14d22b70-809b-44e4-8240-12a5ead3fdd6).html.
Full textAbstract:
This portfolio comprises two projects linked by the theme of software component testing, which is also often referred to as module or unit testing. One project covers its standardisation, while the other considers the analysis and evaluation of the application of selected testing techniques to an existing avionics system. The evaluation is based on empirical data obtained from fault reports relating to the avionics system. The standardisation project is based on the development of the BC BSI Software Component Testing Standard and the BCS/BSI Glossary of terms used in software testing, which are both included in the portfolio. The papers included for this project consider both those issues concerned with the adopted development process and the resolution of technical matters concerning the definition of the testing techniques and their associated measures. The test effectiveness project documents a retrospective analysis of an operational avionics system to determine the relative effectiveness of several software component testing techniques. The methodology differs from that used in other test effectiveness experiments in that it considers every possible set of inputs that are required to satisfy a testing technique rather than arbitrarily chosen values from within this set. The three papers present the experimental methodology used, intermediate results from a failure analysis of the studied system, and the test effectiveness results for ten testing techniques, definitions for which were taken from the BCS BSI Software Component Testing Standard. The creation of the two standards has filled a gap in both the national and international software testing standards arenas. Their production required an in-depth knowledge of software component testing techniques, the identification and use of a development process, and the negotiation of the standardisation process at a national level. The knowledge gained during this process has been disseminated by the author in the papers included as part of this portfolio. The investigation of test effectiveness has introduced a new methodology for determining the test effectiveness of software component testing techniques by means of a retrospective analysis and so provided a new set of data that can be added to the body of empirical data on software component testing effectiveness.