AdaCore

@AdaCoreCompany

Helping people build software that matters.

adacore.com
Vrijeme pridruživanja: studeni 2009.
246 fotografija ili videozapisa Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @AdaCoreCompany

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @AdaCoreCompany

  1. proslijedio/la je Tweet
    prije 1 sat

    will host the first Ada France meetup the 26th March at the (Paris Campus Jussieu). More details coming soon, but you can register today at:

    1 reply 4 proslijeđena tweeta 5 korisnika označava da im se sviđa
    Poništi
  2. 4. velj

    Using GNAT-LLVM to target to -

    6 proslijeđenih tweetova 16 korisnika označava da im se sviđa
    Poništi
  3. 1. velj

    Meet at this year’s Safety-Critical Systems Symposium () at the Principal Hotel, York, February 11th to the 13th.

    1 proslijeđeni tweet 3 korisnika označavaju da im se sviđa
    Poništi
  4. 31. sij

    Adacore Interview: Developing High Integrity Software at the Highest Level of Safety

    1 proslijeđeni tweet 2 korisnika označavaju da im se sviđa
    Poništi
  5. 31. sij

    Once again a lot of exciting topics in the Ada/SPARK devroom. Meet us there this weekend!

    10 proslijeđenih tweetova 13 korisnika označava da im se sviđa
    Poništi
  6. 31. sij

    Congratulations to Anthony Aiello, Cyrille Comar and Jose F. Ruiz for the paper "An Assurance Case based on Overarching Properties for a TQL1 Code Generator " which was awarded at the conference.

    1 proslijeđeni tweet 4 korisnika označavaju da im se sviđa
    Poništi
  7. 30. sij

    Our very own Tonu Naks presents "Using SPARK to Ensure System to Software Integrity" at ERTS 2020.

    1 proslijeđeni tweet 9 korisnika označava da im se sviđa
    Poništi
  8. 30. sij

    Less than 1 day to go until the 2019/20 competition closes!⏳Make sure to put as much project detail in as possible to really show off what you were able to build in and

    5 proslijeđenih tweetova 8 korisnika označava da im se sviđa
    Poništi
  9. 30. sij

    Showcasing our demo at highlighting the use of Ada for safe and secure avionics software.

    3 proslijeđena tweeta 8 korisnika označava da im se sviđa
    Poništi
  10. 29. sij

    It's break time at ! Come to our booth #43 and our experts will tell you more about building and .

    2 proslijeđena tweeta 6 korisnika označava da im se sviđa
    Poništi
  11. 29. sij

    Visit our booth today at in Toulouse, France for a chance to win a Creator by playing

    1 proslijeđeni tweet 4 korisnika označavaju da im se sviđa
    Poništi
  12. 29. sij

    Join us today and tomorrow at . We are at Booth 43.

    1 proslijeđeni tweet 4 korisnika označavaju da im se sviđa
    Poništi
  13. proslijedio/la je Tweet
    24. sij

    and Secure 's future!

    9 proslijeđenih tweetova 12 korisnika označava da im se sviđa
    Poništi
  14. 23. sij

    Running Ada on an Feather board by -

    8 proslijeđenih tweetova 26 korisnika označava da im se sviđa
    Poništi
  15. 22. sij

    is pleased to announce that it will be sponsoring this year’s ( Real Time Software and Systems) show in , France.

    5 korisnika označava da im se sviđa
    Poništi
  16. proslijedio/la je Tweet
    22. sij

    The countdown is on! ⏰ With less than 10 days to submit your project, check out the winners from our first ever contest for inspiration -

    8 proslijeđenih tweetova 13 korisnika označava da im se sviđa
    Poništi
  17. 21. sij

    Witnessing the Emergence of a New Ada Era: a deep dive into new projects within the and established user base, and emerging adopters seeking safer and more secure programming languages -

    1 reply 6 proslijeđenih tweetova 11 korisnika označava da im se sviđa
    Poništi
  18. proslijedio/la je Tweet
    18. sij

    In our latest interview, catches up with and learns more about his marvelous Soduku machine!

    i
    4 proslijeđena tweeta 11 korisnika označava da im se sviđa
    Poništi
  19. proslijedio/la je Tweet
    9. sij

    We're in the final stretch of 2019/20 competition & we hope that your projects are coming along nicely! Remember to check out the resources to help you get up to speed with Ada -

    9 proslijeđenih tweetova 10 korisnika označava da im se sviđa
    Poništi
  20. proslijedio/la je Tweet
    27. pro 2019.

    For cool embedded Ada projects check out the Make with Ada competition sponsored by , which hands out prize money for cool projects:

    1 proslijeđeni tweet 7 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi

@AdaCoreCompany još nije objavio nijedan Tweet.

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·