| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910483044503321 |
|
|
Titolo |
Programming Languages and Systems : 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings / / edited by Matthias Felleisen, Philippa Gardner |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2013.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XX, 620 p. 162 illus.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering, , 2945-9168 ; ; 7792 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Compilers (Computer programs) |
Computer programming |
Computer science |
Software Engineering |
Compilers and Interpreters |
Programming Techniques |
Computer Science Logic and Foundations of Programming |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
Distributed Electronic Rights in JavaScript -- The Compiler Forest -- Pretty-Big-Step Semantics -- Language Constructs for Non-Well-Founded Computation -- Laziness by Need -- FliPpr: A Prettier Invertible Printing System -- Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJULIENNE -- Why3 — Where Programs Meet Provers -- Compositional Invariant Checking for Overlaid and Nested Linked Lists -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational Disjointness -- Modular Reasoning about Separation of Concurrent Data Structures -- Ribbon Proofs for Separation Logic -- Abstract Refinement Types -- Constraining Delimited Control with Contracts -- Verifying Concurrent Memory Reclamation Algorithms with Grace -- Interleaving and Lock- |
|
|
|
|
|
|
|
|
|
|
|
Step Semantics for Analysis and Verification of GPU Kernels -- Verifying Concurrent Programs against Sequential Specifications -- On Distributability in Process Calculi -- Behavioral Polymorphism and Parametricity in Session-Based Communication -- Higher-Order Processes, Functions, and Sessions: A Monadic Integration -- Concurrent Flexible Reversibility -- Structural Lock Correlation with Ownership Types -- Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems -- Model-Checking Higher-Order Programs with Recursive Types -- Counterexample-Guided Precondition Inference -- Information Reuse for Multi-goal Reachability Analyses -- Quarantining Weakness: Compositional Reasoning under Relaxed Memory Models (Extended Abstract) -- Software Verification for Weak Memory via Program Transformation -- Checking and Enforcing Robustness against TSO -- GADTs Meet Subtyping -- A Data Driven Approach for Algebraic Loop Invariants -- Automatic Type Inference for Amortised Heap-Space Analysis. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013. The 31 papers, presented together with a full-length invited talk, were carefully reviewed and selected from 120 full submissions. The contributions have been organized according to ten topical sections on programming techniques; programming tools; separation logic; gradual typing; shared-memory concurrency and verification; process calculi; taming concurrency; model checking and verification; weak-memory concurrency and verification; and types, inference, and analysis. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9911026040603321 |
|
|
Autore |
Armbruster Judith |
|
|
Titolo |
Praxishandbuch Agile Organisationsentwicklung / / Judith Armbruster |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Tübingen, : UVK Verlag, 2023 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (272 pages) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Agilität |
KMU |
Organisationsdesign |
Unternehmensentwicklung |
Unternehmensführung |
Innovation |
Kleine und mittlere Unternehmen |
Anpassungsfähigkeit |
Agile Organisation |
Kollaboration |
Moderieren |
Organisationsentwicklung |
Workshop |
Unternehmer |
Agile |
Canvas-Set |
Reflexionsfrage |
Canvas |
Gemeinschaftskraft |
Canvases |
Strukturkraft |
Wirkungskraft |
Mitarbeitende |
Innovationskraf |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
|
|
|
|
|
Nota di contenuto |
|
1 Einleitung Teil I: Die Grundlagen - Die Agile Blüte verstehen 2 Der Startpunkt: Agilität 2.1 Was ist Agilität? 2.2 Welche Dimensionen hat das Thema Agilität? 2.3 Warum braucht es Agilität? 3 Das Ziel: Agile Organisation 3.1 Was ist eine agile Organisation? 3.2 Was sind die Eigenschaften einer agilen Organisation? 3.3 Was sind die Vorteile einer agilen Organisation? 4 Die Rahmenbedingungen: Agilität in KMU 4.1 Was sind die Besonderheiten von KMU? 4.2 Status quo: Wie agil sind KMU? 5 Das Vorgehen: Agile Organisationsentwicklung 5.1 Was bedeutet Agilität im Bereich der Organisationsentwicklung? 5.2 Was bedeutet agile Organisationsentwicklung für KMU? Zwischenziel #1 erreicht: Der Boden ist bereitet Teil II: Das Handwerkszeug - Die Agile Blüte betrachten 6 Das Modell: Die Agile Blüte 6.1 Die Wirkungskräfte der Agilen Blüte 6.2 Die Dimensionen der Agilen Blüte 6.3 Die handelnden Personen 7 Die Wirkungskraft Innovationskraft 7.1 Die Dimension Vision 7.2 Die Dimension Megatrends 8 Die Wirkungskraft Strukturkraft 8.1 Die Dimension Struktur 8.2 Die Dimension Prozesse 9 Die Wirkungskraft Gemeinschaftskraft 9.1 Die Dimension Kommunikation 9.2 Die Dimension Kollaboration Zwischenziel #2 erreicht: Die Saat ist ausgesät Teil III: Die Praxis - Die Agile Blüte anwenden 10 Das Werkzeug: Das Canvas-Set der Agilen Blüte 10.1 Über Canvases als Methode 10.2 Mehr als ein Canvas: Das Canvas-Set 11 Die Anwendung: Das Canvas-Set nutzen 11.1 Arbeiten mit dem Canvas-Set 11.2 Arbeiten mit den Canvases 12 Die Praxis: Workshops mit Canvases gestalten 12.1 Zu einem Workshop einladen 12.2 Einen Workshop organisieren 12.3 Einen Workshop moderieren Zwischenziel #3 erreicht: Es wachsen zarte Pflänzchen 13 Im Laufe der Zeit: Es blüht Ein persönlicher Rückblick: Erntedank Anhang Quellenverzeichnis Register |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Unternehmen stehen heute zahlreichen Veränderungen gegenüber. Durch Agilität erreichen sie die notwendige Anpassungsfähigkeit, um auf Herausforderungen angemessen zu reagieren. Doch wie werden Unternehmen agil? Mit ihrem Buch unterstützt Judith Armbruster bei diesem Prozess. Leicht verständlich vermittelt sie die Grundlagen von Agilität und erklärt agile Werkzeuge und Praktiken. Darüber hinaus stellt sie mit der Agilen Blüte ein Modell für gelebte Veränderung vor. Die Umsetzung moderner Arbeitsweisen verdeutlicht sie anhand zahlreicher Beispiele aus der Praxis. Dabei nimmt sie besonders kleine und mittlere Unternehmen in den Blick. Zahlreiche Reflexionsfragen sowie das umfangreiche Canvas-Set ermöglichen es, die eigene Situation zu erfassen und eine agile Organisationsentwicklung im Unternehmen anzustoßen. Kurzum: ein wertvoller Impulsgeber für Agile Coaches, Unternehmer: innen, Führungskräfte und Mitarbeitende. |
|
|
|
|
|
|
|
| |