LinuxQuestions.org
Review your favorite Linux distribution.
Home Forums Tutorials Articles Register
Go Back   LinuxQuestions.org > Forums > Linux Forums > Linux - News > Syndicated Linux News
User Name
Password
Syndicated Linux News This forum is for the discussion of Syndicated Linux News stories.

Notices


Reply
  Search this Thread
Old 06-11-2017, 01:51 AM   #1
LXer
LXer NewsBot
 
Registered: Dec 2005
Posts: 128,424

Rep: Reputation: 118Reputation: 118
LXer: AdaCore's GNAT Pro, CodePeer, QGen and SPARK Pro


Published at LXer:

AdaCore recently announced the concurrent annual release of four flagshipproducts in its portfolio of software development and verificationtools for mission-critical, safety-critical and security-criticalsystems. These include version 17.1 of GNAT Pro, CodePeer, QGen and SPARKPro.

Read More...
 
  


Reply



Posting Rules
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

BB code is On
Smilies are On
[IMG] code is On
HTML code is Off



Similar Threads
Thread Thread Starter Forum Replies Last Post
LXer: System76 Serval Pro vs. Gazelle Pro Linux Laptops LXer Syndicated Linux News 0 09-01-2013 04:03 AM
Qoppa Software PDF Studio Pro 8 Pro Morena source selector cigtoxdoc Linux - Software 4 01-05-2013 11:27 AM
HD1:IDE Suse 10.2 & Windows Xp Pro HD HD2: SATA XP PRO X64 HOW TO MOUNT HD 2 blazintilda2005 Linux - Hardware 1 04-13-2007 08:30 PM
Duel Boot,XP Pro+Suse 9.1 pro wont work. jonny.k Linux - Laptop and Netbook 6 11-28-2004 07:37 AM
MDK10 + ATI 9500 Pro + IIYAMA VM PRO 410 Refresh Rate Problem Paladin13 Mandriva 2 06-29-2004 09:02 AM

LinuxQuestions.org > Forums > Linux Forums > Linux - News > Syndicated Linux News

All times are GMT -5. The time now is 04:15 AM.

Main Menu
Advertisement
My LQ
Write for LQ
LinuxQuestions.org is looking for people interested in writing Editorials, Articles, Reviews, and more. If you'd like to contribute content, let us know.
Main Menu
Syndicate
RSS1  Latest Threads
RSS1  LQ News
Twitter: @linuxquestions
Open Source Consulting | Domain Registration