Updating the Compiler? Take Advantage of The New Development Toolchain Andreas Jaeger Product Manager

Source URL: www.susecon.com

Verifiable C Applying the Verified Software Toolchain to C programs Version 1.7 July 27, 2016

Source URL: vst.cs.princeton.edu

A Toolchain for Model-Based Design and Testing of Access Control Systems Said Daoudagh1 , Donia El Kateb2 , Francesca Lonetti1 , Eda Marchetti1 and Tejeddine Mouelhi3 1 Istituto di Scienza e Tecnologie dell’Informazio

Source URL: www.itrust.lu

• Computer security
• Security
• Access control
• Computer access control
• XACML
• PERMIS
• Identity management
• Role-based access control
• Authorization
• Model-driven security
• PDP
• Toolchain

Case Study | Security/Technology | Cloud Automation & Management SELF-SERVICE INFRASTRUCTURE DEVOPS Webroot delivers next-generation endpoint security and threat intelligence services to protect businesses and individua

Source URL: www.kovarus.com

• Computing
• Software development process
• Cloud infrastructure
• Agile software development
• DevOps
• Information technology management
• Webroot
• To The New
• Cloud computing
• Software testing
• DevOps toolchain

PDF Document

Source URL: www.servicerobotik-ulm.de

• Computing
• Software engineering
• Robotics
• Computer architecture
• Open-source robotics
• Toolchain
• ARC
• Software development
• Component-based software engineering

Making Scientific Software Installation Reproducible On Cray Systems Using EasyBuild Petar Forai Research Institute of Molecular Pathology

Source URL: cug.org

• Computing
• Software
• Cray
• Cross compiler
• Modular programming
• 64-bit computing
• Library
• Toolchain
• GNU toolchain
• NetCDF
• Environment Modules

The State of the OCaml Platform: September 2016 Louis Gesbert∗(speaker) on behalf of the OCaml Platform team The OCaml Platform combines the OCaml compiler toolchain with a coherent set of tools for build, documentatio

Source URL: www.ocamlpro.com

• Software
• Computer programming
• Functional languages
• OCaml
• Package manager
• Arch Linux
• Deb
• Go
• Caml
• R
• Coq

SmartSoft SmartMDSD Open Source Integrated Model-Driven Development Environment for Robotics Software

Source URL: www.servicerobotik-ulm.de

• Computing
• Software engineering
• Software architecture
• Toolchain
• ARC
• Component-based software engineering
• Software development

Case Study | Media/Entertainment | Business Enablement PRIVATE CLOUD DEVOPS The company, through its subsidiaries, provides satellite TV to approximately 14 million subscribers. With more than $15 billion

Source URL: www.kovarus.com

• Information technology management
• Software development process
• Cloud infrastructure
• Agile software development
• Software design
• DevOps
• VMware
• IT chargeback and showback
• Cloud computing
• ServiceNow
• Continuous delivery
• DevOps toolchain

SmartSoft SmartMDSD Open Source Integrated Model-Driven Development Environment for Robotics Software

Source URL: www.servicerobotik-ulm.de

• Toolchain
• Component-based software engineering
• Robotics
• Composability