Technology Adoption Services

Slides:

Advertisements

Similar presentations

Work Based Learning Codes of practice and beyond.

Advertisements

Agile Software Development Robert Moore Senior Developer Curtin University.

1 Software & Grid Middleware for Tier 2 Centers Rob Gardner Indiana University DOE/NSF Review of U.S. ATLAS and CMS Computing Projects Brookhaven National.

Chapter 6 Systems Development.

Web Content Management Hosting & Consulting Service UCLA CITI, February 9, 2011 Rose Rocchio, Albert Wu.

Intellectual Property Development Matchmaking Database (IP-DMD)

Microsoft Premier Support for Partners Capitalize on cloud potential Receive and deliver end-to-end cloud support Ease customers’ transition to the cloud.

1 Climate and Clean Air Coalition Landfills and Municipal Solid Waste Initiative Cities Program July, 23 rd, 2013 México City, México.

Expert Group for Virtual Reality in Transport, Manufacturing and Logistics Virtual Reality in Transport, Manufacturing and Logistics VIRTUAL REALITY IN.

Copyright © Praxis Critical Systems Limited 2002 The Way Ahead Session Praxis Critical Systems Tom Anderson – The Commission’s View Discussion The Next.

June 5, Mission: to provide a basis for collaboration among its member schools, both in the sharing of information technology resources and in the.

How eNet4S can benefit your project? eNet4S Software Solution Business Team Chief Technology Officer July 11, 2006.

IBIT—Infusing Biometrics and Information Technology May 25, 2004 Lydotta M. Taylor President 63 Wharf Street, Suite 200 Morgantown, WV

Objectives 4 Understand the importance of communication in projects 4 Understand the need and importance of project management.

CSI-MAXIMUS, Inc CSI Comprehensive Service & Support Implementing the CSI Way.

Finance Enterprise Systems Finance: Finance Business Solutions 1 Process Management Review Information Session.

Welcome!. Company Store Support Webinar Series BrightStores Support The Best In the Industry!

Introduction. Background Founded in Geneva in 2002 as a linux training company, EBA Business Partner Sept 08 Now delivering on the largest Open Source.

1 FOCUS ON THE CUSTOMER Support without SLA Based on the EPAM – ZOETIS partnership ROMAN VITYK – EPAM SYSTEMS AARON HAYDO – ZOETIS AUGUST 4, 2015.

Software Testing and Software Quality Assurance Process.

USDA MULTI-REGIONAL PROJECT S1007 Objective 5: Education/Training Overview of Presentation –Educational bottlenecks – Novel approach National Resource.

Are you looking for an opportunity to join a company that has a long history and an exciting future? A place where you can grow within an international.

INFSO-RI SA2 ETICS2 first Review Valerio Venturi INFN Bruxelles, 3 April 2009 Infrastructure Support.

Integrates and automates the transportation safety planning and management Software analysis tools to assist highway agencies to implement their SHSP and.

USER GUIDE TO BOOKS AT JSTOR November WHAT IS BOOKS AT JSTOR? Books at JSTOR is a program that offers ebooks from leading scholarly publishers,

1 TSWG Cloud Update Harry House October 21, 2014.

Computer Support and Networking in Houston, Conroe

Name of Presenter Title of Presenter

Sparx Systems (India)– Value Added Services

Name Role & Responsibility Kyle Mininni

Caitlin Grzybala Content Operations Analyst

The Pan-African Statistics Programme (PAS)

Enterprise Resource Planning

Azure Infrastructure for SAP®

Managing the Client Billing Record

COMP301 Information Systems Analysis and Design

Core Management Evaluation

User guide to books at jstor

Onboard unit tender checklist

ITS Integrator User Certification Program

Business System Development

Building Information Systems

Magento development company For any problem visit our website:

Dumps Questions

Google Chrome Customer Support USA As there are a number of web browsers across the globe and Google Chrome is one such renowned name known across the.

API Integration Services in

Benjamin Murray Ray Dennis June 9, 2016

Objective 5: Education/Training

Technology Adoption Services

AdaCore Technologies for Cyber Security

Market perspective - what’s new and where are we heading?

AdaCore C/C++ Offering

Yes, we do those languages too.

By Jeff Burklo, Director

Boston (Burlington), Mass. November 14-15, 2018

Introducing ISTQB Agile Foundation Extending the ISTQB Program’s Support Further Presented by Rex Black, CTAL Copyright © 2014 ASTQB 1.

Discover a new era of workforce empowerment

AppExchange Security Certification

SILVER SPONSOR ITS – Insurance Technology Services

Electronics Engineering Division

Enterprise Program Management Office

Objectives Transaction management software keeps the record of all relevant transaction details, commissions details, accounting.

November AUL Open House

Convergence IT Services Pvt. Ltd

Creating a University IT Service Portfolio

Technical Outreach Expert

Yes, we do those languages too.

Update & Roadmap. Update & Roadmap Established Ada market “Helping to preserve investments done with Ada” “Provide new cost-effective ways to develop.

Future Airborne Capability Environment (FACE™) Support

Capitalize on Your Business’s Technology

Presentation transcript:

Technology Adoption Services Michelle Ricardo November 14, 2018

Two Similar Requests from Industry Technology Goal Complete feasibility study on SPARK/Ada for an existing C application Team: very little Ada and formal methods experience

How can AdaCore help?

New Technology Adoption Service Mentorship

Working with an AdaCore Mentor Identify relevant tools and experts Coordinate on-site visits Host regular technical calls Coordinate coding assistance Track technical tickets Mentor

Prototyping with AdaCore Experts On-site visits Regular technical calls Coding assistance Consulting

Training Learning Spark/Ada Language training for SPARK/Ada AdaCore tools training Training

Assessing Potential AdaCore Tools GNAT Pro Ada & C SPARK Pro GNATcoverage CodePeer Natives and Cross Platforms

Mentorship

Initial Mentorship Results Successful SPARK/Ada feasibility studies Teams identified and selected tools needed Initial development teams trained

Why Services?

Helping People Build Software that Matters Why Services? 1. Because services are core to our mission. Helping People Build Software that Matters

Why Services? 2. Because of industry requests Military and non-military Ada language experts and novices Existing users of AdaCore tools and first time users

Complex Technology Adoption Goals Migrating to SPARK or Ada from other languages Building a prototype application using SPARK or Ada Migrating to GNAT Pro from other Ada compilers Integrating AdaCore tools into engineering process Integrating CodePeer into development process

AdaCore Mentorships in Various Industries Automotive Military Drones Railway Security Silicon

Did You Know AdaCore Offers Services?

Consulting Leverage AdaCore Experts: Support high priority projects Provide specialized expertise Consulting

Training Public and On-site Options: Ada & SPARK Languages AdaCore Tools Training

Custom Development: Product adaptations New ports Development

CONSULTING TOOLS Mentorship TRAINING MENTOR

New Technology Adoption Service Mentorship New Technology Adoption Service Helping People Build Software that Matters

Technology Adoption Services Michelle Ricardo Ricardo@AdaCore.com