feed icon rss

Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
Filter
  • Englisch  (16)
  • UB Potsdam  (16)
  • SB Großräschen
  • SB Werder
  • SB Guben
  • Ibero-Amerik. Institut
  • Stasi-Unterlagen-Archiv
  • Potsdam Museum ARHB
  • Zentrum Info.arbeit Bundeswehr
  • VIZ Charlottenburg-Wilmersdorf
  • Sozialgericht Berlin
  • SB Lübben
  • Zentrum f. Militärgeschichte
  • ZZF Potsdam
  • SB Uebigau
  • SB Putlitz
  • Electronic books.  (16)
Medientyp
Sprache
Region
Bibliothek
Virtuelle Kataloge
Erscheinungszeitraum
Fachgebiete(RVK)
  • 1
    Online-Ressource
    Online-Ressource
    Bielefeld :Transcript Verlag,
    UID:
    almahu_9949576455602882
    Umfang: 1 online resource (126 pages)
    Ausgabe: 1st ed.
    ISBN: 9783839462492
    Serie: Edition Politik Series ; v.135
    Weitere Ausg.: Print version: Heidenreich, Felix The Politics of Digital Pharmacology Bielefeld : Transcript Verlag,c2023
    Sprache: Englisch
    Fachgebiete: Wirtschaftswissenschaften
    RVK:
    Schlagwort(e): Electronic books. ; Electronic books. ; Electronic books.
    URL: Cover
    URL: Volltext  (kostenfrei)
    URL: Volltext  (kostenfrei)
    URL: Volltext  (kostenfrei)
    URL: Cover
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 2
    UID:
    almahu_9949728668902882
    Umfang: 1 online resource (178 pages)
    Ausgabe: 1st ed.
    ISBN: 9783031444128
    Weitere Ausg.: Print version: Bodden, Eric Ernst Denert Award for Software Engineering 2022 Cham : Springer International Publishing AG,c2024 ISBN 9783031444111
    Sprache: Englisch
    Schlagwort(e): Electronic books. ; Electronic books.
    URL: Volltext  (kostenfrei)
    URL: Volltext  (kostenfrei)
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 3
    UID:
    almahu_9949369316302882
    Umfang: 1 online resource (279 pages)
    Ausgabe: 1st ed.
    ISBN: 9783839460894
    Serie: The Academy in Exile Book Series
    Anmerkung: Cover -- Contents -- Acknowledgements -- Academics in Exile -- Histories of knowledge translation -- Exile in a translational mode -- Redefining precarity through knowledge production -- The politics of forced internationalization -- The moral economies of "research in exile" -- Blessing or curse? -- Scholars in exile in the Netherlands -- The emergence of a "third space"? -- Critical scholars from Turkey -- Networks matter -- Towards structural responses to the displacement of scholars -- South-South perspectives -- Expelling and receiving scholars -- The unheard voices -- Academic freedom and the untold story of Venezuelan scholars under pressure -- List of contributors.
    Weitere Ausg.: Print version: Axyonova, Vera Academics in Exile Bielefeld : transcript,c2022 ISBN 9783837660890
    Sprache: Englisch
    Schlagwort(e): Electronic books. ; Electronic books.
    URL: Cover
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 4
    UID:
    almahu_9949708072802882
    Umfang: 1 online resource (207 pages)
    Ausgabe: 1st ed.
    ISBN: 9781789695465
    Serie: Proceedings of the UISPP World Congress Series
    Inhalt: Proceedings, with full text in English and French, from session XXXII-3 of the XVIII UISPP World Congress, Paris, 2018: Pre and protohistoric stone architectures: comparisons of the social and technical contexts associated to their building. The volume aims to break the usual limits on the fields of study and to deconstruct some preconceived ideas.
    Anmerkung: Cover -- Title Page -- Copyright page -- UISPP PROCEEDINGS SERIES -- FOREWORD TO THE XVIII UISPP CONGRESS PROCEEDINGS -- Contents Page -- Chapter 1 -- Des maçons, voire quelques ingénieurs, pour le bâti mégalithique du Néolithique européen ? -- Luc Laporte, Florian Cousseau, Philippe Gouézin, José-Antonio Linares-Catela and Hélène Pioffet -- Stonemasons, and even engineers, for megalithic building in Neolithic Europe? -- Figure 1 : «τ̔̈Α«·Tribus primitives » et tombes de «τ̔̈Α«·chefs »τ̔̈Α«·: prémices d'une problématique. Le tumulus du Moustoir à Carnac : aquarelle de R. Pocard-Kerviler du Cozker d'après les travaux de R. Galles. Société Polymathique du Morbihan, Vannes. -- Figure 1: 'Primitive tribes' and tombs of 'chiefs': the early stages of a problem - The tumulus of leMoustoir at Carnac: watercolour by R. Pocard-Kerviler du Cozker after the work of R. Galles. Société Polymathique du Morbihan, Vannes. -- Figure 2 : Monumentalités, modes de construction et systèmes sociaux. Segmentation du travail sur le chantier, dans le sud de la France et dans le sud de l'Espagne au IIIe mill. av. n.e., et sociétés dites «τ̔̈Α«·segmentées » (d'après Diaz del Rio 2008). -- Figure 2: Monumentalities, modes of construction and social systems - Segmentation of work on the site, in the South of France and the South of Spain during the third millennium BCE, and societies referred to as 'segmented' (after Diaz del Rio 2008). -- Figure 3 : Appropriation d'entités naturelles vs façonnage de matières premières (D'après Laporte et Dupont 2019). -- Figure 3: Appropriation of natural entities vs shaping of raw materials (after Laporte and Dupont 2019). , Figure 4: Examples of Welsh and Irish dolmens that appear to have been built in situ. They are classified into different architectural groups, but they demonstrate shared techniques on both sides of the Irish Sea (map: CAD H. Pioffet -- photos © V. Cummin -- Figure 4 : Exemples de dolmens gallois et irlandais vraisemblablement construits in situ -- classés dans des groupes architecturaux différents, ils témoignent cependant de techniques partagées de part et d'autre de la mer d'Irlande (carte : DAO H. Pioffet -- Figure 5 : Régularité et homogénéité des dalles assemblées qui constituent la chambre sépulcrale du dolmen de Menga (Antequera, Espagne). Cliché : José-Antonio Linares Catela. -- Figure 5: Regularity and homogeneity of the assembled slabs forming the sepulchral chamber of the Menga dolmen (Antequera, Spain). Photo: José-Antonio Linares Catela. -- Figure 6 : Le projet architectural. Pierres dressées à l'aire libre ou dans l'enceinte d'une chambre funéraire : quelques exemples pris dans le département du Finistère, en Bretagne. D'après Laporte et al. 2016. -- Figure 6: The architectural project - Stones erected in the open-air or in the enclosure of a funerary chamber: example taken from the departments of Finistère, in Brittany. After Laporte et al. 2016. -- Figure 7 : Le projet architectural. Etude du bâti pour le monument de Barnenez à Plouézoch (Finistère, France) : méthode. Clichés et DAO Florian Cousseau. -- Figure 7: The architectural project - Study of the building of the monument of Barnenez at Plouézoch (Finistère, France): methodology. Photos and CAD Florian Cousseau. -- Figure 8 : Le projet architectural. Etude du bâti pour le monument de Barnenez à Plouézoch (Finistère, France) : mise en scène de la mémoire des lieux par les bâtisseurs du Néolithique. Clichés et DAO Florian Cousseau. , Figure 8: The architectural project - Study of the building for the monument of Barnenez at Plouézoch (Finistère, France): staging the memory of the place by Neolithic builders. Photos and CAD Florian Cousseau. -- Figure 9 : Le projet architectural. Pierres dressées à l'aire libre ou dans l'enceinte d'une chambre funéraire : quelques exemples pris dans le département du Morbihan (France). d'après Gouézin 2017. -- Figure 9: The architectural project - Stones erected in the open-air or in the enclosure of a funerary chamber: several examples taken from the departments of Morbihan (France). After Gouézin 2017. -- Figure 10 : Le chantier de construction - restitution d'une étape du chantier de construction du tumulus C de Péré à Prissé-la-Charrière (Deux-Sèvres, France). Découpe de chaque unage de points, par demi travées d'abord, puis par alvéoles et enfin par sec -- Figure 10: The construction site - reconstruction of a stage of the construction of tumulus C of Péré at Prissé-la-Charrière (Deux-Sèvres, France). Cuttings within each cloud, firstly by sections, then by alveoles, and then by construction units. Scanner -- -- Figure 11 : Le chantier de construction - restitution d'une étape du chantier de construction du tumulus C de Péré à Prissé-la-Charrière (Deux-Sèvres, France). Sections de parois et d'alvéoles qui concourrent à l'étape 0a1 dans les travées 6 et 7. Scanner -- Figure 11: The construction site - reconstruction of a stage of the construction of tumulus C of Péré at Prissé-la-Charrière (Deux-Sèvres, France). Units of construction involved for the step 0a1 of the building work, in the eastern end of the mound. Scan. , Figure 12 : Le chantier de construction - restitution de deux étapes du chantier de construction du tumulus C de Péré à Prissé-la-Charrière (Deux-Sèvres, France). Extrémité orientale du tumulus C : données brutes en cours de traitement, cumulant 8 nuages -- Figure 12: The construction site - reconstruction of two stages of the construction of tumulus C of Péré at Prissé-la-Charrière (Deux-Sèvres, France). Eastern end of mound C: raw data in process coming from 8 distinct clouds of the mound during the excava -- Figure 13 : Structures techniques par la suite noyées dans la masse, selon un plan établi à l'avance et parfaitement stable pendant toute la durée du chantier de construction. Prissé-la-Charrière - Cl. L. Laporte. -- Figure 13: Technical structures embedded in the mass, following a pre-established plan and perfectly stable during the whole duration of construction. Prissé-la-Charrière - Photo. L. Laporte. -- Figure 14 : Caractère segmenté de l'architecture comme de l'organisation du travail sur le chantier de construction - L'exemple Champs-Châlon C, à Courçon (Charente-Maritime, France). Cl. R. Joussaume. -- Figure 14: Segmented character of the architecture and the organisation of work at the construction site - the example of Champs-Châlon C, at Courçon (Charente-Maritime, France). Photo R. Joussaume -- Chapter 2 -- Dry stone, old but innovative -- Eric Vincens, Nathanaël Savalle, Claire Cornu and Martin Muriot -- Pierre sèche, ancestrale et innovante -- Figure 1 : Figure 1: (A) mur de soutènement de pente -- (B) mur de soutènement de route -- (C) mur de clôture -- (D) traversée de cours d'eau -- (E) système pour ralentir le courant dans les talwegs -- (F) refuge pour activités pastorales (crédits photos: Cla -- Figure 1: (A) slope retaining wall -- (B) road retaining wall -- (C) wall fencing -- (D) water course crossing. , (E) system to slow down the current in talwegs -- (F) shelter for pastoral activities (photos credits: Claire Cornu). -- Figure 2 : mur de soutènement de pente -- (A) expériences à grande échelle (Colas et al. 2010) -- (B) modélisation numérique, champ de vitesse à la rupture (Oetomo et al. 2016). -- Figure 2: Slope DSRWs -- (A) full scale experiments (Colas et al. 2010) -- (B) numerical modeling, velocity field at failure (Oetomo et al. 2016). -- Figure 3 : (A) « Guide de bonnes pratiques de construction de murs de soutènement en pierre sèche », 2008, (CAPEB 2008) -- (B) « Règles professionnelles, technique de construction des murs en pierre sèche » (Colas 2017). -- Figure 3: (A) 'Guidebook of good practices for the design of dry stone retaining walls' 2008, (CAPEB 2008) -- (B) 'Professional rules, technique for constructing dry stone walls' (Colas 2017). -- Figure 4 : Expériences à échelle réduite : (A) briques en bois présentant une rupture en glissement -- (B) briques argileuses avec une rupture en renversement (Colas 2009). -- Figure 4: Scaled-down experiments: (A) wooden bricks with a sliding mode of failure -- (B) clayey bricks with a toppling mode of failure (Colas 2009). -- Figure 5 : Test d'inclinaison: (A) état initial -- (B) état à la rupture -- (C) Influence de la minceur sur la résistance des murs, la boîte rouge en pointillé donne une plage typique de minceur dans les MSPS actuels (Savalle et al. 2018). -- Figure 5: Tilting test: (A) initial state -- (B) failure state. (C) Influence of slenderness on wall resistance, the dashed red box gives a typical range of slenderness in current DSRW (Savalle et al. 2018). -- Figure 6 : Vue de dessus d'un mur avec des blocs (rouge) dans une position décalée (longitudinale et transversale) par rapport aux blocs situés sur la couche précédente. , Figure 6: Top view of a wall with blocks (red) in a staggered position (longitudinal and transversal) with respect to the blocks located on the previous layer.
    Weitere Ausg.: Print version: Cousseau, Florian Pre and Protohistoric Stone Architectures: Comparisons of the Social and Technical Contexts Associated to Their Building Oxford : Archaeopress,c2020 ISBN 9781789695458
    Sprache: Englisch
    Schlagwort(e): Electronic books. ; Electronic books. ; Electronic books ; Electronic books
    URL: FULL  ((OIS Credentials Required))
    URL: FULL  ((OIS Credentials Required))
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 5
    Online-Ressource
    Online-Ressource
    Milton :Taylor & Francis Group,
    UID:
    almahu_9949517326902882
    Umfang: 1 online resource (264 pages)
    ISBN: 9781000464702
    Serie: Routledge Research in Polar Regions Series
    Weitere Ausg.: Print version: Stammler, Florian Young People, Wellbeing and Sustainable Arctic Communities Milton : Taylor & Francis Group,c2021 ISBN 9780367626297
    Sprache: Englisch
    Schlagwort(e): Electronic books. ; Electronic books.
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 6
    Online-Ressource
    Online-Ressource
    Milton :Taylor & Francis Group,
    UID:
    almahu_9949517462702882
    Umfang: 1 online resource (485 pages)
    ISBN: 9781000508772
    Serie: Routledge International Handbooks Series
    Weitere Ausg.: Print version: Gallien, Max The Routledge Handbook of Smuggling Milton : Taylor & Francis Group,c2021 ISBN 9780367489533
    Sprache: Englisch
    Schlagwort(e): Electronic books. ; Electronic books.
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 7
    Online-Ressource
    Online-Ressource
    Bern :Peter Lang AG International Academic Publishers,
    UID:
    almahu_9949568480802882
    Umfang: 1 online resource (360 pages)
    Ausgabe: 1st ed.
    ISBN: 9783034339872
    Inhalt: This book focuses on the coordination between family life and professional career under the condition of repeated mobilities. It analyses the division between the labour force work and the care work of couples of highly-skilled migrants settling in either Switzerland or Germany.
    Anmerkung: Cover -- Copyright information -- Contents -- Acknowledgments -- Abstract -- List of Figures -- List of Tables -- 1 Introduction -- 1.1 Relevance of the Study -- 1.2 Structure of the Study -- Theoretical Part -- 2 Moving with Skills: A Review of the Literature -- 2.1 Historical Overview -- 2.2 Conceptual Overview -- 2.2.1 State -- 2.2.2 Employer -- 2.2.3 Migrants, Families, and Couples -- 2.3 Highly-Skilled Migration Studies -- 2.3.1 Dichotomising Migration -- a. Neoclassical Theory of Migration Flows -- b. Dual Labour Market Theory -- 2.3.2 Deepening Migration -- a. Typologies of Highly-Skilled Migrants -- 2.3.3 Intermediary Summary: Construction of a Polarisation I -- 2.4 Expatriation Studies -- 2.4.1 Defining Expatriates -- 2.4.2 Assigned Expatriate and Self-Initiated Expatriate -- a. Permanent/Temporal Migration Binary -- 2.4.3 Expatriate Adjustments -- a. Partner and Family -- 2.4.4 Intermediary Summary: Construction of a Polarisation II -- 2.5 Gender and Highly-Skilled Migration -- 2.5.1 Gender Binaries -- 2.5.2 Gender as a Dichotomous Variable -- 2.5.3 Gender as a Relational and Situational Feature -- a. Women and Highly-Skilled Migration -- b. Migration Family Strategies -- c. Gendered Image of Migration Family Strategies -- 2.5.4 Intermediary Summary: Overcoming the Polarisation -- 3 Decentring the Research on Highly-Skilled Migration and Expatriation: Three Methodological Premises -- 3.1 Decentring and Deconstructing -- 3.2 Methodological Individualism -- 3.2.1 Defining the Family and the Couple -- 3.2.2 The Hidden Economy of Kinship -- 3.2.3 Doing Family -- 3.3 Methodological Nationalism -- 3.3.1 Changing the Entry Points -- 3.4 Methodological Economism -- 3.4.1 Mobility and Migration -- 3.4.2 Temporal Mobilities and Permanent Migration -- 3.4.3 Defining and Problematising the Skills -- 3.5 Research Questions -- Methodological Part. , 4 Research Design -- 4.1 Epistemology -- 4.2 Methods in Practice -- 4.2.1 Accessing the Field -- 4.2.2 Constructing the Interview Corpus -- a. Constructing the Corpus of Interviews -- b. Interview Grid -- 4.2.3 Analysing the Interview Corpus -- a. Objective Data -- b. Subjective Data -- 5 Contextualising the Study -- 5.1 Contextualising the Researcher -- 5.2 Contextualising the Lake Geneva Region and Frankfurt Rhine-Main Region -- 5.2.1 Family Policy in the two Regions -- a. Formal care -- b. Informal and Non-Formal Care -- c. Privatised Formal Care -- Empirical Part -- 6 Professional Careers Coordination -- 6.1 Migration Triggering: An Individual Approach -- 6.1.1 Assigned Expatriate -- 6.1.2 Drawn Expatriate -- 6.1.3 Intra Self-Initiated Expatriate -- 6.1.4 Inter Self-Initiated Expatriate -- 6.2 Migration Triggering: A Collective Approach -- 6.2.1 Primary-Mover and Secondary-Mover -- 6.3 Conceptualising the Professional Careers Coordination -- 6.4 Primary-Mover -- 6.4.1 Expat-Move -- a. Knowing What the Support is About -- b. Not Knowing When and Where the Next Move Will Be -- c. From an Expatriate Contract to a Local Contract -- 6.4.2 Local-Move -- a. Settlement Struggles -- b. Localising the Home-Base -- 6.4.3 Continuum of the Primary-Mover -- a. Relocation of Headquarters -- 6.5 Secondary-Mover and Secondary-Stayer -- 6.5.1 Total-Move of a Partner-Initiated Mover -- a. Coordinating before Relocating -- 6.5.2 Unique Challenges of a Partner-Initiated Mover -- a. Gender Imbalance -- b. Starting from Minus Zero -- c. Seeking Employment Abroad -- 6.5.3 Half-Move of a Partner-Coordinated Mover -- a. Commuting between the Workplace and Home -- b. Teleworking -- c. Maternity Leaves -- 6.5.4 Immobility of a Secondary-Stayer -- 6.5.5 Access to the Labour Force -- a. Types of Skills -- b. Language. , c. Recognition of the Diplomas and the Recognition of the Previous Professional Experience -- d. Power of Place -- e. Company's Support for the "Secondary-Mover's" Inclusion in the Labour Force -- f. Dual career Network -- 6.5.6 Types of Moves of the Secondary-Mover -- 6.6 Theorising the Professional Careers Coordination -- 7 Representing Migration: Between Motilities and Anchors -- 7.1 Displaying Family -- 7.2 Motile Narratives -- 7.2.1 Structural Constraints -- 7.2.2 Career Men and Career Women -- 7.2.3 Paradoxical Family Men -- 7.3 Anchored Narratives -- 7.3.1 Ignoring Motility -- 7.3.2 Refusing Motility -- 7.3.3 After Motility -- 7.4 Gender and Motility -- 8 Family-Strategies of Highly-Skilled Migrants -- 8.1 Conceptualising the Family-Strategies -- 8.2 Motile Family-Strategy -- 8.2.1 Prioritising one Career -- 8.2.2 Homemaking and Caregiving -- 8.2.3 Company's Support -- g. Support to Relocate -- h. International Schools -- i. Summary of the "Motile Family-Strategy" -- 8.3 Local Family-Strategy -- 8.3.1 Low Support for the Care Work -- 8.3.2 Combination of Formal, Informal and Non-Formal Care Support -- j. Intermediary Summary of the Local Family-Strategy -- 8.3.3 Separations and Divorces -- k. Summary of the Local Family-Strategy -- 8.4 Mobile Family-Strategy -- 8.4.1 Succession of Half-Moves -- 8.4.2 Power-Dynamics -- l. Dual Career and Secondary Stayers -- 8.4.3 Mobile Family-Strategy and Children -- m. Summary of the Mobile Family-Strategy -- 8.5 Theorising the Family-Strategies -- 8.5.1 Care Work Organisation and Social Networks -- 8.5.2 Iterative Logic, Path-Dependency, and Conflicts -- 8.5.3 Mutually Exclusive Model -- Discussion Part -- 9 Theoretical and Empirical Insights -- 9.1 Decentring the Literature and the Research Design -- 9.2 Doing Family on the Move -- 9.2.1 Consequences following the Decision to Migrate. , 9.2.2 Narratives Displaying the Division of the Tasks -- 9.2.3 Family-Strategies -- 10 Recommendations for Practice -- 10.1 Migration, Children, and Gender Wage Gap -- 10.2 Childcare in the Geneva and the Frankfurt regions -- 10.3 Family-Friendly Companies -- 10.4 Summary of the Implications for Further Research and the Recommendations for Practice -- 11 Conclusion: Motility and Mobility -- Appendix -- Bibliography.
    Weitere Ausg.: Print version: Tissot, Florian Doing Family on the Move Bern : Peter Lang AG International Academic Publishers,c2020 ISBN 9783034339186
    Sprache: Englisch
    Fachgebiete: Soziologie
    RVK:
    Schlagwort(e): Electronic books. ; Hochschulschrift
    URL: Volltext  (kostenfrei)
    URL: Volltext  (kostenfrei)
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 8
    Online-Ressource
    Online-Ressource
    Amsterdam :Amsterdam University Press,
    UID:
    almahu_9949517278202882
    Umfang: 1 online resource (351 pages)
    Ausgabe: 1st ed.
    ISBN: 9789048553952
    Weitere Ausg.: Print version: Schneider, Florian Global Perspectives on China's Belt and Road Initiative Amsterdam : Amsterdam University Press,c2021
    Sprache: Englisch
    Schlagwort(e): Electronic books.
    URL: Cover
    URL: Cover
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 9
    UID:
    almahu_9949301338602882
    Umfang: 1 online resource (142 pages)
    ISBN: 9783030586171
    Anmerkung: Intro -- Contents -- Ernst Denert Software Engineering Awards 2019 -- 1 Relevance of Software Engineering -- 2 History of the Ernst Denert Software Engineering Award -- 3 Award Submission Process -- 4 Selection Criteria -- 5 Selection Process -- 6 The Award Nominees and the Winner -- 7 Contents of the Book -- 7.1 Thanks -- Software Engineering -- 1 1968 -- 2 Software Architecture -- 2.1 Application View -- 2.2 Design View -- 2.3 Program View -- 3 Software Development -- 4 Teamwork -- 5 A Final Wish -- Applications of Synchronized Pushdown Systems -- 1 Introduction -- 2 Motivating Examples -- 2.1 Null Pointer Analysis -- 2.2 Taint Analysis -- 2.3 Typestate Analysis -- 2.4 Cryptographic Misuses -- 3 Synchronized Pushdown Systems -- 3.1 Calls-Pushdown System -- 3.2 Field-Pushdown System -- 3.3 Synchronization of Call-PDS and Field-PDS -- 4 Boomerang -- 5 Typestate Analyses Based on IDEal -- 6 CogniCrypt -- 6.1 The CrySL Language -- 6.2 Compiling CrySL to a Static Analysis -- 6.3 Evaluation on Maven Central -- 7 Conclusion -- References -- Software Developers' Work Habits and Expertise: Empirical Studies on Sketching, Code Plagiarism, and Expertise Development -- 1 Introduction -- 2 Sketching: Developers' Usage of Sketches and Diagrams in Practice -- 3 Code Plagiarism: Stack Overflow Code Snippets in GitHub Projects -- 4 Expertise Development: Toward a Theory of Software Development Expertise -- 5 Methodological Insights: Issues in Sampling Software Developers -- 6 Open Data: Building and Maintaining the SOTorrent Dataset -- 7 Summary and Future Work -- References -- Applied Artifact-Based Analysis for Architecture ConsistencyChecking -- 1 Introduction -- 2 Foundations -- 2.1 UML/P -- 2.1.1 Class Diagrams -- 2.1.2 Object Diagrams -- 2.1.3 Object Constraint Language -- 2.2 MontiCore -- 2.3 Architecture Consistency Checking -- 3 Artifact-Based Analysis. , 3.1 Create Artifact Model -- 3.2 Specify Artifact Data Analyses -- 3.3 Artifact-Based Analyses -- 3.4 Artifact-Based Analysis for Architecture Consistency Checking -- 4 Applied Analyses -- 4.1 DEx Generator -- 4.2 MontiCar Repositories -- 5 Conclusion -- References -- Same but Different: Consistently Developing and Evolving Software Architecture Models and Their Implementation -- 1 Introduction -- 2 The Explicitly Integrated Architecture Approach -- 2.1 Explicitly Integrated Architecture Process -- 2.2 Model Integration Concept -- 2.2.1 Integration Mechanisms -- 2.2.2 Operational Semantics -- 2.3 Intermediate Architecture Description Language -- 2.4 Architecture Model Transformations -- 2.4.1 Transformations Between Architecture Languages -- 2.4.2 Transformations Within the IAL -- 3 Tool Support -- 3.1 Codeling -- 3.1.1 Model/Code Transformations -- 3.1.2 Model-to-Model Transformations -- 3.1.3 Process Execution -- 3.2 Code Generation Tool -- 3.3 Execution Runtimes -- 4 Evaluation -- 4.1 Use Case JACK 3 -- 4.2 Use Case CoCoME in PCM -- 4.3 Further Use Cases -- 4.4 Discussion -- 5 Related Work -- 6 Conclusions and Future Work -- References -- Actionable Program Analyses for Improving Software Performance -- 1 Introduction -- 1.1 Terminology -- 1.2 Challenges and Motivation -- 1.3 Outline -- 2 Performance Issues and Optimizations in JavaScript -- 2.1 Methodology -- 2.2 Subject Projects -- 2.3 Selection of Performance Issues -- 2.4 Main Findings -- 2.5 Practical Impact -- 3 Performance Profiling for Optimizing Orders of Evaluation -- 3.1 An Analysis for Detecting Reordering Opportunities -- 3.2 Dynamic Analysis -- 3.3 Experimental Evaluation -- 4 Cross-Language Optimizations in Big Data Systems -- 4.1 Performance Issues in SCOPE Language -- 4.2 Static Analysis to Find Method Inlining Opportunities -- 4.3 Experimental Evaluation -- 4.3.1 Case Studies. , 5 Test Generation of Higher-Order Functions in Dynamic Languages -- 5.1 Overview of the Framework -- 5.2 Callback Generation Approaches -- 6 Conclusions -- 6.1 Summary of Contributions -- 6.2 Future Research Directions -- References.
    Weitere Ausg.: Print version: Felderer, Michael Ernst Denert Award for Software Engineering 2019 Cham : Springer International Publishing AG,c2020 ISBN 9783030586164
    Sprache: Englisch
    Schlagwort(e): Electronic books.
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 10
    Online-Ressource
    Online-Ressource
    Amsterdam :Amsterdam University Press,
    UID:
    almahu_9949517413902882
    Umfang: 1 online resource (331 pages)
    Ausgabe: 1st ed.
    ISBN: 9789400603462
    Weitere Ausg.: Print version: Schneider, Florian Staging China Amsterdam : Amsterdam University Press,c2019 ISBN 9789087283247
    Sprache: Englisch
    Schlagwort(e): Electronic books. ; Electronic books.
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie auf den KOBV Seiten zum Datenschutz