Newmedia365.de

Schlagwort: C++

  • Top-Programmiersprachen für 2020

    Top-Programmiersprachen für 2020

    Laut Wikipedia gibt es weltweit fast 700 Programmiersprachen und es ist höchstwahrscheinlich, dass Sie von einigen von ihnen noch nie etwas gehört haben. In diesem Artikel möchten wir die wichtigsten Programmiersprachen für 2020 hervorheben.

    Die am meisten gelernten Programmiersprachen

    Um die Beliebtheit von Programmiersprachen bei Anfängern und Fachleuten, die ihren persönlichen Technologie-Stack weiter ausbauen, zu sehen, lassen Sie uns Ihnen den PYPL Index ( http://pypl.github.io/PYPL.html) zeigen . PYPL (PopularitY of Programming Languages) zeigt, wie oft Menschen nach praktischen Einführungen und Lernkursen in Google suchen.

    Wie man sieht, ist Python derzeit die Sprache, die man am meisten bevorzugt, gefolgt von allen Top-Sprachen, von denen Sie definitiv gehört haben. Im Vergleich zum Vorjahr ist eine Zunahme der Beliebtheit nur in zwei Sprachen zu beobachten: Python (+ 4,1%) und JavaScript (+ 0,1%). Alle anderen genannten Sprachen verlieren ihre Position: Java (-1,8%), C # (-0,1%), PHP (-1%) und C / C ++ (-0,2%).

    22 andere Programmiersprachen haben deutlich geringeren Anteil an der gesuchten Sprachen. Allerdings gibt es zwei Sprachen, die ein erhebliches Wachstum der Beliebtheit zeigen: Kotlin (+4 Positionen) und Dart (+7 Positionen). Unsere Ansicht nach, dass sie weiterhin mehr Aufmerksamkeit hervorrufen werden und für das Lernen in Betracht gezogen werden sollten.

    Die am häufigsten verwendeten Sprachen

    Schauen wir uns nun die Sprachen an, die aktiv für die Softwareentwicklung verwendet werden. Zu diesem Zweck betrachten wir die vorliegende Statistik von GitHub ( https://madnight.github.io/githut/#/pull_requests/2020/2), die relevante Informationen über die Popularität von Sprachen in den letzten 5 Jahren durch Repository-Mitwirkende liefert.

    Obwohl es das Beliebteste zum Lernen ist und Java übertrifft, ist Phyton nur die zweitbeliebteste Sprache. JavaScript bleibt Jahr für Jahr der unbestrittene Champion und wir sind sicher, dass es weiterhin die Nummer eins bleiben wird.

    Wir möchten auch die Verwendung der Sprachen erwähnen, die nicht so populär sind wie diese, die oben genannt wurden, aber im Vergleich zum Vorjahr ein beträchtliches Wachstum der Beliebtheit zeigen. Hier sind die 5 Sprachen, die wir hervorheben möchten: Dart, Rust, Kotlin, TypeScript, Go.

    Eine weitere Quelle, auf die wir achten möchten – der TIOBE-Index ( https://www.tiobe.com/tiobe-index/). Er wird jeden Monat aktualisiert und zeigt die Beliebtheit von Programmiersprachen basierend auf der Anzahl der Lernkurse, erfahrenen Entwicklern und anderen verwandten Daten, die von Top-Suchmaschinen (Google, Yahoo, Bing, Amazon, Youtube usw.) bereitgestellt werden.

    Die Tabelle zeigt ein anderes Bild, dass die bekanntesten Sprachen immer noch vorhanden sind: Java, JavaScript, C, C ++, C #, Python und PHP. Swift erweist sich in Bezug auf die Popularität als am schnellsten entwickelnd. Swift erweist sich in Bezug auf die Popularität als am schnellsten entwickelnd. Es kann als „Objective-C-Killer“ bezeichnet werden, da es von Apple veröffentlicht wurde, um Objective-C zu ersetzen (seine Popularität hat erheblich gesunken – es ist in der ersten Grafik zu sehen). Swift ist aufgrund seiner einfachen Syntax leicht zu erlernen und wird hauptsächlich für die Entwicklung von Apps für iOS- und Mac-Plattformen verwendet.

    Top 10 Programmiersprachen für 2020

    Unter Berücksichtigung aller genannten Informationen und in Kombination mit unserer 20+ jährigen Erfahrung in der Softwareentwicklung( https://scand.de/) möchten wir die zehn wichtigsten Programmiersprachen hervorheben.

    #1 JavaScript

    JavaScript ist die Sprache Nummer eins, die verwendet wird. Es ist eine dynamische Multiparadigma-Programmiersprache auf hoher Ebene, die noch viele Jahre lang die beliebteste der Welt sein wird. Hauptsächlich wird es zum Entwickeln interaktiver und funktionsreicher Webanwendungen verwendet, kann aber auch zum Erstellen anderer Software genutzt werden, die überall ausgeführt wird: Server, Browser, mobile Geräte, Mikrocontroller usw.

    #2 Python

    Jetzt schon wird Python am meisten erlernt und wird dadurch auch bald seine Nutzungspopularität steigern. Aufgrund der eleganten und einfachen Syntax gilt es als die am einfachsten zu erlernende Sprache und wird bei der Programmierlehrtätigkeit benutzt.Es wird häufig für Machine Learning (ML), Deep Learning (DL), Datenwissenschaft sowie für Mathematik, Statistik und Computerwissenschaften verwendet. Python ist sowohl einfach als auch leistungsstark und ermöglicht die Optimierung des Entwicklungsprozesses robuster Anwendungen: Web oder Mobile.

    #3 Java

    Trotz ähnlicher Namen hat Java wenig mit JavaScript gemeinsam. Es ist eine objektorientierte, interpretierte Programmiersprache, die es als erste ermöglicht hat, den Code einmal zu schreiben und überall auszuführen. Diese Sprache kann für die Entwicklung von Anwendungen aller Größen, sowohl für Webentwicklung als auch für Mobile Entwicklung, sowie für die Entwicklung von Anwendungen auf Unternehmensebene und die Arbeit mit Big Data verwendet werden.

    #4 PHP

    Mit einer riesigen Open-Source-Community und einer breiten Verwendung von solchen Branchenriesen wie Facebook oder WordPress bleibt PHP gefragt, obwohl seine Popularität langsam sinkt. Das ist eine allgemein verwendbare dynamische Skriptsprache,die zum Erstellen dynamischer Webanwendungen erstellt wurde.

    #5 C++

    C ++ erschien als verbesserte Version der C-Sprache, die objektorientierte Funktionen einführte. Es bietet viele Compiler und Librarys, um leistungsstarke und zuverlässige Lösungen zu erstellen, die mit hoher Leistung und umfangreichen Funktionalität umgehen können. C ++ passt sich leicht an Ökosystem oder Änderungen der Hardware an und ist eine perfekte Option für Cloud Computing sowie für die Spieleentwicklung. Sie ist eine der am schwierigsten zu erlernenden Sprachen.

    #6 C#

    C # ist eine Multiparadigma-Programmiersprache, die von Microsoft für die Ausführung auf dem .NET-Framework erstellt wurde. Es kombiniert die Codekompilation wie in C ++ mit einer Java-ähnlichen Syntax. C # ermöglicht schnelle und funktionsreiche Anwendungen beliebiger Komplexität über mehrere Domänen entwickeln: native Apps für iOS und Android (mithilfe von Xamarin), Desktop-Apps für Windows oder Linux, komplexe Websysteme usw.

    #7 Dart

    Dart wurde 2011 von Google veröffentlicht und ist derzeit ein Champion mit wachsender Beliebtheit (+ 532% pro Jahr). Diese Sprache kann als benutzerorientiert bezeichnet werden, da es sich auf die Entwicklung erstklassiger Benutzeroberflächen konzentriert und gleichzeitig eine hervorragende Leistung für alle Arten von Plattformen und Geräten bietet. Dart wird häufig mit Flutter verwendet, der weit verbreiteten UI-Toolkit von Google ist und ermöglicht schöne und benutzerfreundliche Web- und Mobilanwendungen erstellen.

    #8 Rust

    Rust ist eine weitere Programmiersprache mit schnell wachsender Beliebtheit (+ 235% pro Jahr). Es wird zum Erstellen von VR-Anwendungen, Game-Engines, Betriebssystemen usw. verwendet. Da Rust schnell und speichereffizient ist, ist es die perfekte Wahl, um leistungskritische Lösungen zu betreiben und auf Embedded-Geräten auszuführen.

    #9 Kotlin

    Kotlin ist eine weitere moderne Allzweck-Programmiersprache (es wurde im Jahr 2015 veröffentlicht), die immer beliebter wird. Es läuft auf JVM (Java Virtual Machine) und ermöglicht die Verwendung der Vielzahl von Java-Libraries. Kotlin verfügt über einen viel einfacheren und saubereren Code als Java und bietet Entwicklern eine ähnliche Produktivität wie bei Python an. Aufgrund all dieser bedeutenden Vorteile ist sie jetzt die Hauptsprache für die Entwicklung von Android-Apps.

    #10 TypeScript

    TypeScript ist eine der am schnellsten wachsenden Open-Source-Sprachen, die sich selbst als „JavaScript, die skaliert“ bezeichnet. Es hat die gleiche Syntax wie JavaScript, was das Lernen so einfach macht wie ABC (für jeden, der JavaScript bereits kennt) – dies ist einer der Gründe, warum TypeScript von der Branche so schnell angenommen wird. Ein weiterer Grund ist die erweiterte Funktionalität, mit der Softwareentwickler grosflächigere Lösungen erstellen können.

    Schluss

    Die Kernidee der Vielfalt der Programmiersprachen ist, dass jede Aufgabe auf verschiedene Optionen und Ansätze gelöst werden kann. Jede Softwarelösung kann sich auf ihre spezifischen Ziele konzentrieren und diese auf unterschiedliche Weise erreichen. Daher ist es wichtig, die Möglichkeiten jedes Tools zu kennen und sein Potenzial zur Erfüllung bestimmter Geschäftsanforderungen zu analysieren.

    Scand Ltd. ist ein Belarusian Software Outsourcing Unternehmen mit Sitz in Minsk. Das Unternehmen konzentriert sich auf Softwareanwendungen und Produktentwicklungen, die hauptsächlich mit den Technologien .NET, Java, PHP/JavaScript und C++ realisiert werden. Mehr als 20 Jahre IT-Erfahrung, mehr als 600 erfolgreiche Projekte für Dutzende von Kunden weltweit und über 250 erfahrene Entwickler machen uns im Kern aus.

    Kontakt
    SCAND Ltd.
    Violetta Bobko
    Fabritsiusa 8b/1
    220007 Minsk
    +49 212-880-79797

    sales@scand.de
    https://scand.de/

    Die Bildrechte liegen bei dem Verfasser der Mitteilung.

  • GrammaTech auf der Embedded World 2020: Halle 4, Stand 4-423

    GrammaTech auf der Embedded World 2020: Halle 4, Stand 4-423

    Ithaca, NY (USA) – 10. Februar 2020 – GrammaTech, einer der führenden Anbieter für statische Code-Analyse und Cyber-Security-Lösungen, stellt auf der diesjährigen Embedded World in Nürnberg die IoT-Wertschöpfungskette in den Mittelpunkt: Wie können Entwickler von den Sensoren und Aktoren des IoT bis hin zu den Anwendungen sicherstellen, dass alle Komponenten zuverlässig, sicher und vertrauenswürdig sind?

    Eine zentrale Rolle dabei spielt die Code-Qualität. Um diese über den ganzen Software Development Lifecycle hinweg sicherzustellen, hat sich die statische Code-Analyse (SAST, Static Application Security Testing) bewährt. Das Verfahren ist auch in zahlreichen Normen im sicherheitskritischen Bereich vorgeschrieben. Mit CodeSonar stellt GrammaTech den Unternehmen eine Lösung bereit, die Quell- und Binär-Code über aller Bausteine des IoT hinweg auf Fehler, Sicherheitslücken und Normabweichungen hin überprüfen kann.

    Mit der aktuellen Version 5.2 hat GrammaTech sein bewährtes Tool CodeSonar um zahlreiche neue Funktionen erweitert. So wurden die Neuerung der Standards C17/C++17 sowie C++20 integriert. Auch die Unterstützung des offenen Standards SARIF 2.1 ist nun Teil von CodeSonar 5.2, wodurch die Zusammenarbeit von CodeSonar mit vielen IDEs weiter verbessert werden konnte. Zudem unterstützt CodeSonar 5.2 nun die aktuellste Version der Julia-Engine, die präzise Analysen bei Java und C# erlaubt.

    Eine weitere Neuerung betrifft die unterstützen Prozessorarchitekturen bei der Analyse binärer Dateien: Bislang konnte CodeSonar for Binaries Binärdateien analysieren, die für x86- und ARM-Architekturen kompiliert wurden. Mit der neuesten Version lassen sich nun auch Binärdateien für Power-Architekturen auf Fehler und Schwachstellen untersuchen. Auch diese Prozessorenfamilie ist sowohl im Embedded- als auch im Server-Umfeld weit verbreitet.

    GrammaTech zeigt seine Lösungen auf der Embedded World 2020 vom 25. bis 27. Februar 2020 in Halle 4, Stand 4-423.

    About GrammaTech:
    GrammaTech’s advanced static analysis tools are used by software developers worldwide, spanning a myriad of embedded software industries including avionics, government, medical, military, industrial control, and other applications where reliability and security are paramount. Originally developed within Cornell University, GrammaTech is now a leading research center for software security and a commercial vendor of software-assurance tools and advanced cyber-security solutions. With both static and dynamic analysis tools that analyze source code as well as binary executables, GrammaTech continues to advance the science of superior software analysis, providing technology for developers to produce safer software. For more information, visit www.grammatech.com or follow us on LinkedIn: https://www.linkedin.com/company/grammatech

    Firmenkontakt
    GrammaTech, Inc.
    Rodney Fleming
    Esty Street 531
    14850 Ithaca, NY
    +1-607-273-7340
    sales@grammatech.com
    http://www.grammatech.com

    Pressekontakt
    sayIT Public Relations
    Jan Schulze
    Franz-Brombach-Str. 11
    85435 Erding
    08122-954 77 13
    jan@sayit-pr.de
    http://www.sayit-pr.de

    Die Bildrechte liegen bei dem Verfasser der Mitteilung.

  • Verifysoft Technology auf der Embedded World 2020

    Verifysoft Technology auf der Embedded World 2020

    Verifysoft Technology zeigt auf der diesjährigen Messe in Nürnberg seine Code-Coverage-Lösung Testwell CTC++ zur Messung der Testabdeckung bei Embedded-Systemen.

    OFFENBURG, 3. Februar 2020 – Verifysoft Technology GmbH, Anbieter der verbreiteten Code-Coverage-Lösung Testwell CTC++, präsentiert auf der Embedded World 2020 die Leistungsfähigkeit seines Tools für die Qualitätssicherung bei Embedded-Systemen. Testwell CTC++ misst die Testabdeckung bei Embedded-Systemen und ist speziell auf die eingeschränkten Hardware-Reserven kleiner Targets optimiert.

    „Die grundsätzliche Herausforderung bei Validierung und Verifizierung von Embedded-Systemen ist, dass für die Messung der Testabdeckung der Code um Zähler erweitert werden muss“, erläutert Klaus Lambertz, Geschäftsführer bei Verifysoft Technology. „Das kann zu Speicherproblemen führen, aber auch die Prozessoren überlasten. Testwell CTC++ wurde speziell für Embedded-Devices konzipiert.“

    Vor allem für Unternehmen, die ihre Software nach strengen Standards wie IEC 61508, ISO 26262 oder DO-178B/C entwickeln, sind Nachweis und Dokumentation der Testabdeckung im Rahmen der Zertifizierung unabdingbar. Entsprechend stehen für zahlreiche Normen Qualification Kits zur Verfügung, welche die vorgegebene Qualifizierung des Werkzeugs innerhalb der Tool-Chain unterstützen.

    Testwell CTC++ unterstützt alle Compiler und Cross-Compiler. Das Tool erlaubt die Erfassung aller Testabdeckungsstufen bis hin zu MC/DC und MMC. Damit kann Testwell CTC++ in allen Projekten eingesetzt werden, in denen sicherheitskritische Embedded-Anwendungen mit C, C++, Java oder C# entwickelt werden.
    Verifysoft Technology stellt auf der Embedded World 2020 in Nürnberg vom 25. bis 27. Februar 2020 in Halle 4, Stand 4-423 aus.

    Die Verifysoft Technology GmbH ist ein führender Anbieter von Tools, Dienstleistungen und Schulungen zur Steigerung der Softwarequalität und Senkung der Entwicklungskosten im Embedded-Bereich. Das 2003 gegründete Unternehmen betreut mit einem internationalen Beraterteam am Firmensitz in Offenburg über 600 Kunden in weltweit fast 40 Ländern.

    Ein Schwerpunkt von Verifysoft Technology ist die Messung und Dokumentation der Code Covergage (Testüberdeckung). Dazu bietet Verifysoft Technology mit Testwell CTC++, Testwell CMT++ und Testwell CMTJava Lösungen an, die in allen sicherheitskritischen Branchen zum Einsatz kommen. Zudem ist Verifysoft Technology Distributor für verschiedene weitere Tools zur Qualitätssicherung von Software in Embedded Devices, wie zum Beispiel der Statischen Codeanalyse. Weitere Informationen zu Verifysoft Technology stehen unter www.verifysoft.com bereit.

    Firmenkontakt
    Verifysoft Technology GmbH
    Anna Kallenberg
    In der Spöck 10-12
    77656 Offenburg
    0781 127 8118-0
    kallenberg@verifysoft.com
    https://www.verifysoft.com/de.html

    Pressekontakt
    sayIT Public Relations
    Jan Schulze
    Franz-Brombach-Str. 11
    85435 Erding
    08122 954 77 13
    jan@sayit-pr.de
    http://sayit-pr.de

    Die Bildrechte liegen bei dem Verfasser der Mitteilung.

  • Forschungsbeitrag von GrammaTech für Bug Injector von IEEE SCAM 2019 ausgezeichnet

    Forschungsbeitrag von GrammaTech für Bug Injector von IEEE SCAM 2019 ausgezeichnet

    Ithaca, NY (USA) – 3. Februar 2020 – Während der International Working Conference zu Source Code Analysis & Manipulation (SCAM) wurde ein Forschungsbeitrag von GrammaTech mit dem „Distinguished Paper Award“ des Institute of Electrical and Electronics Engineers (IEEE) Computer Society TCSE (Technical Council on Software Engineering) ausgezeichnet.

    Die Veröffentlichung wurde nach mehreren Reviews und Abstimmungen durch die Komiteemitglieder ausgewählt. Das Dokument beschreibt ausführlich Bug Injector, ein System zur automatischen Erstellung von Benchmarks zur individuellen Evaluierung von Tools zur statischen Code-Analyse. Das Papier steht hier zum Download bereit: https://arxiv.org/pdf/1901.02819.pdf

    Bug Injector fügt echten Programmen gezielt Fehler auf Basis eines Bug-Templates hinzu. Das Tool führt auf dem Host-Programm Tests aus, um dynamische Spuren zu erkennen. In dieses Spuren sucht es nach einem Punkt, an dem der Zustand zu den Vorgaben eines Bug-Templates passt. Hier modifiziert Bug Injector das Host-Programm, indem es anhand dieses Templates einen Fehler injiziert. Die injizierten Bugs dienen als Testfälle, um einen Benchmark zur Evaluierung eines Tools zur statischen Analyse zu erstellen. Bug Injector verbindet jeden eingefügten Fehler mit dem passenden Programm-Input, um den Bug auszuführen. Das Forscherteam von GrammaTech identifizierte zahlreiche Anforderungen und Desiderate für Fehler-Benchmarks. Daraus ergaben sich Test-Benchmarks „on demand“, die diesen Anforderungen gerecht werden. Auch ermöglichte es dieser Ansatz, individuelle Benchmarks zu entwickeln, mit denen Tools für spezifische Einsatzszenarien – etwa eine vorgegebene Codebasis oder Fehlerklasse – evaluiert werden können. Die Eignung der erzeugten Benchmarks für die Evaluierung statischer Bug-Detection-Tools und zum Vergleich unterschiedlicher Werkzeuge konnte experimentell gezeigt werden.

    Laut der SCAM Website ist es das Ziel der International Working Conference, Forscher und Praktiker zusammenzubringen, um theoretische Grundlagen, Techniken und Anwendungen im Bereich der Analyse und/oder Manipulation von Quell-Code auf Computersystemen weiter zu entwickeln. Denn obwohl sich das Gros der Software-Entwickler-Community anderen Aspekten der Systementwicklung und -evolution zuwendet, ist der Source-Code die einzige exakte Beschreibung des Verhaltens eines Systems. Die Analyse und Manipulation dieses Source-Codes bleibt nach wie vor ein wichtiges Gebiet.

    Weitere Details zu Bug-Injector finden Sie im GrammaTech-Blog

    GrammaTech auf der Embedded World 2020 vom 25. bis 27. Februar 2020 in Nürnberg: Halle 4, Stand 4-423

    Bug-Injector research was sponsored by the Defense Advanced Research Projects Agency (DARPA) under Contract No. D17PC00096 and the Department of Homeland Security (DHS) Science and Technology Directorate, Cyber Security Division (DHS S&T/CSD) via contract number HHSP233201600062C. The views, opinions, findings, and conclusions or recommendations contained herein are those of the authors and should not be interpreted as necessarily representing the official views policies or endorsements, either expressed or implied, of DARPA or DHS.

    About GrammaTech:
    GrammaTech’s advanced static analysis tools are used by software developers worldwide, spanning a myriad of embedded software industries including avionics, government, medical, military, industrial control, and other applications where reliability and security are paramount. Originally developed within Cornell University, GrammaTech is now a leading research center for software security and a commercial vendor of software-assurance tools and advanced cyber-security solutions. With both static and dynamic analysis tools that analyze source code as well as binary executables, GrammaTech continues to advance the science of superior software analysis, providing technology for developers to produce safer software. For more information, visit www.grammatech.com or follow us on LinkedIn: https://www.linkedin.com/company/grammatech

    Firmenkontakt
    GrammaTech, Inc.
    Rodney Fleming
    Esty Street 531
    14850 Ithaca, NY
    +1-607-273-7340
    sales@grammatech.com
    http://www.grammatech.com

    Pressekontakt
    sayIT Public Relations
    Jan Schulze
    Franz-Brombach-Str. 11
    85435 Erding
    08122-954 77 13
    jan@sayit-pr.de
    http://www.sayit-pr.de

    Die Bildrechte liegen bei dem Verfasser der Mitteilung.

  • Verifysoft Technology lädt ein zum 7. Static Code Analysis Day

    Verifysoft Technology lädt ein zum 7. Static Code Analysis Day

    OFFENBURG, 14. Januar 2020 – Verifysoft Technology GmbH, Anbieter der verbreiteten Code-Coverage-Lösung Testwell CTC++, lädt Kunden und Interessierte zum 7. Static Code Analysis Day nach Offenburg ein. Die Veranstaltung, die am 3. März 2020 stattfindet, richtet sich an Entwickler und Tester im Bereich der Embedded-Systeme. Experten von Verifysoft Technology, GrammaTech (USA) und Imagix (USA) zeigen dabei, wie Software-Fehler durch leistungsstarke Tools und in den Entwicklungszyklus integrierte Prozesse zuverlässig und kostensparend beseitig werden können.

    „Embedded-Systeme gewinnen in allen Branchen an Kritikalität“, so Klaus Lambertz, Geschäftsführer von Verifysoft Technology. „Jeder Fehler kann gravierende Folgen haben, sei es für die Geschäftsprozesse eines Unternehmens, sei es für die Gesundheit von Menschen. Es gilt also, Fehler so zuverlässig wie möglich zu erkennen und zu beseitigen. Durch die statische Code-Analyse können Bugs sehr frühzeitig und effizient aufgedeckt werden, hier ergibt sich ein großes Einsparungspotenzial für die Entwicklungsabteilungen.“

    Themen des 7. Static Code Analysis Day sind unter anderem SARIF, ein neuer Standard zur Vereinfachung der Integration von statischen Analyse-Tools, die Nutzung der Delta-Analyse zur besseren Beurteilung der Auswirkungen von Fehlern und die Auswahlkriterien für Analysewerkzeuge.

    Die Referenten:
    Dipl.-Ing. Royd Lüdtke, Direktor Statische Analysetools bei Verifysoft Technology
    Dr. Paul Anderson, Vice President of Engineering bei GrammaTech
    Dr. Guido Persch, Chief Technologist bei Imagix

    Weitere Informationen und Anmeldemöglichkeiten zum 7. Static Code Analysis Day am 3. März in Offenburg stehen unter https://www.verifysoft.com/de_static_analysis_day_2019.html bereit.

    Verifysoft Technology auf der embedded world 2020 vom 25. bis 27. Februar 2020: Besuchen Sie uns in Halle 4, Stand 4-423.

    Die Verifysoft Technology GmbH ist ein führender Anbieter von Tools, Dienstleistungen und Schulungen zur Steigerung der Softwarequalität und Senkung der Entwicklungskosten im Embedded-Bereich. Das 2003 gegründete Unternehmen betreut mit einem internationalen Beraterteam am Firmensitz in Offenburg über 600 Kunden in weltweit fast 40 Ländern.

    Ein Schwerpunkt von Verifysoft Technology ist die Messung und Dokumentation der Code Covergage (Testüberdeckung). Dazu bietet Verifysoft Technology mit Testwell CTC++, Testwell CMT++ und Testwell CMTJava Lösungen an, die in allen sicherheitskritischen Branchen zum Einsatz kommen. Zudem ist Verifysoft Technology Distributor für verschiedene weitere Tools zur Qualitätssicherung von Software in Embedded Devices, wie zum Beispiel der Statischen Codeanalyse. Weitere Informationen zu Verifysoft Technology stehen unter www.verifysoft.com bereit.

    Firmenkontakt
    Verifysoft Technology GmbH
    Polina Handzhiyska
    In der Spöck 10-12
    77656 Offenburg
    0781 127 8118-0
    Handzhiyska@verifysoft.com
    https://www.verifysoft.com/de.html

    Pressekontakt
    sayIT Public Relations
    Jan Schulze
    Franz-Brombach-Str. 11
    85435 Erding
    08122 954 77 13
    jan@sayit-pr.de
    http://sayit-pr.de

    Die Bildrechte liegen bei dem Verfasser der Mitteilung.

  • GrammaTech veröffentlicht CodeSonar 5.2 mit erweiterten Einsatzmöglichkeiten

    GrammaTech veröffentlicht CodeSonar 5.2 mit erweiterten Einsatzmöglichkeiten

    Ithaca, NY (USA) – 11. Dezember 2019 – GrammaTech, einer der führenden Anbieter für statische Code-Analyse und Cyber-Security-Lösungen, hat heute die sofortige Verfügbarkeit von CodeSonar® 5.2 bekannt gegeben. Die jüngste Version von CodeSonar erlaubt es, die statische Code-Analyse (SAST, Static Application Security Testing) mit einem einheitlichen Tool sowohl bei Embedded-Systemen als auch bei Enterprise-Anwendungen durchzuführen. Durch SAST werden sowohl die Code-Qualität als auch Sicherheit und Zuverlässigkeit der Software verbessert.

    CodeSonar 5.2 unterstützt nun AUTOSAR C++ 14, die aktuellste Programmierrichtlinie für C++ von AUTOSAR. Bereits in früheren CodeSonar-Versionen wurde der Standard MISRA implementiert. Mit der neuen AUTOSAR-Unterstützung unterstreicht GrammaTech seine führende Rolle bei der Verschmelzung der beiden Standards MISRA und AUTOSAR.

    In der neuen Version von CodeSonar wurde auch die Unterstützung von Compilern und offenen Standards weiter verbessert. So arbeitet CodeSonar 5.2 nun mit den jeweils aktuellsten Versionen der Compiler IAR, GNU C und CLANG zusammen. Die Neuerungen der Standards C 17/C++ 17 und C++ 20 wurden ebenfalls integriert. Für die Kunden bedeutet das, dass CodeSonar nun C und C++ von den älteren bis zu den neuesten Sprachmerkmalen beherrscht. Zudem engagiert sich GrammaTech weiter für offene Standards, etwa mit Beiträgen zur SARIF 2.1 und Unterstützung dieses Standards. Dadurch kann CodeSonar auch mit aktuellen Versionen verschiedener IDEs wie zum Beispiel Microsoft VS Code zusammenarbeiten.

    Die Integration von JuliaSoft in CodeSonar ist nochmals enger geworden, hier unterstützt CodeSonar 5.2 nun die allerneueste Julia-Engine. Diese bietet eine hohe Erkennungsgenauigkeit bei Sicherheitslücken mit hoher Präzision für Java und C#.

    Darüber hinaus hat GrammaTech auch CodeSonar for Binaries weiterentwickelt. Neben der bereits vorhandenen Unterstützung für x68- und ARM-Architekturen können nun auch Binärdateien für Power-Architekturen analysiert werden. Mit der Ausweitung auf die Power-Architektur vergrößert GrammaTech das Einsatzfeld von CodeSonar for Binaries um eine weitere, weit verbreitete Prozessorenfamilie, die sowohl im Embedded- als auch im Server-Bereich zum Einsatz kommt – etwa in Systemen von NXP oder IBM.

    „Hunderte von CodeSonar-Kunden über alle Branchen hinweg nutzen CodeSonar als bevorzugtes SAST-Tool, um Software für Unternehmen aus dem Embedded- und Enterprise-Umfeld zu entwickeln – manche eigene Software, manche mit Lösungen von Drittanbietern“, erläutert Vince Arneja, Chief Product Officer von GrammaTech. „Das Bekenntnis zu offenen Standards in der neuen Ausgabe von CodeSonar erhöht nochmals den Mehrwert für unsere Kunden.“

    Mit diesem Update stellt CodeSonar Entwicklern wieder Tools zur Verfügung, die fein auf den jeweiligen Bedarf abgestimmt werden können und die sich einfach in den Code-Review-Prozess integrieren lassen. Und das mit einem einheitlichen Interface, das leicht über Projekte und Sprachen hinweg skaliert. Das Update steht Kunden mit gültigen Support- und Wartungsverträgen kostenlos zur Verfügung. Eine Testversion, die 30 Tage gültig ist, steht zum Download unter go.grammatech.com bereit.

    GrammaTech auf der embedded world 2020 vom 25. bis 27. Februar 2020 in Nürnberg: Halle 4, Stand 4-423

    About GrammaTech:
    GrammaTech’s advanced static analysis tools are used by software developers worldwide, spanning a myriad of embedded software industries including avionics, government, medical, military, industrial control, and other applications where reliability and security are paramount. Originally developed within Cornell University, GrammaTech is now a leading research center for software security and a commercial vendor of software-assurance tools and advanced cyber-security solutions. With both static and dynamic analysis tools that analyze source code as well as binary executables, GrammaTech continues to advance the science of superior software analysis, providing technology for developers to produce safer software. For more information, visit www.grammatech.com or follow us on LinkedIn: https://www.linkedin.com/company/grammatech

    Firmenkontakt
    GrammaTech, Inc.
    Rodney Fleming
    Esty Street 531
    14850 Ithaca, NY
    +1-607-273-7340
    sales@grammatech.com
    http://www.grammatech.com

    Pressekontakt
    sayIT Public Relations
    Jan Schulze
    Franz-Brombach-Str. 11
    85435 Erding
    08122-954 77 13
    jan@sayit-pr.de
    http://www.sayit-pr.de

    Die Bildrechte liegen bei dem Verfasser der Mitteilung.

  • Embraer nutzt Testwell CTC++ für sicherheitskritische Systeme

    Embraer nutzt Testwell CTC++ für sicherheitskritische Systeme

    Offenburg, 12. Dezember 2019 – Kaum eine Branche ist so sicherheitskritisch wie die Luftfahrt. Das spiegelt sich auch in den Vorgaben für die Software-Entwicklung wider, die in der Norm DO-178C festgelegt sind. Um die Anforderungen einzuhalten, die DO-178C an das Testing und an die Messung der Code-Coverage stellt, hat nun der brasilianische Flugzeughersteller Embraer das Tool Testwell CTC++ von Verifysoft Technology aus Offenburg eingeführt.

    Das Unternehmen entwickelt selbst Systeme und Steuerungen, die zum Teil dem höchsten Design Assurance Level (DAL A) der DO-178C unterliegen. Entsprechend ist beim Testing ein erheblicher Aufwand zu betreiben, um die Software regelkonform zu verifizieren. Die Durchführung und die Ergebnisse des Testings müssen erfasst und dokumentiert werden. Somit benötigte Embraer eine Lösung, um die Testabdeckung zu messen. Gerade bei Embedded-Systemen sind hierfür jedoch einige Hürden zu nehmen: Zur Messung der Code-Coverage muss der zu testende Code um Zähler erweitert werden. Dieser als Instrumentierung bezeichnete Vorgang lässt den Code jedoch wachsen, was bei sehr kleinen Targets zu Problemen mit dem verfügbaren Speicher oder mit dem Laufzeitverhalten führen kann.

    Embraer entschied sich hier für Testwell CTC++. Das Tool wurde speziell für die Code Coverage bei Embedded-Systemen entwickelt und erzeugt einen extrem kleinen Overhead bei der Instrumentierung. Zudem arbeitet es unabhängig von den eingesetzten Compilern und kann so leicht in eine bestehende Tool-Chain integriert werden. „Wir müssen bei den kritischen Systemen die Vorgaben A-7.3 bis A-7.8 im Testing erreichen“, erläutert João Carlos Davison, bei Embraer für die Verifizierung und Zertifizierung zuständig. „Dazu gehören auch Strukturtests mit Statement-Coverage, Decision-Coverage und MC/DC.“

    Vor der Evaluierung von Testwell CTC++ durch die Entwickler von Embraer gab es einige Bedenken. So war das Team unsicher, ob Testwell CTC++ für die sehr hohe Komplexität der Tests mit vielen MC/DC-Test-Fällen geeignet sei. Alle Fragen konnten jedoch im Lauf der umfangreichen Evaluierung zur Zufriedenheit der Entwickler beantwortet werden, so dass einem Einsatz des Tools im Rahmen von DO-178C DAL A nichts im Wege stand. Testwell CTC++ wurde in den kontinuierlichen Verifizierungs-Workflow bei Embraer integriert, mit dem regelmäßig eine automatische Verifizierung bei Änderungen am Source-Code oder an den Tests erfolgt. Für Testwell CTC++ sprach laut Davison nicht zuletzt die sehr einfache Integrierbarkeit in den bestehenden Prozess und die Tool-Chain. Zudem sei Testwell CTC++ als Kommandozeilen-Tool einfach zu erlernen und leicht zu bedienen. Die visualisierten Berichte sind gut zu überschauen und bieten einen schnellen Zugriff auf alle benötigten Informationen.

    „Wir freuen uns sehr, dass sich Embraer für Testwell CTC++ entschieden hat“, so Klaus Lambertz, Geschäftsführer von Verifysoft Technology. „Die von uns vertriebene Lösung hat sich über viele Jahre bei der Entwicklung von Embedded-Systemen – auch im sicherheitskritischen Bereich – weltweit bewährt. Dass uns ein bedeutender Flugzeughersteller das Vertrauen schenkt und Testwell CTC++ für die höchsten Sicherheitsanforderungen nutzt, ist dafür der beste Beleg.“

    Embraer ist nach Boeing, Airbus und Bombardier der viertgrößte Flugzeughersteller der Welt. Das Unternehmen, das in São Jose dos Campos nahe São Paulo ansässig ist, beschäftigt rund 18.000 Mitarbeiter und erwirtschaftete 2016 einen Umsatz über sechs Milliarden US-Dollar.

    Verifysoft Technology auf der embedded world 2020 vom 25. bis 27. Februar 2020: Besuchen Sie uns in Halle 4, Stand 4-423.

    Die Verifysoft Technology GmbH ist ein führender Anbieter von Tools, Dienstleistungen und Schulungen zur Steigerung der Softwarequalität und Senkung der Entwicklungskosten im Embedded-Bereich. Das 2003 gegründete Unternehmen betreut mit einem internationalen Beraterteam am Firmensitz in Offenburg über 600 Kunden in weltweit fast 40 Ländern.

    Ein Schwerpunkt von Verifysoft Technology ist die Messung und Dokumentation der Code Covergage (Testüberdeckung). Dazu bietet Verifysoft Technology mit Testwell CTC++, Testwell CMT++ und Testwell CMTJava Lösungen an, die in allen sicherheitskritischen Branchen zum Einsatz kommen. Zudem ist Verifysoft Technology Distributor für verschiedene weitere Tools zur Qualitätssicherung von Software in Embedded Devices, wie zum Beispiel der Statischen Codeanalyse. Weitere Informationen zu Verifysoft Technology stehen unter www.verifysoft.com bereit.

    Firmenkontakt
    Verifysoft Technology GmbH
    Polina Handzhiyska
    In der Spöck 10-12
    77656 Offenburg
    0781 127 8118-0
    Handzhiyska@verifysoft.com
    https://www.verifysoft.com/de.html

    Pressekontakt
    sayIT Public Relations
    Jan Schulze
    Franz-Brombach-Str. 11
    85435 Erding
    08122 954 77 13
    jan@sayit-pr.de
    http://sayit-pr.de

    Die Bildrechte liegen bei dem Verfasser der Mitteilung.

  • Five Points Capital schließt Übernahme von GrammaTech ab

    Five Points Capital schließt Übernahme von GrammaTech ab

    Ithaca, NY / Bethesda, MD (USA) – 12. November 2019 – Five Points Capital, ein führender Private-Equity-Manager gibt bekannt, dass das Unternehmen GrammTech Inc. übernommen hat. GrammaTech ist Anbieter von Software-Assurance-Tools und fortschrittlicher Cyber-Security-Lösungen für Regierungsbehörden und gewerbliche Kunden. Five Points Capital ging für diese Übernahme eine Partnerschaft mit Pleasant Bay Capital, Crescendo Capital, Capital Southwest Corporation und dem neuen GrammaTech-CEO Mike Dager ein.

    Dager wird GrammaTech als Chief Executive Officer führen. Er greift auf über 30 Jahre Erfahrung in leitenden Positionen in den Märkten zurück, die GrammaTech bedient. Zuvor bekleidete Dager unter anderem Positionen als CEO bei Enea, Worksoft oder Arxan Technologies sowie im Senior Sales Management bei Pure Software.

    „Tim Teitelbaum und Thomas Reps, die Gründer von GrammaTech, haben das Unternehmen gut für die weitere Expansion im wachsenden Markt für Application Security positioniert“, sagt Dager. „Wir freuen uns darauf, auf dieser Basis weiter aufzubauen und die zahlreichen Chancen zu nutzen, die sich GrammaTech auftun.“

    Die Software von GrammaTech ermöglicht es den Anwendern, Source- und Binär-Code schnell auf Schwachstellen zu überprüfen, die zu Sicherheitslücken, Systemausfällen oder Einschränkungen bei Zuverlässigkeit und Performance führen können. Die Expertise von GrammaTech im Application-Security-Testing wurde im Laufe von drei Jahrzehnten im Rahmen innovativer Forschung für die nationale Security-Community und Behörden der US-Regierung aufgebaut.

    Über Five Points Capital
    Five Points Capital wurde 1997 gegründet und ist ein führender Private-Equity-Verwalter, der sich exklusiv auf den unteren Mittelstand in den USA fokussiert. Five Points verwaltet branchenorientierte Fund-of-Funds-Strategien für direktes Private-Equity-, Kredit- und Small-Market-Buyout, die auf die Unterstützung des Kapitalbedarfs von privaten, wachstumsorientierten Unternehmen ausgerichtet sind. Five Points beteiligt sich direkt als Hauptinvestor oder als Co-Investor mit anderen Private-Equity-Gruppen an Kontrolltransaktionen von Unternehmen in Privatbesitz. Five Points bieten Unitranche oder nachrangigen Schuldtiteln mit Kapitalbeteiligung zur Unterstützung von Finanzsponsoren und anderen an, sowie für nicht gesponserte Rekapitalisierungen oder Wachstumsinvestitionsmöglichkeiten. Außerdem investiert Five Points in andere Private-Equity-Buyout-Fonds und tätigt Co-Investments im kleinen bis unteren Mittelstand. Five Points hat seinen Sitz in Winston-Salem, North Carolina, und ist ein bei der US-amerikanischen Börsenaufsichtsbehörde (Securities and Exchange Commission) registrierter Anlageberater. Mehr Informationen finden Sie unter www.fivepointscapital.com

    About GrammaTech:
    GrammaTech’s advanced static analysis tools are used by software developers worldwide, spanning a myriad of embedded software industries including avionics, government, medical, military, industrial control, and other applications where reliability and security are paramount. Originally developed within Cornell University, GrammaTech is now a leading research center for software security and a commercial vendor of software-assurance tools and advanced cyber-security solutions. With both static and dynamic analysis tools that analyze source code as well as binary executables, GrammaTech continues to advance the science of superior software analysis, providing technology for developers to produce safer software. For more information, visit www.grammatech.com or follow us on LinkedIn: https://www.linkedin.com/company/grammatech

    Firmenkontakt
    GrammaTech, Inc.
    Rodney Fleming
    Esty Street 531
    14850 Ithaca, NY
    +1-607-273-7340
    sales@grammatech.com
    http://www.grammatech.com

    Pressekontakt
    sayIT Public Relations
    Jan Schulze
    Franz-Brombach-Str. 11
    85435 Erding
    08122-954 77 13
    jan@sayit-pr.de
    http://www.sayit-pr.de

    Die Bildrechte liegen bei dem Verfasser der Mitteilung.

  • Verifysoft Technology von GrammaTech ausgezeichnet

    Verifysoft Technology von GrammaTech ausgezeichnet

    Offenburg, 24. Oktober 2019 – Verifysoft Technology, deutscher Distributor des Tools CodeSonar zur statischen Code-Analyse von GrammaTech, wurde vom Hersteller für den höchsten Einzelumsatz weltweit des jüngst abgelaufenen Geschäftsjahres 2018/2019 ausgezeichnet. Verifysoft Technology vertreibt bereits seit 2013 die Lösungen von GrammaTech exklusiv am deutschen Markt und wurde in dieser Zeit bereits fünf Mal für seine erfolgreiche Vertriebstätigkeit geehrt.

    „Wir freuen uns sehr, dass wir auch in diesem Jahr wieder gemeinsam mit GrammaTech erfolgreich sein konnten“, so Klaus Lambertz, Geschäftsführer von Verifysoft Technology. „Wir sind sehr stolz, den größten Einzelumsatz aller Distributoren weltweit erzielt zu haben. Das zeigt letztlich, dass Deutschland bei der Entwicklung von Embedded-Systemen in der ersten Liga mitspielt.“

    Das Tool CodeSonar dient dazu, Programmcode bei der Entwicklung von Embedded-Systemen durch statische Code-Analyse auf Fehler und Schwachstellen zu überprüfen. Dieses Verfahren kann bereits in einer sehr frühen Phase der Produktentwicklung eingesetzt und in weiten Teilen automatisiert werden. CodeSonar findet dabei zuverlässig klassische Programmierfehler wie Buffer Overruns oder Null-Pointer Dereferenzierungen, die das Einfallstor für die meisten Cyber-Angriffe bilden.

    Der nun ausgezeichnete Umsatz konnte bei einem großen deutschen Automobilhersteller erzielt werden. Das Unternehmen, welches CodeSonar unter anderem bei der Entwicklung neuer, sicherheitskritischer Technologien einsetzt, nutzt das Werkzeug bereits seit einigen Jahren und erneuerte nun seine Lizenzen für weitere drei Jahre. „Neben der Leistungsfähigkeit von CodeSonar war der Support ein wichtiger Grund für unseren Kunden, weiter auf dieses Tool zu setzen“, so Royd Lüdtke, Direktor für statische Code-Analyse bei Verifysoft Technology. „Anfragen unserer Kunden kommen direkt in unserem Firmensitz in Offenburg an und werden gleich von technisch versierten Mitarbeitern entgegengenommen. Diese kennen das Produkt und die Herausforderungen der Kunden. Das wissen die Anwender offensichtlich zu schätzen. Immerhin nutzen die meisten Automobilhersteller und Zulieferer in Deutschland CodeSonar zur Qualitätssicherung in der Software-Entwicklung.“

    Auch der Hersteller freut sich natürlich über den geschäftlichen Erfolg: „Die diesjährige Auszeichnung ist ein weiterer Meilenstein für die Zusammenarbeit zwischen GrammaTech und Verifysoft Technology“, so Mark Hermeling, Senior Director Product Marketing bei GrammaTech. „Verifysoft Technology bringt ein hohes Maß an Expertise mit und schafft es so, langfristige und vertrauensvolle Beziehungen zu den CodeSonar-Anwendern in Deutschland über alle Branchen hinweg aufzubauen. Davon profitieren alle – die Kunden, unser Distributor und natürlich nicht zuletzt wir als Hersteller.“

    Die Verifysoft Technology GmbH ist ein führender Anbieter von Tools, Dienstleistungen und Schulungen zur Steigerung der Softwarequalität und Senkung der Entwicklungskosten im Embedded-Bereich. Das 2003 gegründete Unternehmen betreut mit einem internationalen Beraterteam am Firmensitz in Offenburg über 600 Kunden in weltweit fast 40 Ländern.

    Ein Schwerpunkt von Verifysoft Technology ist die Messung und Dokumentation der Code Covergage (Testüberdeckung). Dazu bietet Verifysoft Technology mit Testwell CTC++, Testwell CMT++ und Testwell CMTJava Lösungen an, die in allen sicherheitskritischen Branchen zum Einsatz kommen. Zudem ist Verifysoft Technology Distributor für verschiedene weitere Tools zur Qualitätssicherung von Software in Embedded Devices, wie zum Beispiel der Statischen Codeanalyse. Weitere Informationen zu Verifysoft Technology stehen unter www.verifysoft.com bereit.

    Firmenkontakt
    Verifysoft Technology GmbH
    Polina Handzhiyska
    In der Spöck 10-12
    77656 Offenburg
    0781 127 8118-0
    Handzhiyska@verifysoft.com
    https://www.verifysoft.com/de.html

    Pressekontakt
    sayIT Public Relations
    Jan Schulze
    Franz-Brombach-Str. 11
    85435 Erding
    08122 954 77 13
    jan@sayit-pr.de
    http://sayit-pr.de

    Die Bildrechte liegen bei dem Verfasser der Mitteilung.

  • GrammaTech unter den Top-Ten-Anbietern des Departments of Homeland Security

    GrammaTech unter den Top-Ten-Anbietern des Departments of Homeland Security

    GrammaTech wurde für seine fortschrittliche statische Code-Analyse und herausragende Leistungen in der Forschung im Auftrag des Department of Homeland Security gewürdigt.

    Ithaca, NY (USA) – 24. September 2019 – GrammaTech, einer der führenden Anbieter für statische Code-Analyse, hat es in die Top-Ten-Liste der Anbieter für Security-Lösungen der Homeland Security 2019 der Zeitschrift Government CIO Outlook (GovCIO) geschafft.

    Die Auswahl der Top-Ten-Unternehmen traf die Redaktion von GovCIO gemeinsam mit einer Expertenkommission. GrammaTech wurde aufgrund der jüngsten Forschungsergebnisse aufgenommen, die das Unternehmen im Rahmen des „Static Analysis Modernization Program“ (STAMP) erzielte. STAMP ist eine Initiative des Direktorats „Science and Technology“ des Department of Homeland Security (DHS) der USA. Die Ideen und Ansätze, die GrammaTech in diesem Rahmen entwickelte, haben das Potenzial, den Bereich Cyber-Security in der Verteidigungstechnologie grundlegend zu verändern. Dabei ragt insbesondere der Einsatz maschinellen Lernens heraus, mit dem es gelang, Regeln für die korrekte Nutzung von APIs (Application Programming Interfaces) zu ermitteln. Dieses war durch die Analyse eines immensen Code-Korpus aus der Open-Source-Welt möglich. Damit können nun Tools zur statischen Code-Analyse trainiert werden, so dass diese eine fehlerhafte API-Nutzung in Software-Projekten erkennen können. Mit Hilfe des maschinellen Lernens bei der Regeldefinition konnten für die statische Code-Analyse weitaus mehr Tests zu deutlich geringeren Kosten erarbeitet werden, als das manuell der Fall wäre. Das Ergebnis dieser Arbeit ist bereits in der aktuellen Version von GrammaTech CodeSonar® verfügbar.

    „Wir haben durch tausende Open-Source-Programme die Regeln ermittelt und diese in CodeSonar® sowie andere Code-Analyzer aus der Open-Source-Welt integriert“, so Tim Teitelbaum, CEO von GrammaTech. „Damit stehen die Ergebnisse unserer Forschung auch den Open-Source-Communities zur Verfügung. Kurz gesagt entwickeln wir die Technologie weiter, um das Ausmerzen von Schwachstellen bereits in einer frühen Phase des Software Development Lifecycles einfacher zu machen.“

    Im Rahmen von STAMP arbeitet GrammaTech zudem als Mitglied des Steuerungskomitees zusammen mit Microsoft an den offenen Standards des „Static Analysis Results Interchange Formats“ (SARIF). „Wir haben es für verschiedene Open-Source-Tools ermöglicht, ihre Ergebnisse nach SARIF zu exportieren“, erläutert Teitelbaum. „Das erleichtert den Import dieser Daten in Tools, die SARIF unterstützen. Dazu zählen etwa GrammaTech CodeSonar® oder Microsoft VS Code.“
    Das vollständige Interview mit GrammaTech-CEO Tim Teitelbaum steht in der jüngsten Ausgabe von GovCIO bereit (in englischer Sprache).

    The views and conclusions contained herein are those of the authors and should not be interpreted as necessarily representing the official policies or endorsements, either expressed or implied, of the Department of Homeland Security.

    Über GrammaTech:
    Software-Entwickler auf der ganzen Welt setzen die Tools von GrammaTech ein, wo Zuverlässigkeit und Sicherheit zu den Grundvoraussetzungen zählen: Luft-/Raumfahrt, Automotive, Medizintechnik und zahlreiche andere Branchen. GrammaTech entstand aus einem Forschungsprojekt an der Cornell Universität. Heute ist GrammaTech sowohl ein führendes Forschungscenter als auch kommerzieller Anbieter von Software-Assurance-Tools und fortschrittlicher Cyber-Security-Lösungen. Mit Tools sowohl für die statische als auch für die dynamische Analyse von Source Code und binären Dateien treibt GrammaTech die Forschung im Bereich herausragender Software-Analyse voran und verfügt über Technologien, mit denen Software-Teams sichere Software programmieren können. Besuchen Sie uns auf www.grammatech.com oder folgen Sie uns bei LinkedIn ( https://www.linkedin.com/company/grammatech) für weitere Informationen.

    Firmenkontakt
    GrammaTech, Inc.
    Rodney Fleming
    Esty Street 531
    14850 Ithaca, NY
    +1-607-273-7340
    sales@grammatech.com
    http://www.grammatech.com

    Pressekontakt
    sayIT Public Relations
    Jan Schulze
    Franz-Brombach-Str. 11
    85435 Erding
    08122-954 77 13
    jan@sayit-pr.de
    http://www.sayit-pr.de

    Die Bildrechte liegen bei dem Verfasser der Mitteilung.

  • A++ und systemnahe Programmiersprachen – Fachbuch über die Methodik der Programmierung

    Georg P. Loczewski wendet sich in „A++ und systemnahe Programmiersprachen“ an alle, die sich mit dem Erlernen der Programmierkunst befassen.

    BildEs gibt keine Programmiersprache, die minimaler ist als A++. Der einzige Zweck dieser Sprache ist es, an der Programmierung Interessierten zu helfen, so schnell und effizient wie nur möglich das Wesentliche der Programmierung zu erfassen. Die Leser üben durch A++ in recht kurzer Zeit Denkmuster ein, die dabei helfen die großen und populären Programmiersprachen mühelos und effektiv zu erlernen und produktiv mit ihnen zu arbeiten. Das Buch wendet sich an alle Personen, die sich mit dem Erlernen der Kunst der Programmierung befassen. Dies sind vor allem Lehrende und Lernende an Hochschulen und den Oberstufen von Gymnasien in den Fachbereichen der Informatik, der Mathematik und der Physik.

    Auch die systemnahen Programmiersprachen C++ und C werden in dem leicht verständlichen Fachbuch „A++ und systemnahe Programmiersprachen“ von Georg P. Loczewski vorgestellt und es wird gezeigt, wie A++-orientierte Programmierung in diesen Sprachen angewandt werden kann. Eine Einführung in das Lambda-Kalkül von Alonzo Church, das die theoretische Grundlage von A++ darstellt, ist im Anhang enthalten.

    „A++ und systemnahe Programmiersprachen“ von Georg P. Loczewski ist ab sofort im tredition Verlag oder alternativ unter der ISBN 978-3-7469-3599-7 zu bestellen. Der tredition Verlag hat es sich zum wichtigsten Ziel gesetzt, jungen und unbekannten Autoren die Veröffentlichung eigener Bücher zu ermöglichen, aber auch Verlagen und Verlegern eine Kooperation anzubieten. tredition veröffentlicht Bücher in allen Medientypen, vertreibt im gesamten Buchhandel und vermarktet Bücher seit Oktober 2012 auch aktiv.

    Alle weiteren Informationen zum Buch gibt es unter: https://tredition.de

    Über:

    tredition GmbH
    Frau Nadine Otto
    Halenreie 40-44
    22359 Hamburg
    Deutschland

    fon ..: +49 (0)40 / 28 48 425-0
    fax ..: +49 (0)40 / 28 48 425-99
    web ..: https://tredition.de
    email : presse@tredition.de

    Die tredition GmbH für Verlags- und Publikations-Dienstleistungen zeichnet sich seit ihrer Gründung 2006 durch eine auf Innovationen basierenden Strategie aus. Das moderne Verlagskonzept von tredition verbindet die Freiheiten des Self-Publishings mit aktiver Vermarktung sowie Service- und Produktqualität eines Verlages. Autoren steht tredition bei allen Aspekten der Buchveröffentlichung als kompetenter Partner zur Seite. Durch state-of-the-art-Technologien wie das Veröffentlichungstool „publish-Books“ bietet tredition Autoren die beste, schnellste und fairste Veröffentlichungsmöglichkeit. Mit der Veröffentlichung von Paperbacks, Hardcover und e-Books, flächendeckendem Vertrieb im internationalen Buchhandel, individueller Autorenbetreuung und einem einmaligen Marketingpaket stellt tredition die Weichen für Ihren Bucherfolg und sorgt für umfassende Auffindbarkeit jedes Buches. Passende Publishing-Lösung hält tredition darüber hinaus auch für Unternehmen und Verlage bereit. Mit über 40.000 veröffentlichten Büchern ist tredition damit eines der führenden Unternehmen in dieser Branche.

    Pressekontakt:

    tredition GmbH
    Frau Nadine Otto
    Halenreie 40-44
    22359 Hamburg

    fon ..: +49 (0)40 / 28 48 425-0
    web ..: https://tredition.de
    email : presse@tredition.de