Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Semantics of Specification Languages (SoSL)
SoSL was the first International Workshop on Semantics of Specification Languages, held from 25-27 October 1993 in Utrecht, the Netherlands. The workshop was organized by the Department of Philosophy of Utrecht University with financial support from the Nationale Faciliteit Informatica of the Nederlandse Organisatie voor Wetenschappelijk Onderzoek (NWO), and under the auspices of the British Computer Society'S specialist group in Formal Aspects of Computing Science (BCS FACS). The concern of the workshop was the semantics of specification languages, and the issues closely related to this area, such as type checking and the justification of proof rules and proof obligations. Its aim was the e...
Grundkurs Datenbankentwicklung
Ein kompakter und praxisorientierter Einstieg, mit dem Studierende bereits früh im Studium sehr gut zurechtkommen. Die verschiedenen Phasen einer Datenbankentwicklung werden mit ihren Vorgehensweisen, Konzepten und möglichen Problemquellen vorgestellt. Gerade die Anforderungsanalyse und die Möglichkeit zur Erstellung mächtiger SQL-Anfragen werden als besonders praxisrelevante Aspekte betont. Studierende sind nach der Lektüre in der Lage, in Praxisprojekten erfolgreich mitzuarbeiten. Die zweite Auflage wurde um die Themen Stored Procedures und JDBC erweitert und deckt somit die Einführungsvorlesung vollständig ab. Neben vielen kleinen Beispielen zur Verdeutlichung einzelner Aspekte wir...
Tools and Algorithms for the Construction and Analysis of Systems
This book constitutes the refereed proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '97, held in Enschede, The Netherlands, in April 1997. The book presents 20 revised full papers and 5 tool demonstrations carefully selected out of 54 submissions; also included are two extended abstracts and a full paper corresponding to invited talks. The papers are organized in topical sections on space reduction techniques, tool demonstrations, logical techniques, verification support, specification and analysis, and theorem proving, model checking and applications.
Concrete Abstractions
This book demonstrates how to formally model various mathematical domains (including algorithms operating in these domains) in a way that makes them amenable to a fully automatic analysis by computer software.The presented domains are typically investigated in discrete mathematics, logic, algebra, and computer science; they are modeled in a formal language based on first-order logic which is sufficiently rich to express the core entities in whose correctness we are interested: mathematical theorems and algorithmic specifications. This formal language is the language of RISCAL, a “mathematical model checker” by which the validity of all formulas and the correctness of all algorithms can be automatically decided. The RISCAL software is freely available; all formal contents presented in the book are given in the form of specification files by which the reader may interact with the software while studying the corresponding book material.
Strategy, Planning and Organization of Test Processes
The book provides concrete tips for the successful organization of software tests. Because: Planning and conception in advance are essential for successful test projects. Setting the right course prevents problems from the outset and highlights the need for action in software testing. In addition to theoretical basics, this work shows the implementation in practice and deals with typical problems. Frank Witte explains the decisive aspects to be considered in the test concept in order to optimally support and accompany the test process. This book is a translation of the original German 1st edition Strategie, Planung und Organisation von Testprozessen by Frank Witte, Springer Fachmedien Wiesbaden GmbH, part of Springer Nature in 2020. The translation was done with the help of artificial intelligence (machine translation by the service DeepL.com). A subsequent human revision was done primarily in terms of content, so that the book will read stylistically differently from a conventional translation. Springer Nature works continuously to further the development of tools for the production of books and on the related technologies to support the authors.
Grundkurs Software-Engineering mit UML
Software-Projekte scheitern aus den unterschiedlichsten Gründen. Dieses Buch zeigt anhand der systematischen Analyse von Chancen und Risiken, wie die Wege zu erfolgreichen Software-Projekten aussehen. Ausgehend von der Basis, dass das Zusammenspiel aller an einem Projekt Beteiligten in Prozessen koordiniert werden soll, wird mit Hilfe der UML (Unified Modeling Language) der Weg von den Anforderungen über die Modellierung bis zur Implementierung beschrieben. Es werden situationsabhängige Alternativen diskutiert und der gesamte Prozess mit qualitätssichernden Maßnahmen begleitet. Zur Abrundung des Themengebiets werden wichtige Ansätze zur Projektplanung und zur Projektdurchführung beschrieben, die die Einbettung der Software-Entwicklung in die Gesamtprozesse eines Unternehmens aufzeigen. Alle Kapitel schließen mit Wiederholungsfragen und Übungsaufgaben. Lösungsskizzen sind über das Internet erhältlich.
Bewertung der objektorientierten Analyse im Vergleich zu konventionellen Ansätzen
Inhaltsangabe:Einleitung: Die Analyse ist im Kontext der Software-Architektur ein Prozess, in dem ein System im Ganzen oder ein bestimmter Problembereich zerlegt, geordnet und untersucht wird. Gegenstand der Analyse kann ein bereits vorhandenes (Ist-Analyse) oder ein noch zu entwickelndes System (Soll-Analyse) sein. Die eingesetzten Analyse-Methoden sind in beiden Ausgangssituationen allerdings identisch. Neben den konventionellen Analysemethoden, z. B. wie der Strukturierten Analyse erfreut sich das objektorientierte Paradigma mit der Objektorientierten Analyse (OOA) einer sehr großen Verbreitung. Bei den immer komplexer werdenden Anwendungen und den unberechenbaren Impulsen aus der Umwelt...
Qualitätssicherung durch Softwaretests
Erfahren Sie in diesem Buch alles über die Bedeutung von Softwaretests zur QualitätssicherungSoftwaretests bekommen bei immer komplexer werdenden Programmen eine wachsende Bedeutung für den Projekterfolg. Obwohl Testkonzepte bereits etabliert sind, werden sie in Unternehmen häufig nur in geringem Maße genutzt, da sie zu aufwändig und teuer erscheinen. Mit diesem Buch beleuchtet Stephan Kleuker ausführlich die wichtige Rolle von Softwaretests im Rahmen der Qualitätssicherung. Neben einer intuitiven Einführung in die Testfallentwicklung ermöglicht Ihnen dieses Werk den schnellen Einstieg in das Testen von Java-Programmen mit Hilfe von einfachen Open-Source-Werkzeugen. Dabei werden ne...
Formal Description Techniques IX
This book is the combined proceedings of the latest IFIP Formal Description Techniques (FDTs) and Protocol Specification, Testing and Verification (PSTV) series. It addresses FDTs applicable to communication protocols and distributed systems, with special emphasis on standardised FDTs. It features state-of-the-art in theory, application, tools and industrialisation of formal description.
Formale Modelle der Softwareentwicklung
Software muss funktionieren, um von Kunden akzeptiert zu werden. Doch wie stellt man sicher, dass die Steuerung eines Raumschiffs, eines Herzschrittmachers oder einer Aktienverwaltung korrekt funktioniert? Neben den klassischen Testansätzen spielen für den Korrektheitsnachweis zunehmend formale Modelle eine zentrale Rolle. Ein Modell erlaubt es, ein beliebiges sequenzielles oder verteiltes System zu analysieren und zu simulieren. Dadurch, dass Korrektheitsanforderungen präzise definiert werden, kann man sogar verifizieren, dass die Anforderungen erfüllt sind. Dieses Buch stellt unterschiedliche formale Modelle mit ihren Einsatzmöglichkeiten und Werkzeugen vor. Dabei steht bewusst die Anwendung der Modelle und nicht die Theorie dahinter im Vordergrund.
