1 |
Ausdrucksfähigkeit und effiziente Implementierbarkeit formaler Beschreibungstechniken am Beispiel von EstelleThees, Joachim. January 2005 (has links) (PDF)
Kaiserslautern, Techn. Universiẗat, Diss., 2005.
|
2 |
Theodore Dreiser's "Gloom" and Estelle Bloom Kubitz's "I and one of the others" : an edition /Neubauer, Gregory M. January 2004 (has links) (PDF)
Thesis (M.A.)--University of North Carolina at Wilmington, 2004.
|
3 |
Prinsessa av modern media : en ideationell analys och kritisk diskursanalys rörande rapporteringen av prinsessan Estelles födelse och den svenska monarkin, förd på svenska nyhetssajterMalmgren, Therese January 2012 (has links)
When we define something as real it will also have real consequences. Media society is developing rapidly; the media’s more central role in our society means that their interpretations and portrayals of the world will have a greater impact on how we look at ourselves and our society. When Swedish Princess Estelle was born in February 2012 she was the first Swedish heir to be been born in what is known as “the computer age”. This paper aims to examine the reporting of the birth of Princess Estelle and how it was conducted by Swedish news sites, from an ideological perspective. The study is based on qualitative method with ideational analysis and Norman Fairclough’s critical discourse analysis. In conclusion, the news sites portray a positive image of Princess Estelle’s birth and the Swedish monarchy and strengthen the status of the Crown Princess family. The birth is described as a joyful event that unites the royal family with the Swedish people and strengthens the nation. The Crown Princess family is portrayed in three different ways: they have a strong family unit, they are popular and authentic and is attributed to stardom. The news sites avoid political debate: Princess Estelle is attributed to a defenseless role which means she cannot be subject for criticism. Instead of discussing the meaning of her birth for the political community, the sites focus on the royalties as private individuals which gives the reader the sense of togetherness that helps construct the feeling of solidarity within the nation.
|
4 |
Schooling for blacks in Henrico County, Virginia 1870-1933 : with an emphasis on the contributions of Miss Virginia Estelle Randolph /Brown, Linda Bigger, January 1990 (has links)
Thesis (Ed. D.)--Virginia Polytechnic Institute and State University, 1990. / Vita. Abstract. Includes bibliographical references (leaves 200-215). Also available via the Internet.
|
5 |
The Ruiz v. Estelle class action suit a retrospective policy analysis of efforts to improve health care in Texas prisons /Childers, Michelle. Davis, King E. Schwab, A. James, January 2005 (has links) (PDF)
Thesis (Ph. D.)--University of Texas at Austin, 2005. / Supervisors: King Davis and James Schwab. Vita. Includes bibliographical references.
|
6 |
Validação de especificações de sistemas reativos: Definição e análise de critérios de teste. / Validation of the reactive systems specifications: definition and analysis of the testing criteria.Simone do Rocio Senger de Souza 14 December 2000 (has links)
Este trabalho investiga a aplicação de critérios de teste para o teste de especificações do aspecto comportamental de Sistemas Reativos, descritos em Estelle e em Statecharts. A utilização de Sistemas Reativos em várias atividades humanas, requer uma maior qualidade tanto do produto como do processo de desenvolvimento, pois falhas nesses sistemas podem ocasionar riscos para vidas humanas e perdas econômicas. Os critérios de teste propostos nesta tese visam a fornecer uma medida de cobertura dos testes, permitindo que a qualidade da atividade de teste possa ser mensurada e avaliada. Esta tese apresenta contribuições para as três atividades fundamentais no contexto de teste de software, que são: definição de critérios de teste, desenvolvimento de estudos teóricos/empíricos e desenvolvimento de ferramentas. Com relação à definição de critérios de teste, é proposta a aplicação do Teste de Mutação para Estelle e a aplicação de critérios de Fluxo de Controle para Estelle e Statecharts. Para o Teste de Mutação, são identificados os tipos de erros em especificações Estelle, definidos os operadores de mutação, estratégias de teste incrementais e critérios de mutação alternativa que visam a diminuir o custo de aplicação desse critério. Para os critérios de Fluxo de Controle, foram definidas duas famílias de critérios: FCCS - Família de Critérios de Cobertura para Statecharts e FCCE - Família de Critérios de Cobertura para Estelle. Estudos teóricos são realizados visando a analisar a complexidade do Teste de Mutação para Estelle e a relação de inclusão dos critérios FCCS e FCCE. Estudos empíricos são realizados visando a comparar os critérios de teste definidos e a analisar a sua aplicação durante a simulação de especificações Estelle e Statecharts. Com relação ao desenvolvimento de ferramentas, a família de ferramentas Proteum, que apóia a aplicação do teste de Mutação, e os ambientes para simulação de especificações Estelle (EDT) e Statecharts (StaSim) fornecem uma base essencial para o desenvolvimento das ferramentas. São apresentadas algumas ponderações que devem ser consideradas para a definição de ferramentas de apoio à aplicação dos critérios propostos. / Reactive Systems are applied to several human activities and as failures in these systems may cause human or economical losses, it is required the use of high-quality software development processes that would lead to the production of high-quality products. This thesis investigates criteria for testing of Reactive Systems\' behavior specifications, specified either in Estelle or in Statecharts. These criteria systematize the testing activity and provide mechanisms for the software tests quality assessment. This thesis presents contributions to the three fundamental activities in the context of software testing, which are: definition of testing criteria, theoretical studies and tool development. In relation to the definition of testing criteria, it is proposed the use of Mutation Testing for Estelle specifications and the use of Control Flow Testing for Estelle and Statecharts specifications. For Mutation Testing, the errors types in Estelle specifications are identified; mutation operators are defined and incremental testing strategies are established. In this context, it is explored the alternative mutation criteria, which aim at reducing the cost of application of the Mutation Testing. For Control Flow Testing, two families of criteria are defined: SCCF - Statechart Coverage Criteria Family and ECCF - Estelle Coverage Criteria Family. Theoretical studies are accomplished to analyze the complexity of the Mutation Testing to Estelle and the inclusion relation for the FCCS and FCCE criteria. Case studies are conducted to evaluate the testing criteria defined in this thesis. The application of these criteria during the simulation of Estelle and Statecharts specifications is analyzed. The Proteum family tools, that support the application of Mutation Testing, and the simulation environments to Estelle (EDT) and Statecharts (StatSim) supply an essential base for tools development. Considerations about the definition of supporting tools to the application of the proposed criteria are realized.
|
7 |
Validação de especificações de sistemas reativos: Definição e análise de critérios de teste. / Validation of the reactive systems specifications: definition and analysis of the testing criteria.Souza, Simone do Rocio Senger de 14 December 2000 (has links)
Este trabalho investiga a aplicação de critérios de teste para o teste de especificações do aspecto comportamental de Sistemas Reativos, descritos em Estelle e em Statecharts. A utilização de Sistemas Reativos em várias atividades humanas, requer uma maior qualidade tanto do produto como do processo de desenvolvimento, pois falhas nesses sistemas podem ocasionar riscos para vidas humanas e perdas econômicas. Os critérios de teste propostos nesta tese visam a fornecer uma medida de cobertura dos testes, permitindo que a qualidade da atividade de teste possa ser mensurada e avaliada. Esta tese apresenta contribuições para as três atividades fundamentais no contexto de teste de software, que são: definição de critérios de teste, desenvolvimento de estudos teóricos/empíricos e desenvolvimento de ferramentas. Com relação à definição de critérios de teste, é proposta a aplicação do Teste de Mutação para Estelle e a aplicação de critérios de Fluxo de Controle para Estelle e Statecharts. Para o Teste de Mutação, são identificados os tipos de erros em especificações Estelle, definidos os operadores de mutação, estratégias de teste incrementais e critérios de mutação alternativa que visam a diminuir o custo de aplicação desse critério. Para os critérios de Fluxo de Controle, foram definidas duas famílias de critérios: FCCS - Família de Critérios de Cobertura para Statecharts e FCCE - Família de Critérios de Cobertura para Estelle. Estudos teóricos são realizados visando a analisar a complexidade do Teste de Mutação para Estelle e a relação de inclusão dos critérios FCCS e FCCE. Estudos empíricos são realizados visando a comparar os critérios de teste definidos e a analisar a sua aplicação durante a simulação de especificações Estelle e Statecharts. Com relação ao desenvolvimento de ferramentas, a família de ferramentas Proteum, que apóia a aplicação do teste de Mutação, e os ambientes para simulação de especificações Estelle (EDT) e Statecharts (StaSim) fornecem uma base essencial para o desenvolvimento das ferramentas. São apresentadas algumas ponderações que devem ser consideradas para a definição de ferramentas de apoio à aplicação dos critérios propostos. / Reactive Systems are applied to several human activities and as failures in these systems may cause human or economical losses, it is required the use of high-quality software development processes that would lead to the production of high-quality products. This thesis investigates criteria for testing of Reactive Systems\' behavior specifications, specified either in Estelle or in Statecharts. These criteria systematize the testing activity and provide mechanisms for the software tests quality assessment. This thesis presents contributions to the three fundamental activities in the context of software testing, which are: definition of testing criteria, theoretical studies and tool development. In relation to the definition of testing criteria, it is proposed the use of Mutation Testing for Estelle specifications and the use of Control Flow Testing for Estelle and Statecharts specifications. For Mutation Testing, the errors types in Estelle specifications are identified; mutation operators are defined and incremental testing strategies are established. In this context, it is explored the alternative mutation criteria, which aim at reducing the cost of application of the Mutation Testing. For Control Flow Testing, two families of criteria are defined: SCCF - Statechart Coverage Criteria Family and ECCF - Estelle Coverage Criteria Family. Theoretical studies are accomplished to analyze the complexity of the Mutation Testing to Estelle and the inclusion relation for the FCCS and FCCE criteria. Case studies are conducted to evaluate the testing criteria defined in this thesis. The application of these criteria during the simulation of Estelle and Statecharts specifications is analyzed. The Proteum family tools, that support the application of Mutation Testing, and the simulation environments to Estelle (EDT) and Statecharts (StatSim) supply an essential base for tools development. Considerations about the definition of supporting tools to the application of the proposed criteria are realized.
|
8 |
Experiencing artists' books : haptics and intimate discovery in the work of Estelle Liebenberg-Barkhuizen and Cheryl Penn.Haskins, Phillipa. January 2013 (has links)
This dissertation centres on the classification of artists’ books based on the qualities they possess as works of art as well as the intimate engagement required by the reader in order to experience such works in their entirety.
Among the qualities investigated are intimacy through the use of novelty devices, haptics, text, narrative and concrete systems, space, and shape. These qualities are exemplified through works by Estelle Liebenberg-Barkhuizen and Cheryl Penn. / Thesis (M.A.)-University of KwaZulu-Natal, Pietermaritzburg, 2013.
|
9 |
Especifica??o de uma rede MPLS fim-a-fim com diferencia??o de servi?osSilva Neto, Edson Moreira 02 August 2006 (has links)
Made available in DSpace on 2014-12-17T14:55:03Z (GMT). No. of bitstreams: 1
EdsonMSN.pdf: 1297152 bytes, checksum: ddeef5119a3b863368e35112b7fbbd68 (MD5)
Previous issue date: 2006-08-02 / New multimedia applications that use the Internet as a communication media are pressing for the development of new technologies, such as: MPLS (Multiprotocol Label Switching) and DiffServ. These technologies introduce new and powerful features to the Internet backbone, as the provision of QoS (Quality of Service) capabilities. However, to obtain a true end-to-end QoS, it is not enough to implement such technologies in the network core, it becomes indispensable to extend such improvements to the access networks, what is the aim of the several works presently under development. To contribute to this process, this Thesis presents the RSVP-SVC (Resource Reservation Protocol Switched Virtual Connection) that consists in an extension of RSVP-TE. The RSVP-SVC is presented herein as a mean to support a true end-to-end QoS, through the extension of MPLS scope. Thus, it is specified a Switched Virtual Connection (SVC) service to be used in the context of a MPLS User-to-Network Interface (MPLS UNI), that is able to efficiently establish and activate Label Switched Paths (LSP), starting from the access routers that satisfy the QoS requirements demanded by the applications. The RSVP-SVC was specified in Estelle, a Formal Description Technique (FDT) standardized by ISO. The edition, compilation, verification and simulation of RSVP-SVC were made by the EDT (Estelle Development Toolset) software. The benefits and most important issues to be considered when using the proposed protocol are also included / O protocolo proposto nesta Tese, denominado Resource Reservation Protocol Switched Virtual Connection (RSVP-SVC), que consiste numa extens?o do RSVP-TE, vai de encontro ao surgimento de novas aplica??es multim?dia, que usam a Internet como meio de interconex?o. Tais aplica??es pressionam pelo desenvolvimento de novas tecnologias, tais como: MPLS, DiffServ e RSVP-TE, que introduzem novas e eficientes caracter?sticas ao backbone Internet, proporcionando uma significativa diferen?a no que tange ? provis?o de QoS (Quality of Service). O presente trabalho leva em conta o fato de que para se conseguir uma QoS fim-a-fim verdadeira, n?o basta implementar tais tecnologias no n?cleo da rede, ? imprescind?vel, estender tais melhorias ?s redes de acesso e qui?? ?s redes locais. Nesse sentido, muitos trabalhos est?o atualmente em desenvolvimento. ? no intuito de contribuir com este processo que este trabalho apresenta a defini??o de uma UNI MPLS SVC atrav?s do RSVP-SVC. Essa extens?o d? ao RSVP-TE a capacidade de estabelecer t?neis LSP (Label Switched Path) a partir de conex?es discadas, ampliando portanto o escopo de utiliza??o do MPLS, levando-o at? ?s redes locais atrav?s das redes de acesso, e provendo tamb?m suporte a uma QoS fim-a-fim verdadeira. O RSVP-SVC foi especificado em Estelle, que ? uma linguagem de especifica??o formal padronizada pela ISO. A edi??o, compila??o, verifica??o e simula??o do RSVP-SVC foi feita atrav?s do programa EDT (Estelle Development Toolset). Ademais, tanto os benef?cios quanto ?s quest?es mais importantes a serem consideradas quando do uso deste protocolo s?o apresentados
|
10 |
Public Law and Private Decisions: Birth Control in Connecticut from 1923 to 1965Keenan, Michelle Joy January 2007 (has links)
Thesis advisor: Cynthia L. Lyerly / The forty year fight to reform the 1879 Comstock statute that prohibited the use of birth control in Connecticut began in 1923. When the 1879 measure was originally enacted, it was in response to the bustling market for pornography and reflected that part of the Victorian moral reform movement which classified all things that referenced sex as obscene. Throughout the lengthy struggle, several court cases were pursued and numerous bills were introduced in the state legislature to various degrees of support. Every decade had a different set of arguments for and against the legalization of birth control, spanning from economic and social to medical and moral. The law was ruled unconstitutional by the United States Supreme Court in 1965 based on the burgeoning right to privacy. / Thesis (BA) — Boston College, 2007. / Submitted to: Boston College. College of Arts and Sciences. / Discipline: History. / Discipline: College Honors Program.
|
Page generated in 0.0639 seconds