| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465945103316 |
|
|
Titolo |
Algebraic System Specification and Development [[electronic resource] ] : A Survey and Annotated Bibliography / / edited by Michel Bidoit, Hans-Jörg Kreowski, Pierre Lescanne, Fernando Orejas, Donald Sannella |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 1991.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XII, 184 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 0302-9743 ; ; 501 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer organization |
Computer Systems Organization and Communication Networks |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
Basic foundations -- Models and logics -- Development concepts -- Support tools -- Applications. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Methods for the algebraic specification of abstract data types were proposed in the early 1970s in the USA and Canada and became a major research issue in Europe shortly afterwards. Since then the algebraic approach has come to play a central role in research on formal specification and development, as its range of applications was extended to the specification of complete software systems, to the formal description of the program development process, and to the uniform definition of syntax and semantics of programming languages. Today this approach extends beyond just software to the development of integrated hardware and software systems. These flourishing activities in the area of algebraic specifications have led to an abundance of approaches, theories and concepts, which have universal algebra, category theory and logic as a common mathematical basis. This volume is an annotated bibliography which provides an up-to-date overview of past and present work on algebraic specification. No attempt is made to provide a coherent introduction to the topic for beginners; the intention is rather to provide a guide to the current literature for researchers in algebraic specification and neighboring fields. Some indications of how the different approaches are related are |
|
|
|
|
|
|
|
|
|
|
|
|
|
included, together with some ideas concerning possible future directions. |
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910794997103321 |
|
|
Titolo |
Emerging vectors of narratology / / edited by Per Krogh Hansen [and three others] |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, [Germany] : , : De Gruyter, , 2017 |
|
©2017 |
|
|
|
|
|
|
|
|
|
ISBN |
|
3-11-055488-7 |
3-11-055515-8 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (644 pages) |
|
|
|
|
|
|
Collana |
|
Narratologia, , 1612-8427 ; ; Volume 57 |
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references at the end of each chapters and index. |
|
|
|
|
|
|
|
|
Nota di contenuto |
|
Frontmatter -- Preface -- Table of Contents -- Contexts -- "Contextualized Poetics" and Contextualized Rhetoric: Consolidation or Subversion? / Shen, Dan -- Rethinking the Unreliable Narrator: Is the Demarcation Heterodiegetic/ Homodiegetic Necessary? / Nilssen, Jannike Hegdal -- Autofiction and Authorial Unreliable Narration / Hansen, Per Krogh -- Beyond Unreliability: Resisting Naturalization of Normative Horizons / Stromberg, David -- Nabokov's "Ultima Thule": An Exercise in Generative Narratology / Timofeev, Valery -- Emerging Narrative Situations: A Definition of We-Narratives Proper / Bekhta, Natalya -- Critical Ethical Narratology as an Emerging Vector of Narrative Theory and Autobiographical End-of-Life Stories / Berning, Nora -- The Fictionalization of History in Metahistoriographic Fiction after the Constructivist Challenge / Kürschner, Manja -- Towards a Crossing of the Divide between Fiction and Non-Fiction in European Television Series and Movies: The Examples of the Italian Romanzo Criminale and the Danish Klovn -- Unnatural Narrative Theory: A Paradoxical Paradigm / Richardson, Brian -- Causal Expectation / |
|
|
|
|
|
|
|
|
|
|
|
Rossholm, Göran -- Eventfulness and Repetitiveness: Two Aesthetics of Storytelling / Schmid, Wolf -- The Garden of Forking Paths: Virtualities and Challenges for Contemporary Narratology / Baroni, Raphaël -- The Representation of Character Interiority in Film: Cinematic Versions of Psychonarration, Free Indirect Discourse and Direct Thought / Alber, Jan -- Intermedial Transposition: From Verbal Story to Music. Narrative in Musical Works Based on Romeo and Juliet / Pawłowska, Małgorzata -- How to Measure Narrativity? Notes on Some Problems with Comparing Degrees of Narrativity Across Different Media / Brütsch, Matthias -- From Structural Narratology to Enunciative Pragmatics: Greek Poetic Forms between Mythical Narrative and Ritual Act / Calame, Claude -- Comparison of Chinese-Western Narrative Poetics: State of the Art / Luo, Huaiyu -- Openings -- What is Your Narrative? Lessons from the Narrative Turn / Roussin, Philippe -- How Many 'Turns' Does it Take to Change a Discipline? Narratology and the Interdisciplinary Rhetoric of the Narrative Turn / Dawson, Paul -- The Promise of an Embodied Narratology: Integrating Cognition, Representation and Interpretation / Caracciolo, Marco / Guédon, Cécile / Kukkonen, Karin / Müller, Sabine -- Beyond Fictional Worlds: Narrative and Spatial Cognition / Walsh, Richard -- Is There a Future for Neuro-Narratology? Thoughts on the Meeting of Cognitive Narratology and Neuroaesthetics / Schneider, Ralf -- In Search of Coherence: Tacit Negotiations between the Paradigmatic and the Syntagmatic in Narratology and Narrativity / Wagner, Eva Sabine -- Complexity: A Paradigm for Narrative? / Pier, John -- The Story behind any Story: Evolution, Historicity and Narrative Mapping / Landa, José Ángel García -- The Future of Narratology's Past: A Contribution to Metanarratology / Sommer, Roy -- Notes on Contributors -- Index |
|
|
|
|
|
|
Sommario/riassunto |
|
Narratology has been flourishing in recent years thanks to investigations into a broad spectrum of narratives, at the same time diversifying its theoretical and disciplinary scope as it has sought to specify the status of narrative within both society and scientific research. The diverse endeavors engendered by this situation have brought narrative to the forefront of the social and human sciences and have generated new synergies in the research environment.Emerging Vectors of Narratology brings together 27 state-of-the-art contributions by an international panel of authors that provide insight into the wealth of new developments in the field. The book consists of two sections. "Contexts" includes articles that reframe and refine such topics as the implied author, narrative causation and transmedial forms of narrative; it also investigates various historical and cultural aspects of narrative from the narratological perspective. "Openings" expands on these and other questions by addressing the narrative turn, cognitive issues, narrative complexity and metatheoretical matters.The book is intended for narratologists as well as for readers in the social and human sciences for whom narrative has become a crucial matrix of inquiry. |
|
|
|
|
|
|
|
| |