A Discipline of Programming

DOWNLOAD NOW »

Author: Edsger Wybe Dijkstra

Publisher: Prentice Hall

ISBN: N.A

Category: Computers

Page: 217

View: 8552

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: 5873

Effektive Softwarearchitekturen

Ein praktischer Leitfaden

DOWNLOAD NOW »

Author: Gernot Starke

Publisher: Carl Hanser Verlag GmbH Co KG

ISBN: 3446444068

Category: Computers

Page: 458

View: 5146

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: 6323

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: 1730

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

Clean Coder

DOWNLOAD NOW »

Author: Robert C. Martin

Publisher: mitp Verlags GmbH & Co. KG

ISBN: 3826632087

Category: Computers

Page: 216

View: 7160

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.

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: 9321

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: 7086

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'."

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: 7417

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.

Semantics of Programming Languages

Structures and Techniques

DOWNLOAD NOW »

Author: Carl A. Gunter

Publisher: MIT Press

ISBN: 9780262570954

Category: Computers

Page: 441

View: 9694

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.

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: 7603

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.

A Discipline of Software Engineering

DOWNLOAD NOW »

Author: B. Walraet

Publisher: Elsevier

ISBN: 1483294218

Category: Computers

Page: 505

View: 1220

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.

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: 2468

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: 9121

Multimedia Introduction to Programming Using Java

DOWNLOAD NOW »

Author: David Gries,Paul Gries

Publisher: Springer Science & Business Media

ISBN: 0387269347

Category: Computers

Page: 536

View: 2787

This book anchors its pedagogy in the program ProgramLive that you may find at extras.springer.com, a complete multimedia module in itself. Containing over 250 recorded lectures with synchronized animation, ProgramLive allows users to see, first-hand and in real time, processes like stepwise refinement of algorithms, development of loops, execution of method calls and associated changes to the call stack, and much more. The zip file also includes all programs from the book, 35 guided instruction sets for closed lab sessions, and a 70-page hyperlinked glossary. With its comprehensive appendices and bibliography, systematic approach, and helpful interactive programs on extras.springer.com, this exciting work provides the key tools they needed for successful object-oriented programming. It is ideal for use at the undergraduate and graduate beginning level, whether in the classroom or for distance learning; furthermore, the text will also be a valuable self-study resource or reference volume in any programmer’s library.

Structured Design

Fundamentals of a Discipline of Computer Program and Systems Design

DOWNLOAD NOW »

Author: Edward Yourdon,Larry L. Constantine

Publisher: N.A

ISBN: N.A

Category: Computers

Page: 473

View: 7247

A valuable new approach to computer systems and program design, structured design is quickly becoming the standard industrial technique for significantly improving productivity, enhancing reliability, and lowering maintenance costs.