Konstruktion guter Algorithmen: Sichere und korrekte by Dipl.-Math. Ingo Dittmer (auth.)

By Dipl.-Math. Ingo Dittmer (auth.)

Das Buch stellt Verfahren vor, die es ermöglichen, sprach- und maschinenunabhängig zu programmieren. Für diese Algorithmen kann zweifelsfrei nachgewiesen werden, daß sie korrekt sind, d. h. genau das leisten, used to be sie leisten sollen. Es wird auf die Übertragung in gängige Programmiersprachen und auf systematische Testmethoden eingegangen. Einen großen Raum nimmt die Besprechung prinzipieller Programmiermethoden ein wie Rekursion, Divide and triumph over, grasping, Dynamisches Programmieren usw. Eine Vielzahl von Beispielalgorithmen werden vorgestellt. Das Buch ist im Rahmen des http://medoc.informatik.tu-muenchen.de/deutsch/medoc.html>MeDoc-Projektes in die elektronische Informatik-Bibliothek aufgenommen worden und steht über das Projekt http://InterDoc.OFFIS.Uni-Oldenburg.de>InterDoc weiterhin zur Verfügung.

Show description

Software Engineering: Eine Einführung für Informatiker und by Reiner Dumke

By Reiner Dumke

Zum Lernen, Nachschlagen und die erfolgreiche Praxis des software program Engineering. Das Buch ist so aufbereitet, dass es die wesentlichen Teilgebiete des internationalen "Software Engineering physique of data" (SWEBOK) abdeckt: die Grundlage für eine Ausbildung im software program Engineering nach internationalem usual. Hier erfahren Sie alles über die Grundprinzipien, Methoden und Technologien jeweils im Kontext ihrer erfolgreichen Umsetzung und Anwendung. Die Darstellung folgt der UML-Methode mit den jeweiligen Tool-Anwendungen. Die neue Auflage wurde gänzlich überarbeitet und aktualisiert.

Show description

Designing Software for the Mobile Context: A Practitioner’s by Avril Hodges, Jolie Bories, Ronan Mandel (auth.), Roman

By Avril Hodges, Jolie Bories, Ronan Mandel (auth.), Roman Longoria (eds.)

Roman Longoria The objective of this e-book is to supply an invaluable and well timed consultant to the practitioner who designs or develops cellular purposes. The individuals to this booklet are leaders within the consumer interface (UI) group actively operating in cellular platform technol­ ogy and cellular software layout. therefore, this publication deals the reader designated perception into the newest applied sciences, industry traits, layout principles, and usefulness information. we offer the reader with the most recent details that would have direct and instant impression on a large scope of product layout judgements, together with these for voice, mobile, and private electronic assistant (PDA) purposes. In different phrases, this booklet is written by means of practitioners, for practitioners. whilst I approached my coauthors approximately writing a bankruptcy, I had just a couple of standards. First, each one writer must have specified event and services a few sure element of cellular functions. moment, that the authors be ready to offer an creation to the applied sciences with which they paintings. 3rd, that every bankruptcy comprise case reports and classes realized from empirical usability reviews. And fourth, that every writer comprise within the bankruptcy a few basic wisdom that they need they'd identified after they acquired all started designing for the cellular context.

Show description

Documenting Software Architecture: Views and Beyond (2nd by Paul Clements, Len Bass, Felix Bachmann, David Garlan, James

By Paul Clements, Len Bass, Felix Bachmann, David Garlan, James Ivers, Reed Little, Paulo Merson, Robert Nord, Judith Stafford

From amazon.com:

Software architecture—the conceptual glue that holds each section of a venture jointly for its many stakeholders—is widely known as a severe aspect in smooth software program improvement. Practitioners have more and more stumbled on that shut awareness to a software program system’s structure can pay useful dividends. with out an structure that's applicable for the matter being solved, a undertaking will stumble alongside or, probably, fail. regardless of an excellent structure, if that structure isn't really good understood or good communicated the venture is not going to succeed.

Documenting software program Architectures, moment version, offers the main entire and present information, self reliant of language or notation, on easy methods to trap an structure in a as a rule comprehensible shape. Drawing on their broad event, the authors first assist you make a decision what details to rfile, after which, with guidance and examples (in a variety of notations, together with UML), assist you to exhibit an structure in order that others can effectively construct, use, and preserve a approach from it. The publication positive factors principles for sound documentation, the targets and methods of documentation, architectural perspectives and types, documentation for software program interfaces and software program habit, and templates for taking pictures and organizing details to generate a coherent package deal. New and enhanced during this moment edition:

* insurance of architectural kinds reminiscent of service-oriented architectures, multi-tier architectures, and information models
* Deeper remedy of documentation of motive, reflecting top commercial practices
* better templates, reflecting years of use and suggestions, and extra documentation structure options
* a brand new, complete instance (available online), that includes documentation of an internet service-oriented system
* Reference courses for 3 vital structure documentation languages: UML, AADL, and SySML

Show description

Evaluation of Novel Approaches to Software Engineering by Leszek A. Maciaszek, Pericles Loucopoulos

By Leszek A. Maciaszek, Pericles Loucopoulos

-State-of-the-art research
-Fast-track convention proceedings
-Unique visibility

This booklet features a choice of completely refereed papers offered on the fifth foreign convention on assessment of Novel methods to software program Engineering, ENASE 2010, held in Athens, Greece, in July 2010. the nineteen revised and prolonged complete papers have been rigorously chosen from 70 submissions. They disguise quite a lot of issues, similar to caliber and metrics; carrier and net engineering; approach engineering; styles, reuse and open resource; technique development; aspect-oriented engineering; and requisites engineering.

Show description

A Code Mapping Scheme for Dataflow Software Pipelining by Guang R. Gao

By Guang R. Gao

This monograph advanced from my Ph. D dissertation accomplished on the Laboratory of laptop technological know-how, MIT, through the summer season of 1986. In my dissertation I proposed a pipelined code mapping scheme for array operations on static dataflow architectures. the most addition to this paintings is located in bankruptcy 12, reflecting new examine effects built over the last 3 years for the reason that I joined McGill University-results established upon the rules in my dissertation. The terminology dataflow delicate­ ware pipelining has been continually used in view that e-book of our 1988 paper at the argument-fetching dataflow structure version at McGill college [43]. within the first a part of this ebook we describe the static info stream graph version as an operational version for concurrent computation. we glance at timing issues for application graph execution on a terrific static dataflow computing device, study the idea of pipe lining, and represent its functionality. We talk about balancing recommendations used to remodel definite graphs into absolutely pipelined facts move graphs. particularly, we express how optimum balancing of an acyclic information circulate graph may be formulated as a linear programming challenge for which an optimum resolution exists. As an immense consequence, we express the optimum balancing challenge of acyclic info circulation graphs is reduceable to a category of linear programming challenge, the web­ paintings stream challenge, for which recognized effective algorithms exist. This consequence disproves the conjecture that such difficulties are computationally hard.

Show description

Software Engineering: Objektorientierte Software-Entwicklung by Bernd Kahlbrandt

By Bernd Kahlbrandt

Unified Modeling Language (UML) hat sich in kurzer Zeit zur Standard-Notation f r objektorientierte Modelle entwickelt. Unter durchgehender Verwendung der UML werden wesentliche Bestandteile objektorientierter Software-Entwicklung dargestellt. Teil I gibt einen berblick ber objektorientierte Prinzipien, die UML und bew hrte Prinzipien des Software-Engineerings. In Teil II werden die info der UML in der model 1.1 vom 1.9.1997 pr sentiert. Teil III erl utert die Entwicklungsaktivit ten in examine, layout und Implementierung mit objektorientierten Systemen und relationalen Datenbanken. Die benutzten Begriffe werden im textual content definiert. Diese und weitere Begriffe sind in dem umfangreichen Glossar zusammengefa t. Dort findet der Leser auch abweichende Begriffsverwendungen.

Show description