Formale Modelle Der Softwareentwicklung
DOWNLOAD eBooks
Download Formale Modelle Der Softwareentwicklung PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Formale Modelle Der Softwareentwicklung book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages. If the content not found or just blank you must refresh this page
Formale Modelle Der Softwareentwicklung
DOWNLOAD eBooks
Author : Stephan Kleuker
language : de
Publisher: Springer-Verlag
Release Date : 2009-09-15
Formale Modelle Der Softwareentwicklung written by Stephan Kleuker and has been published by Springer-Verlag this book supported file pdf, txt, epub, kindle and other format this book has been release on 2009-09-15 with Computers categories.
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. Der Inhalt: Motivation von formalen Modellen – Model Checking mit Promela und Spin – Timed Automata – Petrinetze – Semantik und Verifikation sequenzieller und paralleler Programme Die Zielgruppe: - Informatik-Studierende ab 4. Semester - Studierende in Informatik-orientierten Master-Studiengängen - Entwickler kritischer Software-Systeme - An Qualitätssicherung Interessierte Der Autor: Prof. Dr. Stephan Kleuker hat im Themengebiet "formale Methoden" promoviert und lehrt seit mehreren Jahren Software-Engineering an den Fachhochschulen in Osnabrück und Wiesbaden. Er hat mehrjährige Praxiserfahrung als Systemanalytiker sowie als Berater bei der Erstellung komplexer Software-Systeme.
Softwareentwicklung Eingebetteter Systeme
DOWNLOAD eBooks
Author : Peter Scholz
language : de
Publisher: Springer-Verlag
Release Date : 2006-05-02
Softwareentwicklung Eingebetteter Systeme written by Peter Scholz and has been published by Springer-Verlag this book supported file pdf, txt, epub, kindle and other format this book has been release on 2006-05-02 with Computers categories.
Eingebettete Systeme übernehmen komplexe Steuerungs- und Regelungsaufgaben für technische Systeme. Ihre Funktionalität wird durch das Zusammenspiel von Spezialhardware, Standardprozessoren, Peripherie und Software realisiert. Oft liegt der Schwerpunkt auf Hardware-Aspekten. Tatsächlich spielt der Softwareentwurf eine mindestens genauso wichtige Rolle beim Entwurf dieser Systeme. Hier setzt das Buch an und liefert einen guten Überblick über das Thema. Klassifikationen und Themen wie Nebenläufigkeit, Echtzeit und Echtzeitbetriebssysteme bilden die Grundlagen. Die Programmierung eingebetteter Systeme wird mit C++, Java sowie an den Beispielen von Esterel und Giotto erläutert. Ausgewählte Softwareentwurfstechniken wie Statecharts, hybride Systeme, UML und Hardware-Software Co-Design werden ausführlich vorgestellt. Eingebettete Systeme finden oft in sicherheitskritischen Bereichen Einsatz. Die Sicherung der Softwarequalität ist daher von zentraler Bedeutung und bildet einen weiteren wichtigen Teil des Buches.
Concrete Abstractions
DOWNLOAD eBooks
Author : Wolfgang Schreiner
language : en
Publisher: Springer Nature
Release Date : 2023-04-11
Concrete Abstractions written by Wolfgang Schreiner and has been published by Springer Nature this book supported file pdf, txt, epub, kindle and other format this book has been release on 2023-04-11 with Computers categories.
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.
Software Engineering Durch Modellierung Wissensintensiver Entwicklungsprozesse
DOWNLOAD eBooks
Author : Tessen Freund
language : de
Publisher: GITO mbH Verlag
Release Date : 2007
Software Engineering Durch Modellierung Wissensintensiver Entwicklungsprozesse written by Tessen Freund and has been published by GITO mbH Verlag this book supported file pdf, txt, epub, kindle and other format this book has been release on 2007 with categories.
Logische Und Methodische Grundlagen Der Programm Und Systementwicklung
DOWNLOAD eBooks
Author : Manfred Broy
language : de
Publisher: Springer-Verlag
Release Date : 2019-06-11
Logische Und Methodische Grundlagen Der Programm Und Systementwicklung written by Manfred Broy and has been published by Springer-Verlag this book supported file pdf, txt, epub, kindle and other format this book has been release on 2019-06-11 with Computers categories.
Dieses Buch vermittelt Studierenden und Praktikern die Grundlagen der System- und ProgrammentwicklungIn diesem Buch stellen Manfred Broy und Alexander Malkis die wesentlichen Grundlagen und Methoden der Programmentwicklung vor. Die Autoren vermitteln Studierenden der Informatik und Praktikern aus dem Bereich Software-Engineering, wie sie grundlegende Aufgaben der Programmentwicklung auf wissenschaftlicher Basis verstehen und bewältigen. Sie fassen alle behandelten wissenschaftlichen Ansätze und Methoden übersichtlich zusammen und führen diese anhand von praktischen Beispielen näher aus. Die Kernthemen des Werks im ÜberblickDas Buch „Logische und Methodische Grundlagen der Programm- und Systementwicklung“ widmet sich folgenden Themen:? Algebraische Spezifikationen von Daten- und Rechenstrukturen ? Spezifikation und Implementierung ? Nachweis der Korrektheit für funktionale, sequenzielle und objektorientierte Programmierung? Korrektheits- und Terminierungsbeweise? Design-by-Contract ? Schrittweise Verfeinerung
Aufgabenorientierte Softwareentwicklung
DOWNLOAD eBooks
Author : Barbara Paech
language : de
Publisher: Springer-Verlag
Release Date : 2013-03-07
Aufgabenorientierte Softwareentwicklung written by Barbara Paech and has been published by Springer-Verlag this book supported file pdf, txt, epub, kindle and other format this book has been release on 2013-03-07 with Computers categories.
Informations- und Kommunikationstechnologie prägen zunehmend unsere Wirtschaft und Gesellschaft. Ihre weite Verbreitung erfordert eine Softwareentwicklung, die nicht nur auf die Technologie, sondern auch auf die Besonderheiten der Anwendungsgebiete ausgerichtet ist. Das vorliegende Buch behandelt die Gestaltung von Softwaresystemen und ihren Umgebungszusammenhängen mit der Methode der Objekt- und Aufgabenorientierten Software-Entwicklung (OASE). Der Vorstellung der wesentlichen Konzepte folgt eine systematische Darstellung der vorhandenen Modellierungstechniken. Typische Methoden aus der Betriebswirtschaft, den Sozial- und Arbeitswissenschaften, der Softwareergonomie und des Software Engineering werden daraufhin untersucht, welchen Beitrag sie zur integrierten Modellierung und Gestaltung von Softwaresystemen leisten. OASE greift wesentliche Elemente dieser Methoden auf und vervollständigt sie zu einer durchgängigen Modellierung eines Anwendungs-, Nutzungs- und Softwaresystems.
Referenzmodelle Und Pattern In Der Modellierung Wissensintensiver Prozesse Im Software Engineering
DOWNLOAD eBooks
Author : Mathias Uslar
language : de
Publisher: GRIN Verlag
Release Date : 2007
Referenzmodelle Und Pattern In Der Modellierung Wissensintensiver Prozesse Im Software Engineering written by Mathias Uslar and has been published by GRIN Verlag this book supported file pdf, txt, epub, kindle and other format this book has been release on 2007 with categories.
Diplomarbeit aus dem Jahr 2004 im Fachbereich Informatik - Wirtschaftsinformatik, Note: 1,3, Carl von Ossietzky Universität Oldenburg (Abteilung Informationssysteme), 155 Quellen im Literaturverzeichnis, Sprache: Deutsch, Abstract: KurzfassungIm Rahmen dieser Arbeit wird eine Methode für die Modellierung wissensintensiver Prozesse im Software Engineering entworfen. Ausgehend von den Prozessen im Software Engineering, welche gemäß dem SWEBOK der IEEE dargestellt werden, wird nach einer Darstellung der einzelnen Wissensgebiete der Softwareentwicklung ein Überblick über allgemeine Aspekte geboten. Diese Gebiete werden nach einer Definition und Darstellung des Begriffes der wissensintensiven Geschäftsprozesse kategorisiert und auf Eigenschaften wissensintensiver Prozesse untersucht. Dadurch können wissensintensive Prozesse identifiziert und ihre jeweiligen Schwerpunkte und Prozessunterstützungen dargestellt werden. Aus den Erkenntnissen über wissensintensive Prozesse,Wissensgebiete der Softwareentwicklung und der Unterstützung der Wissensgebiete lassen sich zusammen mit dem Stand der Unterstützung der Softwareentwicklung durch Wissensmanagement und Anforderungen an Modellierungsprachen Anforderungen für die im Rahmen der Arbeit zu entwickelnde Modellierungssprache KMDL SE (Knowledge Modeling Description Language for Software Engineering) ableiten. Diese wird im letzten Kapitel der Arbeit entwickelt und stellt eine Unterstützung zur Modellierung wissensintensiver Prozesse in der Softwareentwicklung auf Basis von fundierten Erkenntnissen aus den Gebieten der Softwareentwicklung und des Wissensmanagements dar. Dabei werden ausgewählte Teilaspekte der KMDL SE vertieft dargestellt.
Objektorientierte Softwareentwicklung Mittels Unified Modeling Language Uml Und Rational Unified Process Rup
DOWNLOAD eBooks
Author : Inga Schirrmann
language : de
Publisher: GRIN Verlag
Release Date : 2008
Objektorientierte Softwareentwicklung Mittels Unified Modeling Language Uml Und Rational Unified Process Rup written by Inga Schirrmann and has been published by GRIN Verlag this book supported file pdf, txt, epub, kindle and other format this book has been release on 2008 with categories.
Studienarbeit aus dem Jahr 2008 im Fachbereich Informatik - Wirtschaftsinformatik, Note: 1,0, Universität Hamburg (Department für Wirtschaft und Politik), Veranstaltung: Wirtschaftsinformatik II, Sprache: Deutsch, Abstract: Innerhalb dieser Arbeit soll die objektorientierte Softwareentwicklung mittels UML und RUP als Beispiel für ein methodisches Vorgehen im Sinne des Software Engineering detailiert dargestellt werden. Hierbei liegt der Schwerpunkt der Darstellungen auf den technischen Aspekten der Softwareherstellung (technische Prozesse der Softwareentwicklung) und auf den ersten beiden Prozessaktivitäten (Softwarespezifikation und Softwareentwicklung) des Softwareprozesses [Somm07, S. 33f]. Die Arbeit gliedert sich in drei Abschnitte (vgl. Bild 1). Im ersten Abschnitt werden die grundlegenden Begriffe und ausgewählte Techniken und Vorgehensweisen aus dem Software Engineering vorgestellt und diskutiert. Der zweite Abschnitt vertieft UML als Modellierungsmethode und RUP als Vorgehensmodell zur objektorientierten Softwareentwicklung. Grundlegenden Prinzipien, Arbeitsschritte und Phasen von RUP und die Notation und Semantik der Modellierungsmethode UML werden beschrieben. Eine kurze Beispielanwendung der vorgestellten Methodik und Vorgehensweise im dritten Abschnitt der Arbeit zeigt die praktische Umsetzung für ein Softwaresystem zur Bibliotheksverwaltung. Die Größe und Komplexität von Softwaresystemen verdoppelt sich etwa alle fünf Jahre. Heutige Softwaresysteme können leicht aus mehreren Millionen Zeilen Quelltext bestehen. Sie werden mehrheitlich nicht mehr für einen einzelnen Computer geschrieben sondern bestehen aus verteilten Anwendungen, die als Teil komplexer Softwarearchitekturen ihre Aufgabe erfüllen müssen [West06, S.6]. Die Entwicklung fehlerfreier Software stellt eine große Herausforderung für die Entwickler dar, die ohne methodisches Vorgehen und Techniken aus dem Software Engineering nur schwer möglich ist [Somm07, S.30f]. Seit Beginn der 90iger
Refactoring In Der Ontologiegetriebenen Softwareentwicklung
DOWNLOAD eBooks
Author : Erik Tittel
language : de
Publisher: GRIN Verlag
Release Date : 2011
Refactoring In Der Ontologiegetriebenen Softwareentwicklung written by Erik Tittel and has been published by GRIN Verlag this book supported file pdf, txt, epub, kindle and other format this book has been release on 2011 with Computers categories.
Diplomarbeit aus dem Jahr 2011 im Fachbereich Informatik - Angewandte Informatik, Note: 1,0, Technische Universität Dresden (Institut für Software- und Multimediatechnik), Sprache: Deutsch, Abstract: In der vorliegenden Arbeit wird ein Konzept zur Entwicklung und Evolution ontologiegetriebener Softwaresysteme erarbeitet. Ontologiegetriebene Softwaresysteme sind Softwaresysteme, bei denen Ontologien als zentrale Designdokumente zum Einsatz kommen. Ontologien sind gleichzeitig zentrale Bestandteile des ausführbaren Systems und dienen zur Strukturbeschreibung und Datenhaltung. Dabei werden Teile des Softwaresystems automatisch aus den Strukturbeschreibungen der Ontologie abgeleitet. Diese Arbeit konzentriert sich auf die Weiterentwicklung solcher Systeme und stellt dafür einen Katalog von Ontologie-Refactorings auf. Es werden mehrere Werkzeuge, gemeinsam als OntoMore bezeichnet, implementiert, um die Umsetzbarkeit des aufgestellten Konzepts zu zeigen. OntoMore kann Ontologien in Metamodelle und Modelle des EMF umwandeln und somit in Softwaresysteme integrieren. Außerdem ist es in der Lage, Refactorings auf beiden Strukturen synchron auszuführen. Dieser Prozess wird als Co-Refactoring bezeichnet. Damit wird die konsistente Evolution von Ontologien und Modellen sichergestellt. Die Implementierung wird anhand einer Beispiel-Ontologie zum Freelancer-Management evaluiert.
Basiswissen Modellbasierter Test
DOWNLOAD eBooks
Author : Mario Winter
language : de
Publisher: dpunkt.verlag
Release Date : 2016-11-11
Basiswissen Modellbasierter Test written by Mario Winter and has been published by dpunkt.verlag this book supported file pdf, txt, epub, kindle and other format this book has been release on 2016-11-11 with Computers categories.
Modellbasiertes Testen (MBT) hat zum Ziel, Prinzipien der modellbasierten Softwareentwicklung auf den Test zu übertragen. Es umfasst die Nutzung von Modellen für die Automatisierung von Testaktivitäten sowie die Modellierung von Artefakten im Testprozess. Während MBT in den letzten Jahren eher als viel diskutiertes Schlagwort wahrgenommen wurde, findet es sich heute mit guten Resultaten in der praktischen industriellen Anwendung wieder. Dieses Buch vermittelt die Grundlagen modellbasierten Testens und gibt einen fundierten Überblick über den modellbasierten Testprozess. Es zeigt darüber hinaus auf, • welche Voraussetzungen für den Einsatz modellbasierten Testens in einer Organisation zu schaffen sind, • welche möglichen Fallstricke eine erfolgreiche Einführung verhindern können und • wie Sie diese Fallstricke vermeiden können. Zahlreiche Beispiele auf Basis zweier durchgängiger Anwendungen erläutern die methodischen Grundlagen. Im Rahmen einer Fallstudie wird insbesondere auf die Qualitätsgewinne und Einsparpotenziale eingegangen, die MBT realisieren kann. Die 2. Auflage wurde vollständig überarbeitet und ist konform zum ISTQB®-Lehrplan Foundation Level Extension "Model-Based Tester". "Das Buch überzeugt in seinem stilistisch wohlausgewogenen Herangehen an die Materie, die aus verschiedenen Perspektiven betrachtet und analysiert wird." Aus dem Geleitwort zur 1. Auflage von Prof. Dr. Ina Schieferdecker