Proceedings of the ACM SIGAda annual international conference on Ada and related technologies - SIGAda '09
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781605584751

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

How Ada object orientation works

Proceedings of the ACM SIGAda annual international conference on Ada and related technologies - SIGAda '09 ◽

10.1145/1647420.1647424 ◽

2009 ◽

Author(s):

Jeanne Murtagh ◽

Drew Hamilton

Keyword(s):

Object Orientation

Download Full-text

Distributed container

Proceedings of the ACM SIGAda annual international conference on Ada and related technologies - SIGAda '09 ◽

10.1145/1647420.1647445 ◽

2009 ◽

Cited By ~ 1

Author(s):

Tong Dinh ◽

Shan Barkataki

Download Full-text

Multi-language programming with Ada

Proceedings of the ACM SIGAda annual international conference on Ada and related technologies - SIGAda '09 ◽

10.1145/1647420.1647431 ◽

2009 ◽

Author(s):

Quentin Ochem

Download Full-text

Experience in integrating interchangeable scheduling policies into a distribution middleware for Ada

Proceedings of the ACM SIGAda annual international conference on Ada and related technologies - SIGAda '09 ◽

10.1145/1647420.1647438 ◽

2009 ◽

Cited By ~ 4

Author(s):

Hector Pérez Tijero ◽

J. Javier Gutierrez

Keyword(s):

Scheduling Policies

Download Full-text

Introduction to Ada

Proceedings of the ACM SIGAda annual international conference on Ada and related technologies - SIGAda '09 ◽

10.1145/1647420.1647422 ◽

2009 ◽

Author(s):

Michael B. Feldman

Download Full-text

An introduction to the C# language and .NET infrastructure

Proceedings of the ACM SIGAda annual international conference on Ada and related technologies - SIGAda '09 ◽

10.1145/1647420.1647423 ◽

2009 ◽

Author(s):

Ben Brosgol

Keyword(s):

C Language

Download Full-text

Use of SPARK in a resource constrained embedded system

Proceedings of the ACM SIGAda annual international conference on Ada and related technologies - SIGAda '09 ◽

10.1145/1647420.1647441 ◽

2009 ◽

Cited By ~ 1

Author(s):

Chad Loseby ◽

Peter Chapin ◽

Carl Brandon

Keyword(s):

Embedded System ◽

Resource Constrained

Download Full-text

Embedded, hard, real-time systems with Ada

Proceedings of the ACM SIGAda annual international conference on Ada and related technologies - SIGAda '09 ◽

10.1145/1647420.1647430 ◽

2009 ◽

Author(s):

Pat Rogers

Keyword(s):

Real Time ◽

Real Time Systems ◽

Hard Real Time ◽

Time Systems

Download Full-text

Service oriented architecture (SOA) concepts and implementations

Proceedings of the ACM SIGAda annual international conference on Ada and related technologies - SIGAda '09 ◽

10.1145/1647420.1647429 ◽

2009 ◽

Author(s):

Ricky E. Sward

Keyword(s):

Service Oriented Architecture ◽

Service Oriented

Download Full-text

Validate, simulate, and implement ARINC653 systems using the AADL

Proceedings of the ACM SIGAda annual international conference on Ada and related technologies - SIGAda '09 ◽

10.1145/1647420.1647435 ◽

2009 ◽

Cited By ~ 27

Author(s):

Julien Delange ◽

Laurent Pautet ◽

Alain Plantec ◽

Mickael Kerboeuf ◽

Frank Singhoff ◽

...

Download Full-text

Proceedings of the ACM SIGAda annual international conference on Ada and related technologies - SIGAda '09Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

How Ada object orientation works

Distributed container

Multi-language programming with Ada

Experience in integrating interchangeable scheduling policies into a distribution middleware for Ada

Introduction to Ada

An introduction to the C# language and .NET infrastructure

Use of SPARK in a resource constrained embedded system

Embedded, hard, real-time systems with Ada

Service oriented architecture (SOA) concepts and implementations

Validate, simulate, and implement ARINC653 systems using the AADL

Proceedings of the ACM SIGAda annual international conference on Ada and related technologies - SIGAda '09
Latest Publications