| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910827608003321 |
|
|
Titolo |
Discursos sobre (l)a pobreza : America Latina y e paises luso-africanos. / / Colaboracion colaboracao Annina Clerici, Marilia Mendes and Martin Lienhard |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Madrid ; ; Frankfurt am Main : , : Iberoamericana : , : Vervuert, , [2006] |
|
©2006 |
|
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (443 p.) |
|
|
|
|
|
|
Collana |
|
Nexos y Diferencias. Estudios de la Cultura de América Latina ; ; 17 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Social sciences |
Latin America Economic conditions 1982- |
Latin America Social conditions 1982- |
Africa, Portuguese-speaking Economic conditions |
Africa, Portuguese-speaking Social conditions |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di contenuto |
|
Front matter -- ÍNDICE -- Acerca de este libro/Sobre este libro / Lienhard, Martin -- Sobre Este Libro / Lienhard, Martin -- Introducción / Lienhard, Martin -- LUCHA CONTRA LA POBREZA - LOS DISCURSOS INSTITUCIONALES / LUTA CONTRA A POBREZA - OS DISCURSOS INSTITUCIONAIS -- La cultura de la pobreza: sentires para una transformación / Lazos Chavero, Elena -- Breve abordagem sobre fundos sociais. Um estudo de caso em Angola / Serra Van-Dúnem, José Octávio -- Percepción, intención y acción en la lucha contra la pobreza - una historia de tantos y tantos discursos / Montoya Romani, Jorge -- Reflexos do singular na desigualdade social: os diversos sentidos da fome em quilombos da região norte, Brasil / Oliveira e Silva, Denise / Hurtado Guerrero, Ana Felisa / Medeiros de Toledo, Luciano -- Un acercamiento a las mil caras de la pobreza y el papel del microcrédito / Giletti Benso, Silvia -- Educação, pobreza e política no Brasil / Edna Maria dos, Santos -- CONTEXTOS DE LA POBREZA / CONTEXTOS DA POBREZA -- Legislando sobre a pobreza e a desigualdade: o Ato Colonial e o Terceiro Império português (1930-1961) / Nascimento, |
|
|
|
|
|
|
|
|
|
|
|
Sebastião -- Narrativas da precariedade: desigualdade e diversidade num contexto pós-colonial. Indianos hindus em Inhambane, Moçambique / Ribeiro Thomaz, Omar -- Memoria y anonimato: representaciones discursivas de las muertas de Ciudad Juárez / Vilanova, Núria -- Ayahuasca y resistencia indígena en la Amazonía peruana / Badini, Riccardo -- ICONOGRAFÍA DE LA POBREZA / ICONOGRAFIA DA POBREZA -- Construcción de imágenes de indios y mujeres en la iconografía post-52: el miserabilismo en el Álbum de la Revolución (1954) / Rivera Cusicanqui, Silvia -- Imágenes y palabras - Posibilidades y límites del cine y el audiovisual. A partir de Aparte / Handler, Mario -- Sérgio Santimano: O Moçambique dos «pobres» ou A escola da vida / Lienhard, Martin -- Focal / Santimano, Sérgio -- LOS POBRES EN MOVIMIENTO / OS POBRES EM MOVIMENTO -- La pobreza desde los pobres. Tres testimonios en un contexto / Morales Bermúdez, Jesús -- De la revolución a la transición: la rebelión de Chiapas y los caminos de la democracia en México / García de León, Antonio -- ¡Dichosos los pobres! ¡Ay de ustedes los ricos! Reflexión y praxis cristiana con los pobres en Latinoamérica / Albó, Xavier -- No pretender el vano honor del mundo / Loarca Pineda, Mario R. -- Discursos desde la pobreza: mujeres chilenas en la época de los frentes populares / Pernet, Corinne A. -- O congado formalizado: organização jurídica de guardas do reinado na zona rural de Minas Gerais (Brasil) / Camp, Marc-Antoine -- LA POBREZA DESDE LOS POBRES / A POBREZA A PARTIR DOS POBRES -- A fala da pobreza: Carolina Maria de Jesus / Sebe Bom Meihy, José Carlos -- La subversividad del discurso de la pobreza. La polémica sobre el libro Los hijos de Sánchez de Oscar Lewis en México / Scheuzger, Stephan -- ¿Para qué narrar la pobreza? Una reflexión sobre el testimonio / Parra Domínguez, Maribel -- LA POBREZA EN LA LITERATURA / A POBREZA NA LITERATURA -- Resistência e desafios: literatura e reflexões sobre pobreza / Tindó Ribeiro Secco, Carmen Lucia -- Los pobres de Dios: desde las crónicas andinas hasta la teología de la liberación / Melis, Antonio -- La pobreza desde la oligarquía: Un mundo para Julius de Alfredo Bryce Echenique / Clerici, Annina -- Pobreza feminina em contos moçambicanos: exclusão e resistência / Mendes, Marília -- Flagelados do vento leste? Contra uma leitura sócio-económica da literatura caboverdiana / Francavilla, Roberto -- Colaboradores de este volumen |
|
|
|
|
|
|
Sommario/riassunto |
|
Compilación de estudios que analizan en qué medida los discursos sobre la pobreza (en los medios de comunicación, la literatura, el arte) contribuyen a agudizar la imagen que se tiene de ella, sus causas y erradicación. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910855370303321 |
|
|
Autore |
Meyer-Stabley Bertrand |
|
|
Titolo |
The French School of Programming / / edited by Bertrand Meyer |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2024 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2024.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (451 pages) |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Computer science |
Programming languages (Electronic computers) |
Computer programming |
Machine theory |
Computer programs - Testing |
Software Engineering |
Theory of Computation |
Programming Language |
Programming Techniques |
Formal Languages and Automata Theory |
Software Testing |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
The French School of Programming: A Personal View -- Part I: Software Engineering -- “Testing can be formal too”: 30 years later -- A Short Visit to Distributed Computing Where Simplicity is Considered a First Class Property -- Modeling: From CASE Tools to SLE and Machine Learning -- At the Confluence of Software Engineering and Human-Computer Interaction: a Personal Account -- Part II: Programming language mechanisms and type systems -- From Procedures, Objects, Actors, Components, Services, to Agents -- Semantics and syntax, between computer science and mathematics -- Some remarks about Dependent Type Theory -- Part III: Theory -- A Personal Historical Perspective on Abstract Interpretation -- Tracking Redexes in the |
|
|
|
|
|
|
|
|
|
|
|
Lambda Calculus -- Confluence of terminating rewriting computations -- Part IV: Language design and programming methodology -- Programming with union, intersection, and negation types -- Right and wrong: ten choices in language design. |
|
|
|
|
|
|
Sommario/riassunto |
|
The French School of Programming is a collection of insightful discussions of programming and software engineering topics, by some of the most prestigious names of French computer science. The authors include several of the originators of such widely acclaimed inventions as abstract interpretation, the Caml, OCaml and Eiffel programming languages, the Coq proof assistant, agents and modern testing techniques. The book is divided into four parts: Software Engineering (A), Programming Language Mechanisms and Type Systems (B), Theory (C), and Language Design and Programming Methodology (D). They are preceded by a Foreword by Bertrand Meyer, the editor of the volume, a Preface by Jim Woodcock providing an outsider’s appraisal of the French school’s contribution, and an overview chapter by Gérard Berry, recalling his own intellectual journey. Chapter 2, by Marie-Claude Gaudel, presents a 30-year perspective on the evolution of testing starting with her own seminal work. In chapter 3, Michel Raynal covers distributed computing with an emphasis on simplicity. Chapter 4, by Jean-Marc Jézéquel, former director of IRISA, presents the evolution of modeling, from CASE tools to SLE and Machine Learning. Chapter 5, by Joëlle Coutaz, is a comprehensive review of the evolution of Human-Computer Interaction. In part B, chapter 6, by Jean-Pierre Briot, describes the sequence of abstractions that led to the concept of agent. Chapter 7, by Pierre-Louis Curien, is a personal account of a journey through fundamental concepts of semantics, syntax and types. In chapter 8, Thierry Coquand presents “some remarks on dependent type theory”. Part C begins with Patrick Cousot’s personal historical perspective on his well-known creation, abstract interpretation, in chapter 9. Chapter 10, by Jean-Jacques Lévy, is devoted to tracking redexes in the Lambda Calculus. The final chapter of that part, chapter 11 by Jean-Pierre Jouannaud, presents advances in rewriting systems, specifically the confluence of terminating rewriting computations. Part D contains two longer contributions. Chapter 12 is a review by Giuseppe Castagna of a broad range of programming topics relying on union, intersection and negation types. In the final chapter, Bertrand Meyer covers “ten choices in language design” for object-oriented programming, distinguishing between “right” and “wrong” resolutions of these issues and explaining the rationale behind Eiffel’s decisions. This book will be of special interest to anyone with an interest in modern views of programming — on such topics as programming language design, the relationship between programming and type theory, object-oriented principles, distributed systems, testing techniques, rewriting systems, human-computer interaction, software verification… — and in the insights of a brilliant group of innovators in the field. |
|
|
|
|
|
|
|
| |