1,481 research outputs found
Lima Barreto: A experiência real da loucura
No full textAraújo, Raimundo Hugo de Castro. Lima Barreto: A experiência real da loucura. 46 f. Monografia (Graduação) - Curso de Graduação presencial, bacharelado em Humanidades. Instituto de Humanidades (IH), Universidade da Integração Internacional da Lusofonia Afro-Brasileira. Redenção-CE, 2015Este trabalho considera a literatura de Lima Barreto (1881-1922), no que se refere a suas experiências com a loucura, como extremamente apta à elaboração de uma análise cujo teor central é o seu caráter de revisitação histórica do fenômeno da loucura no Brasil do início do século XX. Deste modo, pela análise de trechos de seus arquivos íntimos — publicados como Diário Íntimo e Diário de Hospício — e também por algumas passagens de suas crônicas, pretende-se mostrar que a literatura “militante” de Lima Barreto foi utilizada pelo
escritor para fazer uma crítica à sociedade de sua época. Crítica que nasce em um momento difícil na vida do escritor, pois, apesar de desde os dez anos de idade conviver com o fenômeno da loucura, é já no final de sua produção literária que se dedica ao tema no romance inacabado O Cemitério dos Vivos. A loucura de Lima Barreto acompanha como uma sombra grande parte da vida do escritor e deixa seus leitores atentos a essa enfermidade que não consegue apagar a lucidez do autor de Policarpo Quaresma
Towards A Semiformal Development Methodology for Embedded Systems
No full textIn recent days, the amount of functions has increased significantly in embedded products so that systems development methodologies play an important role to ensure the product’s quality, cost, and time. Furthermore, this complexity coupled with constantly evolving specifications, has led to propose a semiformal development methodology to support the building of embedded real-time systems. A platform-based design approach has been used to balance costs and time-to-market in relation to performance and functionality constraints. We performed three expressive case studies and we concluded that the proposed methodology significantly reduces design time and improves software modularity and reliability
Raimundo César Barreto Jr. Evangélicos e pobreza no Brasil. Encontros e respostas éticas. São Paulo: Recriar, 2019. ISBN 978-85-53-107-44-5 (314 páginas)
No full textResenha do livro de Raimundo César Barreto Jr. Evangélicos e pobreza no Brasil. Encontros e respostas éticas. São Paulo: Recriar, 2019. ISBN 978-85-53-107-44-5 (314 páginas
El Tlacuache Núm. 249 (2007). 249 Año 7 (2007) febrero. El Tlacuache
No full textEl Zapata novelado de Palou por Carlos Barreto Mark. - El Zapata de Palou por Carlos Agustín Barreto. - El Palacio de Hernán Cortés en Cuernavaca y su relación con el Alcázar del Almirante Diego Colón en Santo Domingo: arqueología histórica y restauración. III por Juan Antonio Siller Camacho. - El Yauhtli por Margarita Avilés y Macrina Fuentes
Desilusão republicana: percursos e rupturas no pensamento de Sílvio Romero, Euclides da Cunha e Lima Barreto
No full textTese (doutorado) - Universidade Federal de Santa Catarina, Centro de Comunicação e Expressão. Programa de Pós-Graduação em Literatura.Este trabalho trata das conseqüências da desilusão política na obra de três intelectuais: Sílvio Romero, Euclides da Cunha e Lima Barreto. A utopia republicana, imaginada por gerações, frustrou ideólogos e militantes com conseqüências nas atividades intelectuais e na composição da esfera política. A tese procura demonstrar a mudança de rumo em suas produções a partir da situação de excluídos do projeto político-cultural republicano que viria a ser dominante. Por essa razão, suas obras, marcadas pela desilusão política, ganharam em maturidade e penetração ao tentar desvendar a complexidade cultural, social e antropológica da realidade nacional que impedia a concretização efetiva do novo sistema de governo. O resultado foi o surgimento de visões críticas e pessimistas sobre o entendimento do que, de fato, era a nação e que se tornaram matriciais nos estudos brasileiros modernos
ezRealtime: A Domain-Specific Modeling Tool for Embedded Hard Real-Time Software Synthesis
No full textIn this paper, we introduce the ezRealtime project, which relies on the Time Petri Net (TPN) formalism and defines a Domain-Specific Modeling (DSM) tool to provide an easy- to-use environment for specifying Embedded Hard Real-Time (EHRT) systems and for synthesizing timely and predictable scheduled C code. Therefore, this paper presents a generative programming method in order to boost code quality and improve substantially developer productivity by making use of automated software synthesis. The ezRealtime tool reads and automatically translates the system's specification to a time Petri net model through composition of building blocks with the purpose of providing a complete model of all tasks in the system. Hence, this model is used to find a feasible schedule by applying a depth-first search algorithm. Finally, the scheduled code is generated by traversing the feasible schedule, and replacing transition's instances by the respective code segments. We also present the application of the proposed method in an expressive case study
Verifying Embedded C Software with Timing Constraints using an Untimed Bounded Model Checker
No full textEmbedded systems are everywhere, from home appliances to critical systems such as medical devices. They usually have associated timing constraints that need to be verified. Here, we use an untimed bounded model checker to verify timing properties of embedded C programs. We describe an approach to specify discrete-time timing constraints using code annotations. The annotated code is then automatically translated to code that manipulates auxiliary timer variables and is thus suitable as input to conventional, untimed software model checkers such as ESBMC. Moreover, we can check timing constraints in the same way and at the same time as untimed system requirements, and even allow for interaction between them. We applied the proposed method in a case study, and verified timing constraints of a pulse oximeter, a noninvasive medical device that measures the oxygen saturation of arterial blood
Verifying Embedded C Software with Timing Constraints using an Untimed Model Checker
No full textEmbedded systems are everywhere, from home appliances to critical systems such as medical devices. They usually have associated timing constraints that need to be verified for the implementation. Here, we use an untimed bounded model checker to verify timing properties of embedded C programs. We propose an approach to specify discrete time timing constraints using code annotations. The annotated code is then automatically translated to code that manipulates auxiliary timer variables and is thus suitable as input to conventional, untimed software model checker such as ESBMC. Thus, we can check timing constraints in the same way and at the same time as untimed system requirements, and even allow for interaction between them. We applied the proposed method in a case study, and verified timing constraints of a pulse oximeter, a noninvasive medical device that measures the oxygen saturation of arterial blood
Applying Scrum and Organizational Patterns to Multi-site Software Development
No full textThis paper describes a pattern language for managing multi-site software projects which aims at minimizing the main problems present on the multi-site software development context. The practices and patterns of the proposed language were first identified from the literature and adapted according to the authors’ experience after running some multi-site software projects. This exercise has led to the identification of two new patterns: "Stories Rework Subsystem", and "Plan Bugs On a Sustainable Pace", as well as to an alternative application of the existing "Inversion of Control" pattern to the organizational context
Towards a Model-Driven Engineering Approach for Developing Embedded Hard Real-Time Software
No full textModel-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing techniques such as Domain-Specific Modeling Languages (DSML) and Transformation Engines. This paper presents the ezRealtime, an MDE-based tool that relies on the Time Petri Net (TPN) formalism and defines a DSML to provide an easy-to-use environment for specifying Embedded Hard Real-Time (EHRT) systems and for synthesizing timely and predictable scheduled C code. The ezRealtime adopts the universal XML-based transfer syntax for Petri nets, named as PNML. The main idea of this work is to propose a generative programming method and tool to boost code quality and improve developer productivity with automated software synthesis. The ezRealtime tool reads and automatically translates the specification to a time Petri net model through composition of building blocks with the purpose of providing a complete model of all tasks in the system. Therefore, this model is used to find a feasible schedule by applying a depth-first search algorithm. Finally, the scheduled code is generated by traversing the feasible schedule, and replacing transition's instances by the respective code segments. We also present the application of the proposed method in a case study
- …
