A-C QA-C. das statische Sourcecode Analyse-Tool für C

Größe: px
Ab Seite anzeigen:

Download "A-C QA-C. das statische Sourcecode Analyse-Tool für C"

Transkript

1 A-C QA-C das statische Sourcecode Analyse-Tool für C Fehler vermeiden von Anfang an Bessere Software in kürzerer Zeit Automatisierte Code-Reviews Für bessere Software für bessere Entwicklerteams Unsere Software muss immer schneller marktreif sein. Und das mit immer weniger Fehlern. Das schaffen wir nur mit QA-C.

2 QA-C QA Systems GmbH Softwareentwicklung zu beschleunigen und zu verbessern das hat sich die QA Systems GmbH zur Aufgabe gemacht. Gegründet wurde das Unternehmen 1996 von Andreas Sczepansky in Stuttgart. QA Systems bietet Entwicklern, Softwaretestern und Qualitätsmanagern sowohl eigene Produkte mit weltweiter Vermarktung als auch passende Partnerprodukte an: ob für statisches oder dynamisches Testen, Requirements Engineering, Architekturanalyse oder Softwaremetriken. Um ihre Kunden bestmöglich zu unterstützen, berät und unterstützt QA Systems die Unternehmen vor, während und nach der Softwareeinführung nachhaltig und individuell. Zusätzlich wird der Wissenstransfer in der QA-Systems-Akademie gefördert. Experten wie zum Beispiel Dr. Scott Meyers und Prof. Dr. Les Hatton geben hier ihr Know-how und ihre Expertise weiter. Zu den rund 350 Kunden von QA Systems gehören unter anderem BMW, Continental und EADS.

3 QA-C QA-C 3 Bessere Software mit dem Marktführer In kürzerer Zeit bessere C-Programme erstellen möglich macht das QA-C, das statische Sourcecode Analyse-Tool für C. QA-C lokalisiert versteckte Mängel im Code. Und nicht nur das: es verbessert QA- C: I hr Sc h lü s s e l zu be sse re r Sof t ware perma nent die Art, wie die Programmiersprache C in von Ihnen ent wickelten Pro gram men genutzt wird. Sie definieren einen Program mier standard, so wie er Ihren An for derungen entspricht. Und QA-C sorgt voll automatisiert dafür, Weniger Softwarefehler dass er in allen Ihren Entwicklungen umgesetzt wird. Für zuverlässige, portable und wartungsfreundliche Softwarelösungen Mit QA-C können formale Code-Reviews auto matisiert werden, und Kandidaten Je früher im Entwicklungsprozess Softwarefehler entdeckt werden, desto kostengünstiger können sie behoben werden Hebt das Know-how Ihrer Entwickler und fördert bewährte Vorgehensweisen Besserer Software-Code unter Einhaltung Ihrer Standardvorgaben Verbessert die Zusammenarbeit der Entwicklerteams Erlaubt sofortige und wiederholbare Tests in Ihrer Entwicklungsumgebung Reduziert Kosten durch schnellere Marktreife für logische Reviews lokalisiert werden. QA-C verbessert nicht nur Ihre Software, sondern auch das Wissen Ihrer Entwickler!

4 QA-C 4 QA-C auf einen Blick Sucht und findet Softwaredefekte und -fehler bei der Einhaltung von Pro grammier standards Fördert den sprachkonformen Einsatz von C und verhindert so überkomplexe und/oder nicht-portable Software Bietet eine effiziente und benutzerfreundliche GUI zur Einführung und Pflege eigener Programmierstandards Warnt vor Problemen, die durch Compiler und Linker hervorgerufen werden Das leistet QA-C für Sie QA-C ist eine effiziente, voll automatisierbare Um gebung, die es dem Benutzer ermöglicht, einheitliche Code-Standards einzuführen und umzusetzen. Beispiele: So hilft Ihnen QA-C QA-C hilft Ihnen, Fehlerquellen aufzuspüren und auszuräumen. Da bei spielt es keine Rolle, ob diese Fehler wegen falscher Sprach im ple men tierung, wegen Inkon sistenzen oder nicht eingehaltener Pro gram mier standards hervorgerufen werden. Mit QA-C wird Ihre Soft ware einheitlicher, weniger komplex, leistungsfähiger und schließlich auch portierbarer und wartungsfreundlicher! An unserem Beispiel zeigen wir Ihnen, wie QA-C konkret helfen kann, Fehler zu entdecken und zu beseitigen: 1. Undefined behaviour QA-C ermittelt nicht nur wohlbekannte Fehlerquellen (null pointer dereference, Division durch Null, Buffer Over run), sondern auch weniger be - kannte. Die Dataflow Engine liefert die Analyse der Variablen, um undefinierte Re ak tionen zu entdecken. 2. Constraint Violations Falscher Gebrauch der Programmier sprache: QA-C entdeckt 159 Fälle, in denen die Syntax zwar korrekt, der Code selber aber seman tisch falsch ist. Dabei beschränkt sich QA-C nicht nur auf die bekannten Fälle, wo Compiler normalerweise anhalten, sondern liefert auch dann Er geb nisse, wenn die Compilation nicht gestoppt werden würde. 3. Cross Module Analysis QA-C identifiziert nicht-regelkonformes Verhalten, welches ein Linker nicht auflösen kann. Erkannt werden Rekursionen sowie widersprüchliche Deklarationen und Definitionen von externen Objekten und Funktionen im gesamten Projekt. 4. Portability QA-C gewährleistet, dass ein Code über Compiler und Plattformen hinweg konsistent gehalten werden kann. Erkannt werden ISO-Limitierungen, Spracherweiterungen und Implementation defined behavior. 5. Conversion QA-C ermittelt im plicit conversions zwischen Dateitypen, sei es bei der Verknüpfung, dem Vergleich, der in tegral promotion, der default argument promotion oder bei function returns. 6. Redundanzen QA-C spürt nicht genutzte Variablen, Funktionen und Parameter auf, genauso wie Bedingungen, bei denen das Ergebnis unveränderlich (immer wahr oder immer falsch) ist. 7. Statements and Operations QA-C ermittelt verdächtige Vergleichsund Pointer-Operationen einschließlich der Verwendung von nicht korrekten Ty pen. Und das Programm findet Kon s truk tionen, die zwar erlaubt aber wahrscheinlich irreführend oder schwer zu warten sind. 8. Namenskonventionen QA-C fördert die Verwendung von einheitlichen Benennungen, die durch Regular Expressions spezifiziert werden. Alle Identifier Merkmale können überprüft werden.

5 QA-C 5 Die Analyse- und Reporting-Features von QA-C Der Message-Browser von QA-C bietet eine kontextsensitive drill-down Oberfläche, die mit einer tief reichenden Knowledge-Base verknüpft ist. Dadurch kann QA-C nicht nur Probleme finden, sondern auch erklären, weshalb sie behoben werden sollten. Zusätzlich schlägt QA-C Beispiele vor, wie damit umgegangen werden kann. Metriken und Visualisierung Metriken Auf Basis Projekt Auf Basis Datei Auf Basis Funktion Vom Benutzer definierbare Schwellenwerte Grafische Metrik-Analyse mit Kiviat-Diagramm Warnung bei Metrik- Schwellenwerten Report- Zusammenfassungen Konfigurierbare Reports Compliance Qualität Code-Review Suppression Übersicht

6 QA-C 6 Technische Spezifikationen, Plattformen und Integrationen Interaktives GUI Help-Base, Knowledge-Base (beides online) Integrierte Links zur Onlinehilfe (mit Alternativen und Verbesserungsvorschlägen) Kontext-Messaging Prüft die Einhaltung von Programmierstandards Übersichten und Detailberichte Über 1700 auswählbare Messages Fehlererkennung durch Datenflussanalyse Übergreifende Modul-Analyse Findet semantinsche Fehler Verhindert Fehler vor der Entstehung Überprüft Namenskonventionen Unterdrückung der Prüfung auf Basis von Kommentaren möglich Kein Limit für Projektgrößen oder SLOC Unterstützt alle gängigen Compiler Unterstützte Plattformen: Windows 7 (32-bit, 64-bit) Linux RHEL (32-bit, 64-bit) Solaris 10 (64-bit) Entwicklungsoptionen: GUI für unterstützte Plattformen Command Line Makefile Integration Fest in Microsoft Visual Studio integriert Fest integriert in auf Eclipse basierte IDEs (z.b. CodeWarrior oder Workbench ) Auch für modelbasierte Entwicklungsumgebungen (z.b. Rhapsody ) geeignet Auch für durchgängige Integrationsumgebungen (z.b. Jenkins ) geeignet Unterstützt auch das Analyse-Projektmanagement über mehrere Plattformen Compliance-Module: MISRA-C:1998 MISRA-C:2004 MISRA-C:2012 Der SGS-TÜV Saar hat QA-C mit MISRA zertifiziert als einsetzbar für die Entwicklung von sicherheitsrelevanter Software entsprechend der wichtigsten Standards im sicherheitskritischen Bereich: IEC 61508, ISO 26262, EN 50128, IEC und IEC QA Systems GmbH Schwieberdinger Straße 56 D Stuttgart Tel +49 (0)711/ Fax +49 (0)711/

QA-C++ QA-C++ das statische Sourcecode Analyse-Tool für C++

QA-C++ QA-C++ das statische Sourcecode Analyse-Tool für C++ QA-C++ QA-C++ das statische Sourcecode Analyse-Tool für C++ Fehler vermeiden von Anfang an Bessere Software in kürzerer Zeit Automatisierte Code-Reviews Für bessere Software für bessere Entwicklerteams

Mehr

QA-Verify. QA-Verify. Software-Qualitätsinformationssystem. Damit Sie wissen, was Sie tun

QA-Verify. QA-Verify. Software-Qualitätsinformationssystem. Damit Sie wissen, was Sie tun QA-Verify QA-Verify Software-Qualitätsinformationssystem für C und C++ Damit Sie wissen, was Sie tun Das Werkzeug für Projektverantwortliche, Qualitätsmanager und Entwickler Transparenz und Überblick auch

Mehr

MISRA bzw. Programmierstandards steigern die Softwarequalität! - Ist das überhaupt möglich?

MISRA bzw. Programmierstandards steigern die Softwarequalität! - Ist das überhaupt möglich? MISRA bzw. Programmierstandards steigern die Softwarequalität! - Ist das überhaupt möglich? Andreas Sczepansky - Geschäftsführer Tel.: + 49 (0) 711 138183-0 www.qasystems.de V-Modell für Softwaretests

Mehr

Testwell CTC++ Test Coverage Analyser Testabdeckung für alle Coverage-Stufen, alle Compiler, alle Embedded Targets

Testwell CTC++ Test Coverage Analyser Testabdeckung für alle Coverage-Stufen, alle Compiler, alle Embedded Targets Testwell CTC++ Test Coverage Analyser Testabdeckung für alle Coverage-Stufen, alle Compiler, alle Embedded Targets Testwell CTC++ ist ein leistungsfähiges und einfach zu benutzendes Code-/Test-Coverage

Mehr

Werkzeuggestützte Softwareprüfungen Statische Analyse und Metriken

Werkzeuggestützte Softwareprüfungen Statische Analyse und Metriken Werkzeuggestützte Softwareprüfungen Statische Analyse und Metriken Dennis Hardt 21.06.2006 Gliederung Statische Analyse Definition, Arbeitsweise, Werkzeuge Angewandt auf ein Projekt Statische Analyse selbst

Mehr

Quick Guide. für HIS-Metrics Report unter Windows mit QA-C v7.2. Stand: März 2010. QA Systems GmbH Seite 1 von 6

Quick Guide. für HIS-Metrics Report unter Windows mit QA-C v7.2. Stand: März 2010. QA Systems GmbH Seite 1 von 6 Quick Guide für HIS-Metrics Report unter Windows mit QA-C v7.2 Stand: März 2010 QA Systems GmbH Seite 1 von 6 Inhaltsverzeichnis 1. Voraussetzungen 2 2. Installation 2 3. HIS-Metrics Report verwenden 2

Mehr

Modellbasierter Entwurf sicherheitskritischer Anwendungen. Von Moritz Borgmann Für VL Eingebettete Systeme Sommer Semester 2009

Modellbasierter Entwurf sicherheitskritischer Anwendungen. Von Moritz Borgmann Für VL Eingebettete Systeme Sommer Semester 2009 Modellbasierter Entwurf sicherheitskritischer Anwendungen Von Moritz Borgmann Für VL Eingebettete Systeme Sommer Semester 2009 Einführung Einführung Modellbasierter Entwurf und der IEC 61508 Ausblick Zusammenfassung,

Mehr

MÖGLICHKEITEN UND GRENZEN IN DER DYNAMISCHEN CODEANALYSE VON C++ SOFTWARE. Von Matthias Neumann

MÖGLICHKEITEN UND GRENZEN IN DER DYNAMISCHEN CODEANALYSE VON C++ SOFTWARE. Von Matthias Neumann MÖGLICHKEITEN UND GRENZEN IN DER DYNAMISCHEN CODEANALYSE VON C++ SOFTWARE Von Matthias Neumann 19.01.2015 2/35 Inhaltsangabe Einleitung Ausprägungen der dynamischen Codeanalyse Debugging Logging Testing

Mehr

Statische Codeanalysen

Statische Codeanalysen Statische Codeanalysen Weniger Review-Aufwand durch automatisierte Sourcecode- Überprüfungen MATTHIAS HÖLZER-KLÜPFEL Wie gut ist unser Code? Qualitätskriterien für Software Funktionalität Angemessenheit

Mehr

Management von Softwaresystemen Systembewertung: Metriken und Prozess

Management von Softwaresystemen Systembewertung: Metriken und Prozess Management von Softwaresystemen Systembewertung: Metriken und Prozess Referent: Vadym Alyokhin Betreuer: Florian Deißenböck Übersicht Definition Einführung in die Messtheorie Meilensteine von Software-Metriken

Mehr

Funktionale Sicherheit in Automotive und Luftfahrt (ISO26262 und DO 178BC) Otto Alber, Peter Wittmann 09.10.2013

Funktionale Sicherheit in Automotive und Luftfahrt (ISO26262 und DO 178BC) Otto Alber, Peter Wittmann 09.10.2013 Funktionale Sicherheit in Automotive und Luftfahrt (ISO26262 und DO 178BC) Otto Alber, Peter Wittmann 09.10.2013 Einleitung Modell-basierte Entwicklung bei Silver Atena Erfahrung mit Modell-basierter Entwicklung

Mehr

1. Übung zu "Numerik partieller Differentialgleichungen"

1. Übung zu Numerik partieller Differentialgleichungen 1. Übung zu "Numerik partieller Differentialgleichungen" Simon Gawlok, Eva Treiber Engineering Mathematics and Computing Lab 22. Oktober 2014 1 / 15 1 Organisatorisches 2 3 4 2 / 15 Organisatorisches Ort:

Mehr

Erfolg ist programmierbar.

Erfolg ist programmierbar. 45789545697749812346568958565124578954569774981 46568958565124578954569774981234656895856124578 45697749812346568958565124578954569774981234656 58565124578954569774981234656895856124578954569 49812346568958565124578954569774981234656895856

Mehr

Software Engineering. 13. Qualitätssicherung. Franz-Josef Elmer, Universität Basel, WS 2006/07

Software Engineering. 13. Qualitätssicherung. Franz-Josef Elmer, Universität Basel, WS 2006/07 Software Engineering 13. Qualitätssicherung Franz-Josef Elmer, Universität Basel, WS 2006/07 Software Engineering: 13. Qualitätssicherung 2 Qualitätssicherung Qualitätssicherung (engl. Quality Assurance

Mehr

Systematische Software-Qualität mittels einer durchgängigen Analyse- und Teststrategie

Systematische Software-Qualität mittels einer durchgängigen Analyse- und Teststrategie Insert picture and click Align Title Graphic. Systematische Software-Qualität mittels einer durchgängigen Analyse- und Teststrategie Dr. Dieter Lederer, Geschäftsführer Vector Consulting Services GmbH

Mehr

Entwicklungsmethoden

Entwicklungsmethoden Slide 5.1 Entwicklungsmethoden Prof. Dr. Josef M. Joller jjoller@hsr.ch Development Methodologies Prof. Dr. Josef M. Joller 1 Session 5 Slide 5.2 TOOLS Development Methodologies Prof. Dr. Josef M. Joller

Mehr

Universität Paderborn Die Universität der Informationsgesellschaft. Validierung und Verifikation (inkl. Testen, Model-Checking, Theorem Proving)

Universität Paderborn Die Universität der Informationsgesellschaft. Validierung und Verifikation (inkl. Testen, Model-Checking, Theorem Proving) Universität Paderborn Die Universität der Informationsgesellschaft Analyse, Entwurf und Implementierung zuverlässiger Software und (inkl., Model-Checking, Theorem Proving) Torsten Bresser torbre@uni-paderborn.de

Mehr

Code-Reviews. Code-Generierung. Code-Generierung. Code-Reviews. als Bestandteile des Entwicklungsprozesses

Code-Reviews. Code-Generierung. Code-Generierung. Code-Reviews. als Bestandteile des Entwicklungsprozesses Datenbanken-Seminar: Vortrag am 10. Januar 2003 als Bestandteile des Entwicklungsprozesses und : Gemeinsamkeiten? und : Gemeinsamkeiten? Gemeinsame Ziele und : Gemeinsamkeiten? Gemeinsame Ziele Kontrolle

Mehr

Software- Qualitätsmanagement

Software- Qualitätsmanagement Software- Qualitätsmanagement Thomas Kugel Brandenburg, den 10.12.2002 Agenda Einleitung Was heißt Softwarequalitätssicherung und Test Die Rolle von Test und QS in Softwareprojekten Wie wird getestet Statische

Mehr

Softwaretechnikpraktikum SS 2004. Qualitätsmanagement I. 1. Überblick. Qualität. Qualitätsmerkmal

Softwaretechnikpraktikum SS 2004. Qualitätsmanagement I. 1. Überblick. Qualität. Qualitätsmerkmal Softwaretechnikpraktikum SS 2004 Qualitätsmanagement I 5. Vorlesung 1. Überblick Planungsphase Definitionsphase Entwurfsphase Implem.- phase Fragen Was ist Qualität? Wie kann man Qualität messen? Wie kann

Mehr

Abbildung 1: Tool-Qualification-Kits für Testwell CTC++ Test Coverage Analyser

Abbildung 1: Tool-Qualification-Kits für Testwell CTC++ Test Coverage Analyser Qualification-Kit für Testwell CTC++ In der sicherheitskritischen Softwareentwicklung müssen die im Projekt eingesetzten Werkzeuge zunächst klassifiziert werden (Tool Classification). Diese Klassifizierung

Mehr

Automotive Embedded Software. Beratung Entwicklung Tools

Automotive Embedded Software. Beratung Entwicklung Tools Automotive Embedded Software Beratung Entwicklung Tools 2 3 KOMPLEXE PROJEKTE SIND BEI UNS IN GUTEN HÄNDEN. Die F+S GmbH engagiert sich als unabhängiges Unternehmen im Bereich Automotive Embedded Software

Mehr

Definition von domänenspezifischen Sprachen mit Xtext: Einführung. 19. November 2014

Definition von domänenspezifischen Sprachen mit Xtext: Einführung. 19. November 2014 Definition von domänenspezifischen Sprachen mit Xtext: Einführung 19. November 2014 Überblick Was ist zu tun, wenn wir selbst einen Ansatz für modellgetriebenen Entwicklung definieren wollen? Anforderungserfassung

Mehr

Kontinuierliche Architekturanalyse. in 3D

Kontinuierliche Architekturanalyse. in 3D Kontinuierliche Architekturanalyse in 3D Stefan Rinderle Bachelor an der HS Karlsruhe Master "Software Engineering" in München / Augsburg Seit 2013 bei Payback 2 Software-Visualisierung Visualisierung

Mehr

STEIGERN SIE DIE QUALITÄT IHRER MAINFRAME APPLIKATIONEN FEHLERFREI SOFTWARE ENTWICKELN UND IN BETRIEB NEHMEN TROTZ DEVOPS VON TOBIAS BRAUN. www.pks.

STEIGERN SIE DIE QUALITÄT IHRER MAINFRAME APPLIKATIONEN FEHLERFREI SOFTWARE ENTWICKELN UND IN BETRIEB NEHMEN TROTZ DEVOPS VON TOBIAS BRAUN. www.pks. STEIGERN SIE DIE QUALITÄT IHRER MAINFRAME APPLIKATIONEN FEHLERFREI SOFTWARE ENTWICKELN UND IN BETRIEB NEHMEN TROTZ DEVOPS VON TOBIAS BRAUN www.pks.de ZEIT, QUALITÄT UND KOSTEN DIE DREI MAGISCHEN PFEILER

Mehr

Session 4: Projektvorstellung Transferprojekt itsowl-tt-mesqa 18. August 2015, Gütersloh. www.its-owl.de

Session 4: Projektvorstellung Transferprojekt itsowl-tt-mesqa 18. August 2015, Gütersloh. www.its-owl.de Session 4: Projektvorstellung Transferprojekt itsowl-tt-mesqa 18. August 2015, Gütersloh www.its-owl.de Agenda Abschlusspräsentation itsowl-tt-mesqa Einführung Zielsetzung Ergebnisse Resümee und Ausblick

Mehr

Comparing Software Factories and Software Product Lines

Comparing Software Factories and Software Product Lines Comparing Software Factories and Software Product Lines Martin Kleine kleine.martin@gmx.de Betreuer: Andreas Wuebbeke Agenda Motivation Zentrale Konzepte Software Produktlinien Software Factories Vergleich

Mehr

C++11 C++14 Kapitel Doppelseite Übungen Musterlösungen Anhang

C++11 C++14 Kapitel Doppelseite Übungen Musterlösungen Anhang Einleitung Dieses Buch wendet sich an jeden Leser, der die Programmiersprache C++ neu lernen oder vertiefen möchte, egal ob Anfänger oder fortgeschrittener C++-Programmierer. C++ ist eine weitgehend plattformunabhängige

Mehr

PHP Kurs Online Kurs Analysten Programmierer Web PHP

PHP Kurs Online Kurs Analysten Programmierer Web PHP PHP Kurs Online Kurs Analysten Programmierer Web PHP Akademie Domani info@akademiedomani.de Allgemeines Programm des Kurses PHP Modul 1 - Einführung und Installation PHP-Umgebung Erste Lerneinheit Introduzione

Mehr

Modulare Programmierung und Bibliotheken

Modulare Programmierung und Bibliotheken Modulare Programmierung und Bibliotheken Proseminar-Vortrag am 24.06.2011 von Ludwig Eisenblätter Ludwig Eisenblätter 1 von 25 Modulare Programmierung und Bibliotheken Inhaltsübersicht Motivation / Einleitung

Mehr

Mehr wissen. Mehr entdecken. Mehr leisten. Erschließen Sie Informationen mit Enterprise Search.

Mehr wissen. Mehr entdecken. Mehr leisten. Erschließen Sie Informationen mit Enterprise Search. Mehr wissen. Mehr entdecken. Mehr leisten. Erschließen Sie Informationen mit Enterprise Search. Die Lösung für Enterprise Search xdot search xdot search ist eine professionelle Semantische Suche Suchlösung

Mehr

Software Engineering in

Software Engineering in Software Engineering in der Werkzeuge für optimierte LabVIEW-Entwicklung Folie 1 Best Practices Requirements Engineering Softwaretest Versionsmanagement Build- Automatisierung Folie 2 Arbeiten Sie im Team?

Mehr

ABSICHERUNG MODELLBASIERTER SICHERHEITSKRITISCHER AVIONIK SOFTWARE Dr. Elke Salecker

ABSICHERUNG MODELLBASIERTER SICHERHEITSKRITISCHER AVIONIK SOFTWARE Dr. Elke Salecker ABSICHERUNG MODELLBASIERTER SICHERHEITSKRITISCHER AVIONIK SOFTWARE Dr. Elke Salecker MOTIVATION Fahrzeug-Software wird modellbasiert mit Simulink/TargetLink entwickelt & DO331/DO-178C ermöglicht modellbasierte

Mehr

Rhapsody in J Modellierung von Echtzeitsystemen

Rhapsody in J Modellierung von Echtzeitsystemen Rhapsody in J Modellierung von Echtzeitsystemen Tobias Schumacher tobe@uni-paderborn.de Rhapsody in J - Modellierung von Echtzeitsystemen p.1/17 Anspruch des Tools Einsatzbereiche/Features Modellierung

Mehr

Programmieren was ist das genau?

Programmieren was ist das genau? Programmieren was ist das genau? Programmieren heisst Computerprogramme herstellen (von griechisch programma für Vorschrift). Ein Computerprogramm ist Teil der Software eines Computers. Als Software bezeichnet

Mehr

Einführung in die C-Programmierung

Einführung in die C-Programmierung Einführung in die C-Programmierung Warum C? Sehr stark verbreitet (Praxisnähe) Höhere Programmiersprache Objektorientierte Erweiterung: C++ Aber auch hardwarenahe Programmierung möglich (z.b. Mikrokontroller).

Mehr

09.06.2003 André Maurer andre@maurer.name www.andre.maurer.name Wirtschaftsinformatik FH 3.5 Fachhochschule Solothurn, Olten

09.06.2003 André Maurer andre@maurer.name www.andre.maurer.name Wirtschaftsinformatik FH 3.5 Fachhochschule Solothurn, Olten Aktuelle Themen der Wirtschaftsinformatik Zusammenfassung 09.06.2003 André Maurer andre@maurer.name www.andre.maurer.name Wirtschaftsinformatik FH 3.5 Fachhochschule Solothurn, Olten 1 Serverseitige Webprogrammierung

Mehr

Python Programmierung. Dipl.-Ing.(FH) Volker Schepper

Python Programmierung. Dipl.-Ing.(FH) Volker Schepper Python Programmierung Kontaktdaten Homepage: http://wwwlehre.dhbw-stuttgart.de/~schepper/ Email: Volker. Schepper [A@T] yahoo.de Vorlesung Skriptsprachen Vorlesung: 06.03.2013 13.03.2013 20.03.2013 27.03.2013

Mehr

Software Engineering, SoSe 07, WSI, D. Huson, (Original Author: A. Zeller), 4. Juni 2007 45

Software Engineering, SoSe 07, WSI, D. Huson, (Original Author: A. Zeller), 4. Juni 2007 45 Software Engineering, SoSe 07, WSI, D. Huson, (Original Author: A. Zeller), 4. Juni 2007 45 7 Programmverstehen + Fehlersuche Nach einer Vorlesung von Prof. Andreas Zeller, Lehrstuhl Softwaretechnik Universität

Mehr

GELEBTE ENTWICKLUNGSRICHTLINIEN

GELEBTE ENTWICKLUNGSRICHTLINIEN GELEBTE ENTWICKLUNGSRICHTLINIEN VOM VERSTAUBTEM PAPIERSTAPEL ZUM SPICKZETTEL FÜR ENTWICKLER BORIS WEHRLE ENTWICKLUNGSRICHTLINIEN Ein Programmierstil (engl. code conventions, coding conventions, coding

Mehr

ISIS. Das Navigationssystem für angemessene Qualität und hohe Effizienz

ISIS. Das Navigationssystem für angemessene Qualität und hohe Effizienz ISIS Das Navigationssystem für angemessene Qualität und hohe Effizienz Inhalt Softwarequalität und Prozessqualität ISIS: das Ziel Messen der Prozessqualität Der Werkzeugzoo Die Wirkung Maßnahmen zur Prozessoptimierung

Mehr

Die Integration von Requirements Management, Software Configuration Management und Change Management mit der MKS Integrity Suite 2006

Die Integration von Requirements Management, Software Configuration Management und Change Management mit der MKS Integrity Suite 2006 Die Integration von Requirements Management, Software Configuration Management und Change Management mit der MKS Integrity Suite 2006 Oliver Böhm MKS GmbH Agenda Überblick Der Entwicklungsprozess: Requirements

Mehr

C++-Entwicklung mit Linux

C++-Entwicklung mit Linux C++-Entwicklung mit Linux Eine Einführung in die Sprache und die wichtigsten Werkzeuge von GCC und XEmacs bis Eclipse Thomas Wieland [Druckvorlage vom 10. August 2004] xiii Inhaltsverzeichnis 1 Programmieren

Mehr

Pass by Value Pass by Reference Defaults, Overloading, variable Parameteranzahl

Pass by Value Pass by Reference Defaults, Overloading, variable Parameteranzahl Funktionen Zusammenfassung von Befehlssequenzen als aufrufbare/wiederverwendbare Funktionen in einem Programmblock mit festgelegter Schnittstelle (Signatur) Derartige prozedurale Programmierung erlaubt

Mehr

Ein paar Fragen zum Start

Ein paar Fragen zum Start Qualitätsmanagement Ein paar Fragen zum Start Was bedeutet für Sie Software Qualität oder was ist richtig gute Software? Was ist Ihre Lieblingssoftware und was gefällt Ihnen daran? Definition : Qualität

Mehr

Praxisgerechte Validierung von Sicherheitsapplikationen

Praxisgerechte Validierung von Sicherheitsapplikationen Praxisgerechte Validierung von Sicherheitsapplikationen Dr. Michael Huelke, FB Unfallverhütung Produktsicherheit, BGIA Institut für Arbeitsschutz der Deutschen Gesetzlichen Unfallversicherung, Sankt Augustin

Mehr

C++ mit. Microsoft Visual C++ 2008. Richard Kaiser. Einführung in Standard-C++-, C++/CLI und die objektorientierte Windows.

C++ mit. Microsoft Visual C++ 2008. Richard Kaiser. Einführung in Standard-C++-, C++/CLI und die objektorientierte Windows. Richard Kaiser C++ mit Microsoft Visual C++ 2008 Einführung in Standard-C++-, C++/CLI und die objektorientierte Windows.NET-Programmierung Mit CD-ROM Geleitwort Wenn man heute nach Literatur über Programmiersprachen

Mehr

Erfolgreicher Einsatz von modellbasierter Softwareentwicklung - Praxisbericht

Erfolgreicher Einsatz von modellbasierter Softwareentwicklung - Praxisbericht Platz für ein Bild (optional) Erfolgreicher Einsatz von modellbasierter Softwareentwicklung - Praxisbericht 1.0 1.1 Elektronik? Was heisst modellbasierte Software-Entwicklung für uns? Was sind für eine

Mehr

Kapitel 5: Statische Analyse

Kapitel 5: Statische Analyse Kapitel 5: Statische Analyse Inhalt 5.1 Grundlagen 5.2 Analyse von Programmen 5.3 Analyse von Algorithmen 5.4 Analyse von Spezifikationen, Entwürfen und Prüfvorschriften Schlüsselbegriffe Statische Prüfung

Mehr

Erster Bug: eine Motte

Erster Bug: eine Motte SOFTWAREFEHLER Der erste Bug Erster Bug: eine Motte Der Begriff Bug (deutsch: Motte) stammt aus dem Jahre 1945, als Ingenieure in einem Schaltrelais eines Computers (Harvard Mark II-System) eine Motte

Mehr

Software Tests (2) Quellcode Reviews

Software Tests (2) Quellcode Reviews Software Tests (2) Quellcode Reviews Was ist? Was ist Testen? G. J. Myers, 79: "Testen ist der Prozess, ein Programm mit der Absicht auszuführen, Fehler zu finden. Hetzel 83: "Messung der Softwarequalität"

Mehr

Automatisierte Erstellung von Software-Builds und -dokumentationen. Teil 1

Automatisierte Erstellung von Software-Builds und -dokumentationen. Teil 1 Automatisierte Erstellung von Software-Builds und -dokumentationen Teil 1 Autoren: Hagedorn, Robert; Denninger, Oliver Kontakt: {hagedorn denninger}@fzi.de Web: http://zfs.fzi.de Ort, Datum: Karlsruhe,

Mehr

Programmieren Formulierung eines Algorithmus in einer Programmiersprache

Programmieren Formulierung eines Algorithmus in einer Programmiersprache Zum Titel der Vorlesung: Programmieren Formulierung eines in einer Programmiersprache Beschreibung einer Vorgehensweise, wie man zu jedem aus einer Klasse gleichartiger Probleme eine Lösung findet Beispiel:

Mehr

Testen - Konzepte und Techniken

Testen - Konzepte und Techniken Testen - Konzepte und Techniken Magdalena Luniak 21.11.2007 Magdalena Luniak () Testen - Konzepte und Techniken 21.11.2007 1 / 42 Übersicht 1 Motivation 2 Grundbegrie 3 Testen im Softwareentwicklungsprozess

Mehr

Einführung in die Programmierung der Schnittgrößenermittlung am Einfeldträger. 7.12.2012 J. Lange

Einführung in die Programmierung der Schnittgrößenermittlung am Einfeldträger. 7.12.2012 J. Lange Einführung in die Programmierung der Schnittgrößenermittlung am Einfeldträger 7.12.2012 J. Lange 1 Vorstellung Dr.-Ing. Johannes Lange Softwareentwicklung, Organisation Projekt-, Qualitätsmanagement CAD

Mehr

Eine Einführung in C-Funktionen

Eine Einführung in C-Funktionen Eine Einführung in C-Funktionen CGK-Proseminar 2014 Philip Gawehn 04.07.2014, Hamburg Inhaltsverzeichnis 1 Einleitung 2 2 Grundlagen 2 2.1 Der Aufbau einer Funktion....................... 2 2.2 Schlüsselwörter.............................

Mehr

The Software Quality Challenge

The Software Quality Challenge The Software Quality Challenge Stanislav Michel Otto-von-Guericke-Universität Magdeburg Gliederung 1. Einleitung 2. Fehlerbeseitigung Probleme 3. Erfolgreiche Qualitätsstrategien 4. Grundsätze der Softwarequalität

Mehr

Deklarationen in C. Prof. Dr. Margarita Esponda

Deklarationen in C. Prof. Dr. Margarita Esponda Deklarationen in C 1 Deklarationen Deklarationen spielen eine zentrale Rolle in der C-Programmiersprache. Deklarationen Variablen Funktionen Die Deklarationen von Variablen und Funktionen haben viele Gemeinsamkeiten.

Mehr

Source Code Konverter... 2. Online: (VB.net <-> C#)... 3. Kommerzielle Produkte (VB, C#, C++, Java)... 3. Code Nachbearbeitung in der Praxis...

Source Code Konverter... 2. Online: (VB.net <-> C#)... 3. Kommerzielle Produkte (VB, C#, C++, Java)... 3. Code Nachbearbeitung in der Praxis... Autor: Thomas Reinwart 2008-05-05 office@reinwart.com Inhalt Source Code Konverter... 2 Online: (VB.net C#)... 3 Kommerzielle Produkte (VB, C#, C++, Java)... 3 Code Nachbearbeitung in der Praxis...

Mehr

digital business solution Microsoft Integration

digital business solution Microsoft Integration digital business solution Microsoft Integration 1 Nie war effizientes Dokumentenmanagement einfacher: Perfekt integriert in die bekannten Oberflächen aus Microsoft Office, Microsoft Dynamics AX, NAV und

Mehr

SAP Multichannel Foundation for Utilities 2.0

SAP Multichannel Foundation for Utilities 2.0 Customer first SAP Multichannel Foundation for Utilities 2.0 Produktnummer [1089] Videos zur SAP Multichannel Foundation finden Sie auf www.dsc-gmbh.com unter Lösungen oder direkt via Smartphone über den

Mehr

S&W Tefnats für Microsoft Dynamics NAV

S&W Tefnats für Microsoft Dynamics NAV S&W Tefnats für Microsoft Dynamics NAV www.sw-business.at S&W Business Solutions GmbH & Co KG office@sw-business.at Burgenland Wien Telefon +43 1 236 65 40 S&W Tefnats für Microsoft Dynamics NAV Die Auswirkungen

Mehr

Programmierkurs: Delphi: Einstieg

Programmierkurs: Delphi: Einstieg Seite 1 von 6 Programmierkurs: Delphi: Einstieg Aus Wikibooks Inhaltsverzeichnis 1 Einstieg Einstieg Was ist Delphi Borland Delphi ist eine RAD-Programmierumgebung von Borland. Sie basiert auf der Programmiersprache

Mehr

Grundlagen. Migration von Benutzeroberflächen

Grundlagen. Migration von Benutzeroberflächen Von Anne Schlitter Grundlagen Dynamic content delivery nach DITA Migration von Benutzeroberflächen Aktueller Stand/Forschungsberichte h mobile Geräte Anwendung, Video, Player PC Bilder, Fernseher Beachtung

Mehr

KOMPETENZ IN SOFTWARE

KOMPETENZ IN SOFTWARE KOMPETENZ IN SOFTWARE Software- und App-Entwicklung Automotive-Software Elektromobilität Collaboration und Business Intelligence BATTERY STATUS BATTERY STATUS c4c engineering GmbH kompetenz in Software,

Mehr

VECTOSTUDIO VECTOSTUDIO

VECTOSTUDIO VECTOSTUDIO Die IDE(E) für Sie! schneller umsetzen, produktiver arbeiten! VECTOSTUDIO VECTOSTUDIO Copyright 2013, All rights reserved by Copyright 2013, All rights reserved by VECTOSTUDIO Die effiziente Software Alles

Mehr

aviita reporting portal

aviita reporting portal aviita reporting portal Version 1.1 Mai 2009 T +423 384 06 06 F +423 384 06 08 info@aviita.li 1/9 aviita est. Das Unternehmen aviita est. steht für individuelle und massgeschneiderte Software Lösungen.

Mehr

Cyber Defense MALWARE SIGNATUREN. Dipl.-Inform. Julian Dammann Dipl.-Inform. Peter Weidenbach

Cyber Defense MALWARE SIGNATUREN. Dipl.-Inform. Julian Dammann Dipl.-Inform. Peter Weidenbach MALWARE SIGNATUREN Dipl.-Inform. Julian Dammann Dipl.-Inform. Peter Weidenbach julian.dammann@fkie.fraunhofer.de, peter.weidenbach@fkie.fraunhofer.de Cyber Defense MALWARE SIGNATUREN 1. Signaturen Allgemein

Mehr

Gemeinsam Software-Lösungen finden. Vom Prototyping bis zur Serienreife.

Gemeinsam Software-Lösungen finden. Vom Prototyping bis zur Serienreife. Gemeinsam Software-Lösungen finden. Applikationen Embedded Vom Prototyping bis zur Serienreife. Embedded Systeme Unsere Software fährt in Millionen Fahrzeugen mit. Und funktioniert. Wir legen immer das

Mehr

Software Engineering. Sommersemester 2012, Dr. Andreas Metzger

Software Engineering. Sommersemester 2012, Dr. Andreas Metzger Software Engineering (Übungsblatt 1) Sommersemester 2012, Dr. Andreas Metzger Übungsblatt-Themen: Besonderheiten und Eigenschaften von Software; Interne und Externe Eigenschaften 1 Aufgabe 1.1 Software

Mehr

Continuous Integration im medizinischen Bereich

Continuous Integration im medizinischen Bereich Philipp Schröter Fachbereich für Informatik Continuous Integration im medizinischen Bereich Ein praktisches Beispiel Gliederung 1. Einleitung 2. Relevanz im medizinischen Bereich 3. Continuous Integration

Mehr

Informationssystemanalyse Personal Software Process 8 1

Informationssystemanalyse Personal Software Process 8 1 Informationssystemanalyse Personal Software Process 8 1 Personal Software Process Sehr eng mit dem CMM hängt der PSP (Personal Software Process) zusammen. Der PSP ergänzt das organisationsweite CMM um

Mehr

Mathcad Automatisierter Code-Export nach C++ oder Windows-DLL

Mathcad Automatisierter Code-Export nach C++ oder Windows-DLL Mathcad Automatisierter Code-Export nach C++ oder Windows-DLL Dipl.-Ing. Christian Meißner SimulationTools www.simulationtools.de PTC World 2009 Stuttgart 19.11.2009 C. Meißner - PTC World 2009 Stuttgart

Mehr

Traceability-Modell als Erfolgsfaktor für Process Enactment. Paul-Roux Wentzel, SEE 2008

Traceability-Modell als Erfolgsfaktor für Process Enactment. Paul-Roux Wentzel, SEE 2008 Traceability-Modell als Erfolgsfaktor für Process Enactment Einführung Referent Paul-Roux Wentzel Unternehmen method park Software AG 2008 method park Software AG Slide 2 Leistungsportfolio Training &

Mehr

NCDiff Testmanagement leicht gemacht

NCDiff Testmanagement leicht gemacht Testmanagement leicht gemacht Nagler & Company Thomas Gebhard & Anton Garra Complexity Die stetige Anpassung an neue Anforderungen der IT und das Bestreben Marktgegebenheiten zu folgen oder voraus zu sein,

Mehr

Grundlagen der Programmiersprache C++

Grundlagen der Programmiersprache C++ / TU Braunschweig Grundlagen der Programmiersprache C++ Um den Studierenden den Einstieg in die FE-Programmierung zu erleichtern werden die wesentlichen Elemente eines C-Programmes beschrieben, soweit

Mehr

Behandeln Sie»undefined«als»nicht vorhanden«thema 54

Behandeln Sie»undefined«als»nicht vorhanden«thema 54 Behandeln Sie»undefined«als»nicht vorhanden«151 heitliche Schreibweisen erlauben es den Benutzern, zu erraten, welche Eigenschaften und Methoden zur Verfügung stehen, ohne dass sie sie nachschlagen müssen,

Mehr

IT-Development & Consulting

IT-Development & Consulting IT-Development & Consulting it-people it-solutions Wir sind seit 1988 führender IT-Dienstleister im Großraum München und unterstützen Sie in den Bereichen IT-Resourcing, IT-Consulting, IT-Development und

Mehr

Know-How Schutz mittels ERM in der industriellen Praxis

Know-How Schutz mittels ERM in der industriellen Praxis Know-How Schutz mittels ERM in der industriellen Praxis ERM-Tag 2014 Schenck Technologie- und Industriepark, Darmstadt 23. September 2014 Peter Pfalzgraf, PROSTEP AG peter.pfalzgraf@prostep.com PROSTEP

Mehr

Grundlegende Anforderungen an die Software von Messgeräten

Grundlegende Anforderungen an die Software von Messgeräten 243. PTB-Seminar Anwendung der MID bei Herstellern Grundlegende Anforderungen an die Software von Messgeräten Ulrich Grottker PTB-8.53 Überblick Leitfaden 7.2 Software Risikoklassen Modulares Anforderungssystem

Mehr

Domis Dokumenten Management & Archiv Lösung Ihr Mehrwert

Domis Dokumenten Management & Archiv Lösung Ihr Mehrwert Domis Dokumenten Management & Archiv Lösung Ihr Mehrwert www.domis.ch Inhaltsverzeichnis Domis Dokumenten Management & Archiv Lösung Benutzerfreundliche Windows-Oberfläche Kontrolle über Ihre Dokumente

Mehr

Diplomarbeit. Konzeption und Implementierung einer automatisierten Testumgebung. Thomas Wehrspann. 10. Dezember 2008

Diplomarbeit. Konzeption und Implementierung einer automatisierten Testumgebung. Thomas Wehrspann. 10. Dezember 2008 Konzeption und Implementierung einer automatisierten Testumgebung, 10. Dezember 2008 1 Gliederung Einleitung Softwaretests Beispiel Konzeption Zusammenfassung 2 Einleitung Komplexität von Softwaresystemen

Mehr

Best Practices Software Engineering für Smart Solutions in der Gesundheitstechnologie

Best Practices Software Engineering für Smart Solutions in der Gesundheitstechnologie Best Practices Software Engineering für Smart Solutions in der Gesundheitstechnologie Andreas Oyrer, GF CDE GmbH 04.12.2014 CDE - Communications Data Engineering GmbH A-4232 Hagenberg Softwarepark 37/1

Mehr

DURCHGÄNGIGE SAP CHANGE- UND RELEASE-PROZESSE EINFACH UMSETZEN

DURCHGÄNGIGE SAP CHANGE- UND RELEASE-PROZESSE EINFACH UMSETZEN THEGUARD! SMARTCHANGE CHANGE PROCESS DURCHGÄNGIGE SAP CHANGE- UND RELEASE-PROZESSE EINFACH UMSETZEN DURCHGÄNGIGE SAP CHANGE- UND RELEASE-PROZESSE EINFACH UMSETZEN THEGUARD! SMARTCHANGE I CHANGE PROCESS

Mehr

Die perfekte Online-Hilfe auf Basis von HTML5 und Open-Source- Komponenten. Jochen Marczinzik 11.04.2014, tekom Führjahrstagung

Die perfekte Online-Hilfe auf Basis von HTML5 und Open-Source- Komponenten. Jochen Marczinzik 11.04.2014, tekom Führjahrstagung Die perfekte Online-Hilfe auf Basis von HTML5 und Open-Source- Komponenten Jochen Marczinzik 11.04.2014, tekom Führjahrstagung 1 Zur Person Dipl.-Inf. (Univ.) Jochen Marczinzik 1993 1999 DATEV eg Entwickler

Mehr

Einreichung zum Call for Papers

Einreichung zum Call for Papers Internet: www.aitag.com Email: info@aitag.com Einreichung zum Call for Papers Kontaktinformationen Sven Hubert AIT AG Leitzstr. 45 70469 Stuttgart Deutschland http://www.aitag.com bzw. http://tfsblog.de

Mehr

Verwendung von OO-Metriken zur Vorhersage

Verwendung von OO-Metriken zur Vorhersage Verwendung von OO-Metriken zur Vorhersage Tobias Angermayr Übersicht 1. Definitionen 2. Gründe, Anforderungen, Ziele 3. Die CK-Metriken 4. Beobachtungen 5. Studie 6. Zusammenfassung Folie 2 Definitionen

Mehr

Dynamische Web-Anwendung

Dynamische Web-Anwendung Dynamische Web-Anwendung Christiane Lacmago Seminar Betriebssysteme und Sicherheit Universität Dortmund WS 02/03 Gliederung Einleitung Definition und Erläuterung Probleme der Sicherheit Ziele des Computersysteme

Mehr

Lösungen entwickeln mit Microsoft Excel 95

Lösungen entwickeln mit Microsoft Excel 95 Eric Wells Lösungen entwickeln mit Microsoft Excel 95 Leistungsfähige Datenanalyse und Informationssysteme mit Visual Basic für Applikationen und Excel-Objekte Microsoft Press Danksagung 11 Die Diskette

Mehr

Model Driven Software Development

Model Driven Software Development Model Driven Software Development Key Note DGLR Workshop, TUM Garching, 4. Oktober 2011 Dr. Björn Pötter Leiter SoftwareFactory (FCS & UAV Software), Cassidian (EADS) Trends in der Softwareentwicklung

Mehr

Entwicklungsunterstützende Dienstleistung im Bereich des Usability Engineering

Entwicklungsunterstützende Dienstleistung im Bereich des Usability Engineering Entwicklungsunterstützende Dienstleistung im Bereich des Usability Engineering Wer sind wir Die Use-Lab GmbH untersucht und spezifiziert unabhängig und objektiv die Gebrauchstauglichkeit von Medizinprodukten,

Mehr

Folie 1. agilemed 2014. Rico Unger 2014 19 Februar. ALM für medizinische Softwareentwicklung WWW.INTLAND.COM

Folie 1. agilemed 2014. Rico Unger 2014 19 Februar. ALM für medizinische Softwareentwicklung WWW.INTLAND.COM Folie 1 agilemed 2014 ALM für medizinische Softwareentwicklung Rico Unger 2014 19 Februar Kurze Vorstellung Folie 2 Rico Unger 10-jährige Erfahrung im MedTech-Bereich Entwickler von Hardware / embedded

Mehr

Effektiver Einsatz von Code-Reviews

Effektiver Einsatz von Code-Reviews Effektiver Einsatz von Code-Reviews Version: 1.4 Orientation in Objects GmbH Weinheimer Str. 68 68309 Mannheim www.oio.de info@oio.de 18. Java Forum Stuttgart 2015 Ihr Sprecher Thorsten Maier Trainer,

Mehr

Inkonsistenzen in der Modellierung

Inkonsistenzen in der Modellierung Inkonsistenzen in der Modellierung Software Group Claudio Grolimund: Inkonsistenzen in Modellen sollten schnell erkannt und behoben werden. Im Rahmen der Rational Software Developer Platform 2009 stellte

Mehr

Evaluation of Database Design and Reverse Engineering Tools for a Large Software System

Evaluation of Database Design and Reverse Engineering Tools for a Large Software System Evaluation of Database Design and Reverse Engineering Tools for a Large Software System Anne Thomas TU Dresden Dr. B. Demuth Pre Press GmbH (Dresden) T. Reuter Gliederung Einleitung Vorgehensweise Kontext

Mehr

Informationen zur Verwendung von Visual Studio und cmake

Informationen zur Verwendung von Visual Studio und cmake Inhaltsverzeichnis Informationen zur Verwendung von Visual Studio und cmake... 2 Erste Schritte mit Visual Studio... 2 Einstellungen für Visual Studio 2013... 2 Nutzung von cmake... 6 Installation von

Mehr

Von Requirements zutests. gç~åüáãkpåüìäò]èì~äáíóé~êâkçé

Von Requirements zutests. gç~åüáãkpåüìäò]èì~äáíóé~êâkçé Von Requirements zus gç~åüáãkpåüìäò]èì~äáíóé~êâkçé QualityPark Ihr Partner im Lifecycle Management Process Management Requirements Engineering IT & Development Process Expertise Process Implementation

Mehr

Software-Entwickler/innen Embedded Systems

Software-Entwickler/innen Embedded Systems Software-Entwickler/innen Embedded Systems Software-Projekte bei namhaften Unternehmen in ganz Deutschland. Unsere Expertise stellen wir als Partner von SAP und IBM unter Beweis. Business Intelligence,

Mehr

Spec# Einführung. Formale Software-Entwicklung Seminar SS 07 Universität Karlsruhe Hilal Akbaba

Spec# Einführung. Formale Software-Entwicklung Seminar SS 07 Universität Karlsruhe Hilal Akbaba Spec# Einführung Formale Software-Entwicklung Seminar SS 07 Universität Karlsruhe Hilal Akbaba Inhalt Einführung in C# Das Spec# System Die Konstrukte Vererben der Verträge System Architektur Einführung

Mehr

Teil IV Die Programmiersprache C++

Teil IV Die Programmiersprache C++ Teil IV Die Programmiersprache C++ 33 Lernziele Entstehung von C++ kennen Aufbau eines Programms in C++ kennen Einfache Programme mit Ein- und Ausgabe über ohne Kontrollstrukturen schreiben

Mehr