LEADER 01227nam 2200337Ia 450 001 996395974803316 005 20200818193459.0 035 $a(CKB)4330000000357282 035 $a(EEBO)2248496311 035 $a(OCoLC)ocm11221161e 035 $a(OCoLC)11221161 035 $a(EXLCZ)994330000000357282 100 $a19841002d1685 uy | 101 0 $aeng 135 $aurbn||||a|bb| 200 14$aThe pilgrim's progress from this world to that which is to come$b[electronic resource] $edelivered under the similitude of a dream wherein is discovered the manner of his setting out his dangerous journey and safe-arrival at the desired countrey /$fby John Bunian 205 $aThe tenth edition with additions. 210 $aLondon $cPrinted for Nathaniel Ponder ...$d1685 215 $a[12], 200 p. $cill 300 $aEngraved frontispiece. 300 $aReproduction of original in the Harvard University Library. 330 $aeebo-0062 700 $aBunyan$b John$f1628-1688.$0131402 801 0$bEAE 801 1$bEAE 801 2$bUMI 801 2$bWaOLN 906 $aBOOK 912 $a996395974803316 996 $aPilgrim's progress from this world to that which is to come$9152020 997 $aUNISA LEADER 04903nam 22007215 450 001 9910447251303321 005 20251225183434.0 010 $a3-030-64881-8 024 7 $a10.1007/978-3-030-64881-7 035 $a(CKB)4100000011631537 035 $a(DE-He213)978-3-030-64881-7 035 $a(MiAaPQ)EBC6419261 035 $a(PPN)252514580 035 $a(EXLCZ)994100000011631537 100 $a20201126d2020 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aTesting Software and Systems $e32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9?11, 2020, Proceedings /$fedited by Valentina Casola, Alessandra De Benedictis, Massimiliano Rak 205 $a1st ed. 2020. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020. 215 $a1 online resource (XII, 317 p. 104 illus., 64 illus. in color.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v12543 311 08$a3-030-64880-X 320 $aIncludes bibliographical references and index. 327 $aModel-Based Testing -- Using Model Learning for the Generation of Mock Components -- Interrogating Virtual Agents: In Quest of Security Vulnerabilities -- Giving a Model-based Testing Language a Formal Semantics via Partial MAX-SAT -- Learning Abstracted Non-Deterministic Finite State Machines -- Security Testing -- APPregator: a large-scale platform for mobile security analysis -- Vulsploit: a module for semi-automatic exploitation of vulnerabilities -- About the Robustness and Looseness of Yara Rules -- Measurement-based analysis of a DoS Defense Module for an Open Source Web Server -- Trust is in the air: a new adaptive method to evaluate mobile wireless networks -- Enabling Next-Generation Cyber Ranges with Mobile Security Components -- Testing Methods and Applications -- A Technique for Parallel GUI Testing of Android Applications -- Trigger Alarm A Smart NFC Sniffer for High-Precision Measurements -- Methods for Live Testing of Cloud Services -- Testing Methods and Automation -- Automated Transition Coverage in Behavioural Conformance Testing -- An Executable Mechanised Formalisation of an Adaptive State Counting Algorithm -- Automatic Fairness Testing of Machine Learning Models -- Inspecting Code Churns to Prioritize Test Cases -- Short Contributions -- Using an SMT solver for checking the completeness of FSM-based tests -- Hacking Goals: a goal-centric attack taxonomy in computer systems -- A Comparative Study on Combinatorial and Random Testing for Highly Configurable Systems -- Architecture based on keyword driven testing with domain specific language for a testing system. 330 $aThis book constitutes the refereed proceedings of the 32nd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2020, which was supposed to be held in Naples, Italy, in December 2020, but was held virtually due to the COVID-19 pandemic. The 17 regular papers and 4 short papers presented were carefully reviewed and selected from 43 submissions. ICTSS is a series of international conferences addressing the conceptual, theoretic, and practical problems of testing software systems, including communication protocols, services, distributed platforms, middleware, embedded and cyber-physical systems, and security infrastructures. The papers are organized in the topical sections named: model-based testing; security testing; testing methods and applications; testing methods and automation; and short contributions. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v12543 606 $aSoftware engineering 606 $aComputer engineering 606 $aComputer networks 606 $aArtificial intelligence 606 $aComputers 606 $aComputer science 606 $aSoftware Engineering 606 $aComputer Engineering and Networks 606 $aArtificial Intelligence 606 $aComputing Milieux 606 $aComputer Science Logic and Foundations of Programming 615 0$aSoftware engineering. 615 0$aComputer engineering. 615 0$aComputer networks. 615 0$aArtificial intelligence. 615 0$aComputers. 615 0$aComputer science. 615 14$aSoftware Engineering. 615 24$aComputer Engineering and Networks. 615 24$aArtificial Intelligence. 615 24$aComputing Milieux. 615 24$aComputer Science Logic and Foundations of Programming. 676 $a005.1 702 $aCasola$b Valentina 702 $aDe Benedictis$b Alessandra 702 $aRak$b Massimiliano 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910447251303321 996 $aTesting Software and Systems$93568350 997 $aUNINA LEADER 07090oam 2201021 c 450 001 9910956203703321 005 20260102090118.0 010 $a3-8498-1368-1 024 3 $a9783849813680 035 $a(CKB)4100000009763888 035 $a(MiAaPQ)EBC6269055 035 $a(Au-PeEL)EBL6269055 035 $a(OCoLC)1153748562 035 $a5d77ae77-bbc0-41a7-85f6-798cb0dd2d03 035 $a(Aisthesis Verlag)9783849813680 035 $a(EXLCZ)994100000009763888 100 $a20260102d2019 uy 0 101 0 $ager 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aSchrift und Graphisches im Vergleich$fSimone Sauer-Kretschmer, Monika Schmitz-Emans, Linda Simonis, Stefania Acciaioli, Simon Aeberhard, Beate Allert, Michael Eggers, Hans-Joachim Backe, Regula Bigler, Peter Brandes, Thomas Emmrich, Jennifer Clare, Christiane Dahms, Corinna Dziudzia, William Franke, Stephanie Heimgartner, Shaun F.D. Hughes, Anne Hultsch, Fabienne Imlinger, Sonja Klimek, Hanna Matthies, Julia Nantke, Beatrice Nickel, Marit Rericha, Rita Rieger, Laetitia Rimpau, Melanie Rohner, Simone Sauer-Kretschmer, Markus Schleich, Claudia Schmitt, Wolfgang Christian Schneider, Timo Sestu, Martin Sexl, Christiane Solte-Gresser, Isabelle Stauffer, Regine Strätling, Mara Stuhlfauth-Trabert, Oliver Völker, Maria Weilandt 205 $a1st ed. 210 $aBielefeld$cAisthesis Verlag$d2019 215 $a1 online resource (554 pages) 300 $a[Erstauflage] 311 08$a3-8498-1367-3 327 $aFrontcover -- Titel -- Impressum -- Inhaltsverzeichnis -- Monika Schmitz-Emans / Linda Simonis / Simone Sauer-Kretschmer: Einleitung -- Thomas Emmrich: Urszenen der Schrift: Platon - Ovid - Shakespeare -- Simon Aeberhard: Cage - Beckett - Gomringer -- Timo Sestu: ..., Storchen-Schnabel, Kugelschreiber, Komplektur -- William Franke: Schrift als Theophanie in Dantes »Paradiso« -- Christiane Solte-Gresser: Getra?umte Schrift -- Simone Sauer-Kretschmer: Das Diktat der Tra?ume -- Marit Rericha: Zeichen-Sprache -- Hanna Matthies: Widersta?ndige Zeichen in Lutz Seilers »Kruso« und Margaret Atwoods »The Handmaid's Tale« -- Wolfgang Christian Schneider: Performativer Textvollzug im Ineinander von Schrift und Bildin mittelalterlichen Handschriften -- Stefania Acciaioli: William Blakes intertextueller Dialog zwischen Wort und Bild -- Corinna Dziudzia: A?sthetisierung der Schrift -- Julia Nantke: Zwischen Funktionalita?t und eigener Kunstform -- Michael Eggers: Poetik des Kirchenfensters -- Martin Sexl: Schrift zwischen Sprache und Bild -- Beate I. Allert: Linien, Punkte und Chiffren: Konzeptualisierungen des Graphischen -- Rita Rieger: Figu?rliche Konstellationen -- Tobias Thanisch: Drahtlose Phantasie oder alternative Strukturmodelle? -- Laetitia Rimpau: Buchstaben komponieren: Rimbaud, Schwitters, Mon -- Peter Brandes: Plastic Surgery Disasters -- Beatrice Nickel: Die Schriftlichkeit des Graphischen und das Graphische der Schrift -- Fabienne Imlinger: Corpus -- Regine Stra?tling: Stadtra?ume, Schriftra?ume bei Georges Perec und Miche?le Me?tail -- Oliver Vo?lker: Zerstreuung - Verflechtung -- Regula Bigler: Schriftbilder und Schriftreflexionen bei Judith Schalansky -- Shaun F. D. Hughes: Runic Signatures in Old English and Early Modern Icelandic Poetry -- Sonja Klimek: Fraktur - Peritext - Buchschmuck -- Anne Hultsch: Buchtypographie in den slavischen Avantgarden. 327 $aMelanie Rohner: Helvetica -- Stephanie Heimgartner: Schreibzwang -- Christiane Dahms: Spuren ins Eis -- Jennifer Clare: Schrift als Dokument und Praxis literarischer Zusammenarbeit -- Hans-Joachim Backe: Writing as medium of the Unspeakable -- Isabelle Stauffer: Ko?rperspuren und Ornament -- Markus Schleich / Claudia Schmitt: "Une lettre est une a?me..." -- Mara Stuhlfauth-Trabert: U?berlegungen zur Schriftbildlichkeit im Comic aus postkolonialer Perspektive -- Maria Weilandt: "... filling up the emptiness ... with writing" -- Backcover. 330 $aDas Thema Schrift und Schriftlichkeit hat in jüngster Zeit verstärkte Aufmerksamkeit erfahren, nicht zuletzt im Kontext eines erneuerten medienphilologischen und medienkomparatistischen Interesses in den Literatur- und Kulturwissenschaften. Die Beiträge des vorliegenden Bandes knüpfen wird an diesen bereits recht gut erforschten Gegenstand an in der Erwartung, dass sich aus einem komparatistischen Zugang weitere Gesichtspunkte gewinnen lassen, die es ermöglichen, neue Aspekte und Dimensionen der Thematik zu erschließen. Es geht darum, Schrift in Relation zu (anderen) Formen des Graphischen und Bildhaften zu betrachten, um auf diese Weise das Spezifische der jeweiligen Aufzeichnungsformen deutlich zu machen. Eine solche dezidiert vergleichende und medienkomparatistische Zugangsweise eröffnet neue Beobachtungen und Erkenntniss, die zu einem vertieften Verständnis der einzelnen medialen Formen in ihrer jeweiligen Eigenart sowie in ihrem Zusammenwirken führen. 606 $aTextgestaltung 606 $aGraphik 606 $aLiteratur 606 $aSchrift 606 $aAufschreibeformen 615 4$aTextgestaltung 615 4$aGraphik 615 4$aLiteratur 615 4$aSchrift 615 4$aAufschreibeformen 676 $a701.08 702 $aSauer-Kretschmer$b Simone$4edt 702 $aSchmitz-Emans$b Monika$4edt 702 $aSimonis$b Linda$4edt 702 $aAcciaioli$b Stefania$4ctb 702 $aAeberhard$b Simon$4ctb 702 $aAllert$b Beate$4ctb 702 $aEggers$b Michael$4ctb 702 $aBacke$b Hans-Joachim$4ctb 702 $aBigler$b Regula$4ctb 702 $aBrandes$b Peter$4ctb 702 $aEmmrich$b Thomas$4ctb 702 $aClare$b Jennifer$4ctb 702 $aDahms$b Christiane$4ctb 702 $aDziudzia$b Corinna$4ctb 702 $aFranke$b William$4ctb 702 $aHeimgartner$b Stephanie$4ctb 702 $aHughes$b Shaun F.D$4ctb 702 $aHultsch$b Anne$4ctb 702 $aImlinger$b Fabienne$4ctb 702 $aKlimek$b Sonja$4ctb 702 $aMatthies$b Hanna$4ctb 702 $aNantke$b Julia$4ctb 702 $aNickel$b Beatrice$4ctb 702 $aRericha$b Marit$4ctb 702 $aRieger$b Rita$4ctb 702 $aRimpau$b Laetitia$4ctb 702 $aRohner$b Melanie$4ctb 702 $aSauer-Kretschmer$b Simone$4ctb 702 $aSchleich$b Markus$4ctb 702 $aSchmitt$b Claudia$4ctb 702 $aSchneider$b Wolfgang Christian$4ctb 702 $aSestu$b Timo$4ctb 702 $aSexl$b Martin$4ctb 702 $aSolte-Gresser$b Christiane$4ctb 702 $aStauffer$b Isabelle$4ctb 702 $aSträtling$b Regine$4ctb 702 $aStuhlfauth-Trabert$b Mara$4ctb 702 $aVölker$b Oliver$4ctb 702 $aWeilandt$b Maria$4ctb 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910956203703321 996 $aSchrift und Graphisches im Vergleich$93934337 997 $aUNINA