No abstract available.
Cited By
- Tijero H, Gutiérrez J and Harbour M (2013). Adapting the end-to-end flow model for distributed Ada to the ravenscar profile, ACM SIGAda Ada Letters, 33:1, (53-63), Online publication date: 11-Jun-2013.
- Bosch G Synchronization cannot be implemented as a library Proceedings of the 2012 ACM conference on High integrity language technology, (73-80)
- Eilers D and Koskinen T Adapting ACATS for use with run-time checks suppressed Proceedings of the 2012 ACM conference on High integrity language technology, (97-102)
- Bosch G (2012). Synchronization cannot be implemented as a library, ACM SIGAda Ada Letters, 32:3, (73-80), Online publication date: 29-Nov-2012.
- Eilers D and Koskinen T (2012). Adapting ACATS for use with run-time checks suppressed, ACM SIGAda Ada Letters, 32:3, (97-102), Online publication date: 29-Nov-2012.
- Eilers D and Koskinen T (2011). Making the non-executable ACATS tests executable, ACM SIGAda Ada Letters, 31:3, (75-80), Online publication date: 15-Nov-2011.
- Eilers D and Koskinen T Making the non-executable ACATS tests executable Proceedings of the 2011 ACM annual international conference on Special interest group on the ada programming language, (75-80)
- White R (2010). Providing additional real-time capability and flexibility for Ada 2005, ACM SIGAda Ada Letters, 30:1, (135-146), Online publication date: 27-May-2010.
- Plantec A, Singhoff F, Dissaux P and Legrand J Enforcing applicability of real-time scheduling theory feasibility tests with the use of design-patterns Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I, (4-17)
- Tijero H, Gutiérrez J and Harbour M (2010). Support for a real-time transactional model in distributed Ada, ACM SIGAda Ada Letters, 30:1, (91-103), Online publication date: 27-May-2010.
- White R Using hardware support for scheduling with ada Proceedings of the 15th Ada-Europe international conference on Reliable Software Technologies, (125-138)
- Sáez S and Crespo A Preliminary multiprocessor support of ada 2012 in GNU/Linux systems Proceedings of the 15th Ada-Europe international conference on Reliable Software Technologies, (68-82)
- Ducournau R, Morandat F and Privat J (2009). Empirical assessment of object-oriented implementations with multiple inheritance and static typing, ACM SIGPLAN Notices, 44:10, (41-60), Online publication date: 25-Oct-2009.
- Ducournau R, Morandat F and Privat J Empirical assessment of object-oriented implementations with multiple inheritance and static typing Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications, (41-60)
- Delange J, Pautet L, Plantec A, Kerboeuf M, Singhoff F and Kordon F Validate, simulate, and implement ARINC653 systems using the AADL Proceedings of the ACM SIGAda annual international conference on Ada and related technologies, (31-44)
- Pérez Tijero H and Gutierrez J 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, (73-78)
- Delange J, Pautet L, Plantec A, Kerboeuf M, Singhoff F and Kordon F (2009). Validate, simulate, and implement ARINC653 systems using the AADL, ACM SIGAda Ada Letters, 29:3, (31-44), Online publication date: 9-Nov-2009.
- Pérez Tijero H and Gutierrez J (2009). Experience in integrating interchangeable scheduling policies into a distribution middleware for Ada, ACM SIGAda Ada Letters, 29:3, (73-78), Online publication date: 9-Nov-2009.
- Nami M (2008). A comparison of object-oriented languages in software engineering, ACM SIGSOFT Software Engineering Notes, 33:4, (1-5), Online publication date: 1-Jul-2008.
- Vardanega T and Ruiz J (2019). Introduction, ACM SIGAda Ada Letters, XXVII:2, (15-17), Online publication date: 1-Aug-2007.
- Pulido J, de la Puente J, Hugues J, Bordin M and Vardanega T (2007). Ada 2005 code patterns for metamodel-based code generation, ACM SIGAda Ada Letters, XXVII:2, (53-58), Online publication date: 1-Aug-2007.
- Urueña S, Pulido J, Redondo J and Zamorano J (2007). Implementing the new Ada 2005 real-time features on a bare board kernel, ACM SIGAda Ada Letters, XXVII:2, (61-66), Online publication date: 1-Aug-2007.
- Rivas M and Harbour M (2007). Operating system support for execution time budgets for thread groups, ACM SIGAda Ada Letters, XXVII:2, (67-71), Online publication date: 1-Aug-2007.
- Vardanega T and Ruiz J Introduction Proceedings of the 13th international workshop on Real-time Ada, (15-17)
- Pulido J, de la Puente J, Hugues J, Bordin M and Vardanega T Ada 2005 code patterns for metamodel-based code generation Proceedings of the 13th international workshop on Real-time Ada, (53-58)
- Urueña S, Pulido J, Redondo J and Zamorano J Implementing the new Ada 2005 real-time features on a bare board kernel Proceedings of the 13th international workshop on Real-time Ada, (61-66)
- Rivas M and Harbour M Operating system support for execution time budgets for thread groups Proceedings of the 13th international workshop on Real-time Ada, (67-71)
Recommendations
Proposal for a language compatible arithmetic standard
The following proposal for an arithmetic standard has been submitted to the American National Standards Institute and the International Organization for Standardization. It is being processed by the ANSI X3T2 committee and the ISO/IEC JTC1/SC22/WG11 ...
The evolution of a language standard: MUMPS in the 1980s
ACM '80: Proceedings of the ACM 1980 annual conferenceIn 1977 the MUMPS Language Standard was approved as an American National Standard (X11.1-1977) by ANSI. The specification of the MUMPS Standard was carried out by the MUMPS Development Committee, which continues to direct the evolution of the language. ...
Ada and the graphical kernel system
SIGAda '85: Proceedings of the 1985 annual ACM SIGAda international conference on AdaThe Graphical Kernel System (GKS) is a general purpose, Device-Independent, two-dimensional graphics system currently in the final stages of standardization by both the International Organization for Standerdization (ISO) [ISO 1982] and the American ...