Thesis (P.h. D. in Software Engineering)--Naval Postgraduate School, March 2005. / Thesis Advisor(s): James Bret Michael. Includes bibliographical references (p. 231-237). Also available online.

This thesis presents Lighthouse, an experimental branch of the Haskell-based House operating system which integrates Li et al.'s Lightweight Concurrency framework. First and foremost, it improves House's viability as a "real operating system" by providing a new extensible scheduler framework which makes it easy to experiment with different scheduling policies. In particular, Lighthouse extends Concurrent Haskell with thread priority and implements a priority-based scheduler which significantly improves system responsiveness when compared with GHC's normal round-robin scheduler. Even while doing this, it improves on House's claim of being "written in Haskell" by moving a whole subsystem out of the complex C-based runtime system and into Haskell itself. In addition, Lighthouse also includes an alternate, simpler implementation of Lightweight Concurrency which takes advantage of House's unique setting (running directly on uniprocessor x86 hardware). This experience sheds light on areas that need further attention before the system can truly be viable---primarily interactions between blackholing and interrupt handling. In particular, this thesis uncovers a potential case of self-deadlock and suggests potential solutions. Finally, this work offers further insight into the viability of using high-level languages such as Haskell for systems programming. Although laziness and blackholing present unique problems, many parts of the system are still much easier to express in Haskell than traditional languages such as C.

Thesis (MTech. degree in Software Development.)--Tshwane University of Technology, 2011 / With regards to extending component-based and service-oriented system development approaches and solving current problems related to enterprise systems, this study will explore the requirements and challenges of current enterprise systems, and define an SCSD (Service-oriented Component-based System Development) framework which would provide all-round service-oriented component-based support for a complex application environment. The purpose of this study is to create a novel SCSD framework which combines the features of both component-based and service-oriented paradigms, as well as avoid the weaknesses of the existing service and component combination approaches. The SCSD framework combines the re-usability of the component-based paradigm and the flexibility of the service-oriented paradigm. Reusable SCSD-based components and services can reduce costs, shorten development time, and improve service quality when implemented effectively. The SCSD framework offers an alternative to older system development approaches, while it also provides a new solution in order to establish relationships between services and components for current enterprise systems.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Este trabalho trata de uma alternativa na execução do projeto de um exaustor utilizado em aviário, totalmente automatizada. Para isto, utiliza-se a integração de um software de CAD 3D (SolidWorks®), através de sua API, com outro software responsável por permitir a codificação de macros (Visual Basic for Applications®), as quais sendo executadas geram todo o projeto do equipamento. São utilizadas interfaces de interação com o usuário para que este determine as principais medidas geométricas do equipamento e estes dados sejam enviados à macro, que converte-os de modo que fiquem compatíveis com o necessário para a execução e inicie a modelagem do exaustor. Ao final da execução do código, o usuário terá o projeto completo de um exaustor de acordo com as medidas definidas. O projeto do equipamento ficará salvo no diretório informado pelo usuário, em formato de arquivo padrão do software de CAD 3D, assim como os detalhamentos em formato PDF. Desta forma os arquivos podem ser abertos até mesmo em máquinas que não possuem o software de CAD 3D. Considerando a importância do trabalho para projetistas e estudantes leigos na programação, publicou-se um livro onde pode-se verificar todos os aspectos apresentados neste trabalho e, além de conseguir desenvolver este mesmo projeto, fazer qualquer outro tipo de automação dentro do software. O endereço eletrônico para acesso deste material é: “https://goo.gl/9lKCuN”. / This paper deals with an alternative in the execution of an exhaust-fan project used in aviary, fully automatized. In order to achieve that intention, the integration of a 3D CAD software (SolidWorks®) through its API and another software responsible for allowing the coding of macros is used (Visual Basic for Applications®), and when in performance, it creates the entire purpose of the equipment. User interaction interfaces are used to determine the equipment’s main geometric measurements and this data is sent to the macro, converting them so that they are compatible with what is required for the execution and the start of the exhaust-fan modeling. At the end of the coding execution, the user will have the complete design of an exhaust-fan according to the defined measures. The design of the equipment will be saved in the directory entered by the user, in 3D CAD software format, as well as in PDF file format for detailing. This way, files can be opened even on computers/machines that do not have a 3D CAD software. Considering the importance of the work for designers and lay students in programming, a book was published so that one can verify all the aspects presented in this paper and, besides being able to develop this same project, also making any other kind of automation within the software. The electronic address for accessing this material is: "https://goo.gl/9lKCuN".

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Este trabalho trata de uma alternativa na execução do projeto de um exaustor utilizado em aviário, totalmente automatizada. Para isto, utiliza-se a integração de um software de CAD 3D (SolidWorks®), através de sua API, com outro software responsável por permitir a codificação de macros (Visual Basic for Applications®), as quais sendo executadas geram todo o projeto do equipamento. São utilizadas interfaces de interação com o usuário para que este determine as principais medidas geométricas do equipamento e estes dados sejam enviados à macro, que converte-os de modo que fiquem compatíveis com o necessário para a execução e inicie a modelagem do exaustor. Ao final da execução do código, o usuário terá o projeto completo de um exaustor de acordo com as medidas definidas. O projeto do equipamento ficará salvo no diretório informado pelo usuário, em formato de arquivo padrão do software de CAD 3D, assim como os detalhamentos em formato PDF. Desta forma os arquivos podem ser abertos até mesmo em máquinas que não possuem o software de CAD 3D. Considerando a importância do trabalho para projetistas e estudantes leigos na programação, publicou-se um livro onde pode-se verificar todos os aspectos apresentados neste trabalho e, além de conseguir desenvolver este mesmo projeto, fazer qualquer outro tipo de automação dentro do software. O endereço eletrônico para acesso deste material é: “https://goo.gl/9lKCuN”. / This paper deals with an alternative in the execution of an exhaust-fan project used in aviary, fully automatized. In order to achieve that intention, the integration of a 3D CAD software (SolidWorks®) through its API and another software responsible for allowing the coding of macros is used (Visual Basic for Applications®), and when in performance, it creates the entire purpose of the equipment. User interaction interfaces are used to determine the equipment’s main geometric measurements and this data is sent to the macro, converting them so that they are compatible with what is required for the execution and the start of the exhaust-fan modeling. At the end of the coding execution, the user will have the complete design of an exhaust-fan according to the defined measures. The design of the equipment will be saved in the directory entered by the user, in 3D CAD software format, as well as in PDF file format for detailing. This way, files can be opened even on computers/machines that do not have a 3D CAD software. Considering the importance of the work for designers and lay students in programming, a book was published so that one can verify all the aspects presented in this paper and, besides being able to develop this same project, also making any other kind of automation within the software. The electronic address for accessing this material is: "https://goo.gl/9lKCuN".

For software to take advantage of modern multicore processors, it must be safely concurrent and it must scale. Many techniques that allow safe concurrency do so at the expense of scalability. Coarse grain locking allows multiple threads to access common data safely, but not at the same time. Non-Blocking Synchronization and Transactional Memory techniques optimistically allow concurrency, but only for disjoint accesses and only at a high performance cost. Relativistic programming is a technique that allows low overhead readers and joint access parallelism between readers and writers. Most of the work on relativistic programming has assumed a single writer at a time (or, in partitionable data structures, a single writer per partition), and single writer solutions cannot scale on the write side. This dissertation extends prior work on relativistic programming in the following ways: 1) It analyses the ordering requirements of lock-based and relativistic programs in order to clarify the differences in their correctness and performance characteristics, and to define precisely the behavior required of the relativistic programming primitives. 2) It shows how relativistic programming can be used to construct efficient, scalable algorithms for complex data structures whose update operations involve multiple writes to multiple nodes. 3) It shows how disjoint access parallelism can be supported for relativistic writers, using Software Transactional Memory, while still allowing low-overhead, linearly-scalable, relativistic reads.

Made available in DSpace on 2015-12-03T18:32:52Z (GMT). No. of bitstreams: 1 Hilda_Marina_da_Rocha_Rinaldi.pdf: 285748 bytes, checksum: 3b5e3ebb023bf361d5eb9a130462d343 (MD5) Previous issue date: 2003-10-10 / The purpose of this research was to obtain an adequate hiring process for the systems development outsourcing, to obtain a fair precification for the job, through a more precise quantification of the necessary efforts involved, aiming to avoid constant pricing reviews coming from changes in the efforts forecasted at thebeginning. The research's key point was the building of an instrument allowing the perfect identification of most expressive issues to be outlined in a request for system development, then making contracts handling a routine in accordance with international standards. After reviewing many of the existing software metrics, the research led to the adequacy of the FPA (Function Point Analysis) in the contractors / users relationship handling, considering that it is internationally accepted for being an ISO regulation and it is in accordance with the requirements of another ISO regulation, regarding to Functional Size Measurement. One of the research's achievements was that the FPA use allows a better evaluation of the bids offered by suppliers, favoring an hiring with fair price and avoiding contract reviews that very often led to undesirable price reviews. Concerning to the methodology, 3 pre-tests were prepared using a small and selected sample constituted by professionals, in both developing systems and outsourcing areas. These professionals were skilled in metrics. Based on the pre-test results, a questionnaire was prepared, containing 16 questions to be answered by a group of professionals, with skills very alike of those in the pre-test answerers. Answers were given through marking one out of five alternatives according to Likert Scale. The resulting data were evaluated using the SPSS software, base 10.0 and analyzing 16 answers frequency. Both Factorial and Discriminant Analysis were used. To make the research more relevant, other statistical data were analyzed to verify the answerer's conditions, if contractor or user, and the impact of the time working in the system area and the job position in the answers. As result of the research, relevant issues to be considered in an outsourcing contract could be observed, being the main one the existence of a metric to enhance transparency and objectivity involving contractors/users relationship and leading to the most adequate price. / O prop??sito desta pesquisa foi obter um processo adequado de terceiriza????o de contrata????o de desenvolvimento de sistemas, para resultar numa precifica????o mais justa do trabalho por meio de uma quantifica????o do esfor??o necess??rio envolvido, visando evitar revis??es constantes dos pre??os advindos de mudan??as no esfor??o previsto no in??cio do trabalho. O ponto focal da pesquisa foi a constru????o de um instrumento que possibilitasse identificar perfeitamente os mais significativos assuntos numa requisi????o de desenvolvimento de sistemas, tornando a gest??o de contratos uma rotina amparada em padr??es internacionais. Ap??s a an??lise de v??rias t??cnicas de medi????o de software existentes, a pesquisa concluiu que a An??lise de Pontos de Fun????o demonstrou ser a mais indicada para a gest??o das rela????es entre CONTRATANTES e CONTRATADAS, por se tratar de uma t??cnica aceita internacionalmente, ser uma norma ISO e estar em conformidade com outra norma ISO que considera o projeto para Medi????o Funcional de Software. Uma das resultantes da pesquisa foi que o uso da An??lise de Pontos de Fun????o possibilita uma melhor avalia????o das propostas apresentadas pelos fornecedores, favorecendo uma contrata????o por um pre??o mais equilibrado evitando revis??es de contratos que freq??entemente levam ?? indesej??veis revis??es de pre??os. De acordo com a metodologia foram realizados 3 pr??-testes com uma amostra selecionada constitu??da de profissionais atuantes em desenvolvimento de sistemas e em terceiriza????o e tamb??m com conhecimento de m??tricas de software. Baseado nos resultados do pr??-teste foi elaborado um instrumento com 16 assertivas para serem respondidas por um grupo de profissionais com habilidades bastante parecidas com as dos respondentes do pr??-teste. As respostas deveriam ser assinaladas por meio da escolha de uma entre cinco alternativas de acordo com a escala de Likert. Os dados resultantes foram analisados com apoio do software SPSS base 10.0 e verificadas as freq????ncias das 16 respostas. Tamb??m foram utilizados os m??todos de an??lise fatorial e de an??lise discriminante. Para tornar a pesquisa mais relevante, outros dados estat??sticos foram analisados para que se verificasse se as respostas aderiam ??s condi????es dos respondentes como CONTRATADA ou como CONTRATANTE e o impacto do tempo de experi??ncia na ??rea e o tipo de fun????o exercida. Como resultado da pesquisa foi observado que considera????es relevantes devem ser levadas em conta em um contrato de desenvolvimento de sistemas, sendo a principal delas a exist??ncia de uma m??trica, para que se tenha mais transpar??ncia e objetividade entre CONTRATANTE e CONTRATADA e que se pratique o pre??o mais adequado.