Thesis (M.S. in Computer Science)--Naval Postgraduate School, December 1990. / Thesis Advisor: Berzins, Valdis. Second Reader: Bradbury, Leigh W. "December 1990." Description based on title screen as viewed on April 1, 2010. DTIC Identifier(s): Computer programs, software engineering, theses, ADA programming language, grammars, specifications, interfaces, installation. Author(s) subject terms: Automatic code generation, formal specifications, attribute grammars. Includes bibliographical references (p. 79-80). Also available in print.

published_or_final_version / Civil and Structural Engineering / Doctoral / Doctor of Philosophy

Thesis (M. Sc) --University of Limpopo, 1999 / refer to ducument

O uso de serviços em nuvem tem o potencial de oferecer vários benefícios para pequenas e médias empresas, como disponibilidade de recursos sob demanda, pagamento conforme o uso e escalabilidade. Apesar de existirem vários estudos e ferramentas para apoiar a migração de aplicações para serviços em nuvem, existe uma carência de diretrizes para apoiar a migração para a nuvem de forma sistemática. Como consequência, a migração é feita de forma ad hoc, o que pode aumentar significativamente os custos e comprometer o sucesso da migração. Essa pesquisa usa a KAOS, uma técnica da engenharia de requisitos orientada a metas, para criar um catálogo de metas que orienta equipes na migração de aplicações para cinco serviços de nuvem amplamente utilizados: banco de dados relacional, máquinas virtuais, armazenamento, deployment e filas. Metas, que representam objetivos de migração, foram extraídas seguindo um processo que utiliza os modelos de metas, de responsabilidade e de obstáculos que pertencem ao KAOS. Uma avaliação com profissionais experientes em migração indicou que o catálogo de metas pode ajudar empresas e profissionais com pouca experiência na migração de aplicações para serviços em nuvem além de contribuir na identificação de aspectos críticos e relevantes do processo de migração. Pequenas e médias empresas podem economizar um esforço significante usando o catálogo de metas como guia durante o processo de análise de transferência de aplicações para serviços em nuvem. / Cloud services might offer several benefits to small and medium companies, such as on-demand resource provisioning, pay-as-you-go, and scalability. Although there are several studies and tools to support the application migration to the cloud, the lack of guidelines to support a systematic cloud migration often leads to ad hoc migrations, which significantly increase costs and compromise the migration success. This research uses the KAOS, a goal-oriented requirement engineering technique, to devise a catalogue of goals that guide migration teams when migratingWeb applications to five widely used cloud services: relational databases, virtual machines, storage, deployment and queuing. Goals, which represent migration objectives, were identified following a systematic process based on the KAOS goal, responsibility and obstacle model. A rigorous evaluation with qualified professionals showed that the catalogue assists novice companies and professionals regarding cloud migration. In addition, the catalogue contributes to identifying critical and relevant aspects of the migration process. Small and medium companies might save a significant effort by using the catalogue as a guide when analysing the migration of applications to the cloud.

A Engenharia de Software é um processo participativo que envolve todos os interessados ativamente no projeto. Dentro de um domínio complexo, como a área do direito, os usuários e especialistas do domínio possuem um papel importante no processo de elicitação de requisitos, em especial na composição de requisitos de evolução de software para sistemas existentes, considerando que a especificação dos requisitos deve ser realizada de forma específica ao domínio. Contudo, as ambiguidades são um fenômeno cotidiano na área jurídica, devido à própria natureza deste domínio, e ainda o uso predominante da linguagem natural. Tais ambiguidades são refletidas nos requisitos de evolução dos sistemas de software usados no direito, por seus usuários e também por especialistas do domínio, ocasionando problemas de compreensão para os analistas de sistema. Os mapas conceituais apresentam-se como uma ferramenta cognitiva, sendo apta para o uso em processos de comunicação. O presente trabalho aplica os mapas conceituais no nível de comunicação entre usuários e especialistas do domínio jurídico e os analistas de sistema, visando a redução de ambiguidades nos requisitos de evolução de software na área jurídica. Um modelo foi formalizado e testado via experimentação, com a aplicação de um protótipo funcional junto a estudantes de graduação e profissionais do direito. Os resultados apontam uma redução das ambiguidades do tipo falta de clareza, apresentando que a metodologia proposta proporciona melhor interpretação dos requisitos de evolução de software do domínio jurídico para os analistas de sistema e facilita a produção de requisitos pelos usuários. / Software Engineering is a participatory process that involves all stakeholders actively in design. On a complex domain, such as juridical area, users and domain experts have an important role in requirements elicitation process, especially in composition of evolution requirements for existing systems, whereas that requirements specification must specific to domain. However, ambiguities are everyday event in juridical area, reason associated own nature of domain and predominant use of natural language. Such ambiguities are reflected in the evolution requirements of juridical software systems, users and domain experts, causing problems of understanding for systems analysts. The conceptual maps are introduce as cognitive tool, being appropriate for use in communication processes. This work applies conceptual maps in the level of communication between users and juridical experts to system analysts, with the goal to reduce ambiguities in evolution requirements of juridical systems. A model was designed and tested by experimentation, with application of a functional prototype to undergraduate students and law professionals. The results points the ambiguities reduction of unclarity category, showing that proposed methodology provides better interpretation of the software evolution requirements of the juridical domain systems for systems analysts and easy making user requirements.

O uso de serviços em nuvem tem o potencial de oferecer vários benefícios para pequenas e médias empresas, como disponibilidade de recursos sob demanda, pagamento conforme o uso e escalabilidade. Apesar de existirem vários estudos e ferramentas para apoiar a migração de aplicações para serviços em nuvem, existe uma carência de diretrizes para apoiar a migração para a nuvem de forma sistemática. Como consequência, a migração é feita de forma ad hoc, o que pode aumentar significativamente os custos e comprometer o sucesso da migração. Essa pesquisa usa a KAOS, uma técnica da engenharia de requisitos orientada a metas, para criar um catálogo de metas que orienta equipes na migração de aplicações para cinco serviços de nuvem amplamente utilizados: banco de dados relacional, máquinas virtuais, armazenamento, deployment e filas. Metas, que representam objetivos de migração, foram extraídas seguindo um processo que utiliza os modelos de metas, de responsabilidade e de obstáculos que pertencem ao KAOS. Uma avaliação com profissionais experientes em migração indicou que o catálogo de metas pode ajudar empresas e profissionais com pouca experiência na migração de aplicações para serviços em nuvem além de contribuir na identificação de aspectos críticos e relevantes do processo de migração. Pequenas e médias empresas podem economizar um esforço significante usando o catálogo de metas como guia durante o processo de análise de transferência de aplicações para serviços em nuvem. / Cloud services might offer several benefits to small and medium companies, such as on-demand resource provisioning, pay-as-you-go, and scalability. Although there are several studies and tools to support the application migration to the cloud, the lack of guidelines to support a systematic cloud migration often leads to ad hoc migrations, which significantly increase costs and compromise the migration success. This research uses the KAOS, a goal-oriented requirement engineering technique, to devise a catalogue of goals that guide migration teams when migratingWeb applications to five widely used cloud services: relational databases, virtual machines, storage, deployment and queuing. Goals, which represent migration objectives, were identified following a systematic process based on the KAOS goal, responsibility and obstacle model. A rigorous evaluation with qualified professionals showed that the catalogue assists novice companies and professionals regarding cloud migration. In addition, the catalogue contributes to identifying critical and relevant aspects of the migration process. Small and medium companies might save a significant effort by using the catalogue as a guide when analysing the migration of applications to the cloud.

A Engenharia de Software é um processo participativo que envolve todos os interessados ativamente no projeto. Dentro de um domínio complexo, como a área do direito, os usuários e especialistas do domínio possuem um papel importante no processo de elicitação de requisitos, em especial na composição de requisitos de evolução de software para sistemas existentes, considerando que a especificação dos requisitos deve ser realizada de forma específica ao domínio. Contudo, as ambiguidades são um fenômeno cotidiano na área jurídica, devido à própria natureza deste domínio, e ainda o uso predominante da linguagem natural. Tais ambiguidades são refletidas nos requisitos de evolução dos sistemas de software usados no direito, por seus usuários e também por especialistas do domínio, ocasionando problemas de compreensão para os analistas de sistema. Os mapas conceituais apresentam-se como uma ferramenta cognitiva, sendo apta para o uso em processos de comunicação. O presente trabalho aplica os mapas conceituais no nível de comunicação entre usuários e especialistas do domínio jurídico e os analistas de sistema, visando a redução de ambiguidades nos requisitos de evolução de software na área jurídica. Um modelo foi formalizado e testado via experimentação, com a aplicação de um protótipo funcional junto a estudantes de graduação e profissionais do direito. Os resultados apontam uma redução das ambiguidades do tipo falta de clareza, apresentando que a metodologia proposta proporciona melhor interpretação dos requisitos de evolução de software do domínio jurídico para os analistas de sistema e facilita a produção de requisitos pelos usuários. / Software Engineering is a participatory process that involves all stakeholders actively in design. On a complex domain, such as juridical area, users and domain experts have an important role in requirements elicitation process, especially in composition of evolution requirements for existing systems, whereas that requirements specification must specific to domain. However, ambiguities are everyday event in juridical area, reason associated own nature of domain and predominant use of natural language. Such ambiguities are reflected in the evolution requirements of juridical software systems, users and domain experts, causing problems of understanding for systems analysts. The conceptual maps are introduce as cognitive tool, being appropriate for use in communication processes. This work applies conceptual maps in the level of communication between users and juridical experts to system analysts, with the goal to reduce ambiguities in evolution requirements of juridical systems. A model was designed and tested by experimentation, with application of a functional prototype to undergraduate students and law professionals. The results points the ambiguities reduction of unclarity category, showing that proposed methodology provides better interpretation of the software evolution requirements of the juridical domain systems for systems analysts and easy making user requirements.

Since 1976 public agencies in Oregon have been allowed to select construction contractors using a "qualification" based competition instead of the more typical lowest responsible bid or Design-Bid-Build (DBB) basis. Since 1985, at least 136 such selections, commonly known as CM/GC for Construction Manager/General Contractor, have been made. The results of this policy have not previously been analyzed. This research compares these selection methods, seeking to answer the following questions: Does the CMl/GC method result in projects that differ from DBB projects regarding cost and schedule control? Are CMl/GC projects more efficient than DBB projects, where efficiency is defined as the data envelopment analysis (DEA) technical efficiency score? Does efficiency depend on an interaction between project type and the selection method? How do project stakeholders evaluate the benefits and drawbacks of the two selection methods? How do projects compare when the only apparent difference between them is the selection method? To answer these questions, we identified 407 Oregon public building construction projects and obtained a variety of data, including cost and schedule results, for 215 jobs (111 CMl/GC and 104 DBB). We analyzed the data several ways, including statistical analysis, DEA, and various qualitative methods. Results: There was no statistically significant difference between the CMl/GC and DBB projects regarding cost and schedule control. The DEA technical efficiency scores showed that CMl/GC projects outperformed the DBB projects. There was no interaction effect between project type and selection method. Project stakeholders stated that reduction of risk is the principal benefit of using CMl/GC; however, architects and subcontractors are less enthusiastic than owners and general contractors. Data on two nearly identical projects indicated that the DBB project was less costly than the comparable CMlGC project and also incurred less cost growth; both projects were completed on time. To summarize, this research fails to find support for the current Oregon law that exempts certain projects from competitive bidding based on the presumption that CMl/GC will lead to substantial cost savings but does indicate that the CMl/GC projects may be better able to accommodate accelerated project schedules.

Esta pesquisa apresenta uma proposta de bula para software, a qual possibilita capturar informações relacionadas aos requisitos funcionais e não funcionais de um determinado software, seguindo uma estrutura pré-definida. O referencial bibliográfico que embasa o trabalho é composto das teorias inerentes à transparência, transparência de software e mapas mentais. Discute a transparência dada às informações e processos das iniciativas públicas e privadas. Fornece subsídios para a concepção básica dos mapas mentais, proposto por Tony Buzan, com o intuito de justificar sua aderência em meio à proposta do trabalho. A proposta une a ideia de bulas de medicamentos, normatizada pela Agência Nacional de Vigilância Sanitária – ANVISA, aos conceitos de mapas mentais. Complementado por uma pesquisa experimental, este trabalho verificou a eficiência da bula de software na transmissão de conhecimentos por meio de um experimento que envolveu 326 participantes. Traz como resultado um modelo de bula para software que poderá ser utilizado pela indústria com o objetivo de elevar uma das características de transparência: a entendibilidade. / This research proposes a package insert for software that makes it possible to gather information related to the functional and non-functional requirements of a particular software, following a pre-defined structure. The bibliographic references that supports the work consists of theories relating to transparency, software transparency and mind maps. Discusses the transparency given to the information and processes of public and private initiatives. Provides subsidies for basic conception of mental maps, proposed by Tony Buzan, in order to justify its use in the work. The proposal combines the idea of pharmaceutical inserts, regulated by the National Health Surveillance Agency – ANVISA, to the concepts of mind maps. Complemented by experimental research, this study found the software package insert for efficiency in the transmission of knowledge through an experiment involving 326 participants. It brings up as result a model of package insert for software that may be used by the industry in order to increase one of the transparency’s characteristics: the understandability.