A Discipline of Programming

DOWNLOAD NOW »

Author: Edsger Wybe Dijkstra

Publisher: Prentice Hall

ISBN: N.A

Category: Computers

Page: 217

View: 2157

Executional abstraction; The role of programming languages; States and their characterization; The characterization of semantics; The semantic characterization of a programming language; Two theorems; On the design of properly terminating; Euclid's algorithm revisited; The formal treatment of some small examples; The linear search theorem; The problem of the next permutation.

Systematisches Programmieren

Eine Einführung

DOWNLOAD NOW »

Author: N.A

Publisher: Springer-Verlag

ISBN: 3322895386

Category: Technology & Engineering

Page: 160

View: 9839

Effektive Softwarearchitekturen

Ein praktischer Leitfaden

DOWNLOAD NOW »

Author: Gernot Starke

Publisher: Carl Hanser Verlag GmbH Co KG

ISBN: 3446444068

Category: Computers

Page: 458

View: 9149

EFFEKTIVE SOFTWAREARCHITEKTUREN // - Aktueller Überblick und methodische Einführung - Direkt umsetzbare Tipps für praktizierende Softwarearchitekten - Ideal zur Vorbereitung auf die Zertifizierung zum «Certified Professional for Software ArchitectureTM» (Foundation Level) des iSAQB - Praxisnahe Darstellung von Architekturstilen und -mustern, ausführliche technische Konzepte, NoSQL-Datenbanken sowie aktualisierte und erweiterte Beispielarchitekturen - Neu in der 7. Auflage: Evolution und Verbesserung bestehender Systeme - Detaillierte Beispiele zum Einsatz von arc42 Softwarearchitekten müssen komplexe fachliche und technische Anforderungen an IT-Systeme umsetzen, und sie müssen diese Systeme durch nachvollziehbare Strukturen flexibel und erweiterbar gestalten. Dieser Praxisleitfaden zeigt Ihnen, wie Sie Softwarearchitekturen effektiv und systematisch entwickeln können. Gernot Starke unterstützt Sie mit praktischen Tipps, Architekturmustern und seinen Erfahrungen. Sie finden Antworten auf zentrale Fragen: - Welche Aufgaben haben Softwarearchitekten? - Wie gehe ich beim Entwurf vor? - Wie kommuniziere und dokumentiere ich Softwarearchitekturen? - Wie helfen Architekturstile und -muster? - Wie bewerte ich Softwarearchitekturen? - Wie behandle ich Persistenz, grafische Benutzeroberflächen, Geschäftsregeln, Integration, Verteilung, Sicherheit, Fehlerbehandlung, Business-Process-Management, Microservices und sonstige technische Konzepte? - Was müssen Softwarearchitekten über NoSQL, Domain-Driven-Design und arc42 wissen? - Wie verbessere ich bestehende Systeme? AUS DEM INHALT // Vorgehen bei der Architekturentwicklung // Architekturmuster und -stile // Technische Konzepte // SOA und Enterprise-IT-Architektur // Architekturbewertung // Dokumentation von Architekturen // Modellierung für Softwarearchitekten // Werkzeuge für Softwarearchitekten // Beispiele realer Softwarearchitekturen // iSAQB Curriculum

A Discipline of Multiprogramming

Programming Theory for Distributed Applications

DOWNLOAD NOW »

Author: Jayadev Misra

Publisher: Springer Science & Business Media

ISBN: 144198528X

Category: Computers

Page: 420

View: 4917

In this book, a programming model is developed that addresses the fundamental issues of 'large-scale programming'. The approach unifies several concepts from database theory, object-oriented programming and designs of reactive systems. The model and the associated theory has been christened "Seuss." The major goal of Seuss is to simplify multiprogramming. To this end, the concern of concurrent implementation is separated from the core program design problem. A program execution is understood as a single thread of control - sequential executions of actions that are chosen according to some scheduling policy. As a consequence, it is possible to reason about the properties of a program from its single execution thread.

The Science of Programming

DOWNLOAD NOW »

Author: David Gries

Publisher: Springer Science & Business Media

ISBN: 1461259835

Category: Computers

Page: 388

View: 516

Describes basic programming principles and their step-by- step applications.Numerous examples are included.

Die Kunst der JavaScript-Programmierung

Eine moderne Einführung in die Sprache des Web

DOWNLOAD NOW »

Author: Marijn Haverbeke

Publisher: dpunkt.verlag

ISBN: 3864911915

Category: Computers

Page: 240

View: 7473

Das Buch ist eine Einführung in JavaScript, die sich auf gute Programmiertechniken konzentriert. Der Autor lehrt den Leser, wie man die Eleganz und Präzision von JavaScript nutzt, um browserbasierte Anwendungen zu schreiben. Das Buch beginnt mit den Grundlagen der Programmierung - Variablen, Kontrollstrukturen, Funktionen und Datenstrukturen -, dann geht es auf komplexere Themen ein, wie die funktionale und objektorientierte Programmierung, reguläre Ausdrücke und Browser-Events. Unterstützt von verständlichen Beispielen wird der Leser rasch die Sprache des Web fließend 'sprechen' können.

Beauty Is Our Business

A Birthday Salute to Edsger W. Dijkstra

DOWNLOAD NOW »

Author: W.H.J. Feijen,A.J.M. van Gasteren,David Gries,J. Misra

Publisher: Springer Science & Business Media

ISBN: 1461244765

Category: Computers

Page: 455

View: 3877

More than anything else, this book is a tribute to Edsger W. Dijkstra, on the occasion of his sixtieth birthday, by just a few of those fortunate enough to be influenced by him and his work and to be called his friend or relation, his master, colleague, or pupil. This book contains fifty-four technical contributions in different areas of endeavor, although many of them deal with an area of particular concern to Dijkstra: programming. Each contribution is relatively short and could be digested in one sitting. Together, they form a nice cross section of the discipline of programming at the beginning of the nineties. While many know of Dijkstra's technical contributions, they may not be aware of his ultimate goal, the mastery of complexity in mathematics and computing science. He has forcefully argued that beauty and elegance are essential to this mastery. The title of this book, chosen to reflect his ultimate goal, comes from a sentence in an article of his on some beautiful arguments using mathematical induction: "... when we recognize the battle against chaos, mess, and unmastered complexity as one of computing sci- ence's major callings, we must admit that 'Beauty Is Our Business'."

Clean Coder

DOWNLOAD NOW »

Author: Robert C. Martin

Publisher: mitp Verlags GmbH & Co. KG

ISBN: 3826632087

Category: Computers

Page: 216

View: 6099

Verhaltensregeln für professionelle Programmierer Erfolgreiche Programmierer haben eines gemeinsam: Die Praxis der Software-Entwicklung ist ihnen eine Herzensangelegenheit. Auch wenn sie unter einem nicht nachlassenden Druck arbeiten, setzen sie sich engagiert ein. Software-Entwicklung ist für sie eine Handwerkskunst. In Clean Coder stellt der legendäre Software-Experte Robert C. Martin die Disziplinen, Techniken, Tools und Methoden vor, die Programmierer zu Profis machen. Dieses Buch steckt voller praktischer Ratschläge und behandelt alle wichtigen Themen vom professionellen Verhalten und Zeitmanagement über die Aufwandsschätzung bis zum Refactoring und Testen. Hier geht es um mehr als nur um Technik: Es geht um die innere Haltung. Martin zeigt, wie Sie sich als Software-Entwickler professionell verhalten, gut und sauber arbeiten und verlässlich kommunizieren und planen. Er beschreibt, wie Sie sich schwierigen Entscheidungen stellen und zeigt, dass das eigene Wissen zu verantwortungsvollem Handeln verpflichtet. In diesem Buch lernen Sie: Was es bedeutet, sich als echter Profi zu verhalten Wie Sie mit Konflikten, knappen Zeitplänen und unvernünftigen Managern umgehen Wie Sie beim Programmieren im Fluss bleiben und Schreibblockaden überwinden Wie Sie mit unerbittlichem Druck umgehen und Burnout vermeiden Wie Sie Ihr Zeitmanagement optimieren Wie Sie für Umgebungen sorgen, in denen Programmierer und Teams wachsen und sich wohlfühlen Wann Sie Nein sagen sollten – und wie Sie das anstellen Wann Sie Ja sagen sollten – und was ein Ja wirklich bedeutet Großartige Software ist etwas Bewundernswertes: Sie ist leistungsfähig, elegant, funktional und erfreut bei der Arbeit sowohl den Entwickler als auch den Anwender. Hervorragende Software wird nicht von Maschinen geschrieben, sondern von Profis, die sich dieser Handwerkskunst unerschütterlich verschrieben haben. Clean Coder hilft Ihnen, zu diesem Kreis zu gehören. Über den Autor: Robert C. Uncle Bob Martin ist seit 1970 Programmierer und bei Konferenzen in aller Welt ein begehrter Redner. Zu seinen Büchern gehören Clean Code – Refactoring, Patterns, Testen und Techniken für sauberen Code und Agile Software Development: Principles, Patterns, and Practices. Als überaus produktiver Autor hat Uncle Bob Hunderte von Artikeln, Abhandlungen und Blogbeiträgen verfasst. Er war Chefredakteur bei The C++ Report und der erste Vorsitzende der Agile Alliance. Martin gründete und leitet die Firma Object Mentor, Inc., die sich darauf spezialisiert hat, Unternehmen bei der Vollendung ihrer Projekte behilflich zu sein.

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures

DOWNLOAD NOW »

Author: Roland Backhouse,Roy Crole,Jeremy Gibbons

Publisher: Springer Science & Business Media

ISBN: 3540436138

Category: Computers

Page: 390

View: 7129

Program construction is about turning specifications of computer software into implementations. Recent research aimed at improving the process of program construction exploits insights from abstract algebraic tools such as lattice theory, fixpoint calculus, universal algebra, category theory, and allegory theory. This textbook-like tutorial presents, besides an introduction, eight coherently written chapters by leading authorities on ordered sets and complete lattices, algebras and coalgebras, Galois connections and fixed point calculus, calculating functional programs, algebra of program termination, exercises in coalgebraic specification, algebraic methods for optimization problems, and temporal algebra.

Programmverifikation

Sequentielle, parallele und verteilte Programme

DOWNLOAD NOW »

Author: Krzysztof R. Apt,Ernst-Rüdiger Olderog

Publisher: Springer-Verlag

ISBN: 3642579477

Category: Computers

Page: 258

View: 6666

Semantics of Programming Languages

Structures and Techniques

DOWNLOAD NOW »

Author: Carl A. Gunter

Publisher: MIT Press

ISBN: 9780262570954

Category: Computers

Page: 441

View: 3607

Semantics of Programming Languages exposes the basic motivations and philosophy underlying the applications of semantic techniques in computer science. It introduces the mathematical theory of programming languages with an emphasis on higher-order functions and type systems. Designed as a text for upper-level and graduate-level students, the mathematically sophisticated approach will also prove useful to professionals who want an easily referenced description of fundamental results and calculi.Basic connections between computational behavior, denotational semantics, and the equational logic of functional programs are thoroughly and rigorously developed. Topics covered include models of types, operational semantics, category theory, domain theory, fixed point (denotational). semantics, full abstraction and other semantic correspondence criteria, types and evaluation, type checking and inference, parametric polymorphism, and subtyping. All topics are treated clearly and in depth, with complete proofs for the major results and numerous exercises.

A Discipline of Software Engineering

DOWNLOAD NOW »

Author: B. Walraet

Publisher: Elsevier

ISBN: 1483294218

Category: Computers

Page: 505

View: 7384

This comprehensive approach to the creation of software systems charts a road through system modelling techniques, allowing software engineers to create software meeting two very basic requirements: • that the software system represent a narrow emulation of the organization system that served as its model; • and that the software system display life attributes identical to those of the organization system that it automatizes. The result is a quantum leap increase in software application quality. Such benefit is achieved by the introduction of a fundamental paradigm: the office-floor metaphor which incorporates such well-balanced basic ideas as the functional normalization of tasks and information (in sharp contrast to the classic data normalization) and the principle of tenant-ownership.

Unifying Theories of Programming

First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers

DOWNLOAD NOW »

Author: Steve Dunne

Publisher: Springer Science & Business Media

ISBN: 354034750X

Category: Computers

Page: 256

View: 4292

This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Unifying Theories of Programming, UTP 2006, held at Walworth Castle, County Durham, UK, in February 2006. The book presents 14 revised full papers. Based on the pioneering work on unifying theories of programming by Tony Haare and Jifeng He, UTP 2006 focused on the most significant results and raised awareness of the benefits of unifying theoretical frameworks.

Der Turing Omnibus

Eine Reise durch die Informatik mit 66 Stationen

DOWNLOAD NOW »

Author: A.K. Dewdney

Publisher: Springer-Verlag

ISBN: 3642788726

Category: Computers

Page: 496

View: 7038

Der Turing Omnibus macht in 66 exzellent geschriebenen Beiträgen Station bei den interessantesten Themen aus der Informatik, der Computertechnologie und ihren Anwendungen.

Vorlesungen über Informatik

Band 2: Objektorientiertes Programmieren und Algorithmen

DOWNLOAD NOW »

Author: Gerhard Goos,Wolf Zimmermann

Publisher: Springer-Verlag

ISBN: 354034778X

Category: Computers

Page: 375

View: 2783

Fundierte Einführung in Begriffe und Methoden. Im Mittelpunkt: Prinzipien der System-Modellierung und Entwicklung von Software. Der vorliegende Band vermittelt Kenntnisse für Entwurf und Programmierung mittels imperativer und objektorientierter Programmiersprachen. Schwerpunkte: zustandsorientiertes Programmiermodell, strukturiertes Programmieren, worauf modulare und objektorientierte Programmierung und deren Entwurfsprinzipien aufbauen. Mit Grundlagen der Umsetzung von Programmen aus höheren Programmiersprachen in solche auf Maschinenebene, Methoden zur Konstruktion von Algorithmen. In 4. Auflage, grundlegend überarbeitet und aktualisiert.

Firmware Engineering

Seminar veranstaltet von der gemeinsamen Fachgrupe „Mikroprogrammierung“ des GI Fachausschusses 3/4 und des NTG-Fachausschusses 6 vom 12. – 14. März 1980 in Berlin

DOWNLOAD NOW »

Author: W. K. Giloi

Publisher: Springer-Verlag

ISBN: 3642677746

Category: Computers

Page: 292

View: 7863