article

Free access

A pragmatic approach to Ada insertion

Author:

Robert FirthAuthors Info & Claims

ACM SIGAda Ada Letters, Volume VII, Issue 6

Pages 24 - 26

https://doi.org/10.1145/36792.36797

Published: 01 October 1987 Publication History

PDF eReader

References

[1]

[1] Reference Manual for the Ada Programming Language. Mil-Std-1815a, United States Department of Defense, 1983.

Digital Library

Google Scholar

[2]

[2] STEELMAN requirements for high-order computer programming languages. United States Department of Defense, 1978.

Google Scholar

[3]

[3] Official Handbook of MASCOT (Modular Approach to System Construction, Operation and Test). United Kingdom Ministry of Defence, 1981.

Google Scholar

[4]

[4] Recommended Practice for Ada as a Program Design Language. IEEE Std 990-1987.

Google Scholar

[5]

[5] Developing Large Software Systems Using Ada. Somerville & Morrison, Addison-Wesley, 1985.

Google Scholar

[6]

[6] Software Components with Ada. Grady Booch, Benjamin & Cummings, 1987.

Google Scholar

[7]

[7] Tutorial on Software Design Techniques. P. Bruce Berra et al (ed), IEEE Computer Society Press, 1983 (4th edition).

Google Scholar

Cited By

View all

Elsom K(1989)Asynchronous communication in AdaACM SIGAda Ada Letters10.1145/91360.91371X:4(57-65)Online publication date: 1-May-1989
https://dl.acm.org/doi/10.1145/91360.91371
Elsom KGoodenough J(1989)Asynchronous communication in AdaProceedings of the third international workshop on Real-time Ada issues10.1145/91354.91371(57-65)Online publication date: 1-May-1989
https://dl.acm.org/doi/10.1145/91354.91371
van Scoy RBamberger JFirth R(1989)An overview of DARKACM SIGAda Ada Letters10.1145/71335.71337IX:7(91-101)Online publication date: 1-Nov-1989
https://dl.acm.org/doi/10.1145/71335.71337
Show More Cited By

Index Terms

A pragmatic approach to Ada insertion
1. Computer systems organization
  1. Embedded and cyber-physical systems
    1. Embedded systems
  2. Real-time systems
2. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language types
  2. Software organization and properties
    1. Software system structures
      1. Embedded software
      2. Real-time systems software

Recommendations

Pragmatic design of gated-diode FinFET DRAMs
ICCD'09: Proceedings of the 2009 IEEE international conference on Computer design

Scaling bulk CMOS SRAM technology for on-chip caches beyond the 22nm node is questionable, on account of high leakage power consumption, performance degradation, and instability due to process variations. Recently, two/three transistor one gated-diode (...
Pragmatic discourse representation theory
ACTS '09: Proceedings of the HLT-NAACL 2006 Workshop on Analyzing Conversations in Text and Speech

This paper presents a pragmatic approach to Discourse Representation Theory (DRT) in an attempt to address the pragmatic limitations of DRT (Werth 1999; Simons 2003). To achieve a more pragmatic DRT model, this paper extends standard DRT framework to ...
Crosstalk modeling for coupled RLC interconnects with application to shield insertion

On-chip interconnect delay and crosstalk noise have become significant bottlenecks in the performance and signal integrity of deep submicrometer VLSI circuits. A crosstalk noise model for both identical and nonidentical coupled resistance-inductance-...

Comments

Information & Contributors

Information

Published In

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 October 1987

Published in SIGADA Volume VII, Issue 6

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
147
Total Downloads

Downloads (Last 12 months)33
Downloads (Last 6 weeks)17

Reflects downloads up to 21 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Elsom K(1989)Asynchronous communication in AdaACM SIGAda Ada Letters10.1145/91360.91371X:4(57-65)Online publication date: 1-May-1989
https://dl.acm.org/doi/10.1145/91360.91371
Elsom KGoodenough J(1989)Asynchronous communication in AdaProceedings of the third international workshop on Real-time Ada issues10.1145/91354.91371(57-65)Online publication date: 1-May-1989
https://dl.acm.org/doi/10.1145/91354.91371
van Scoy RBamberger JFirth R(1989)An overview of DARKACM SIGAda Ada Letters10.1145/71335.71337IX:7(91-101)Online publication date: 1-Nov-1989
https://dl.acm.org/doi/10.1145/71335.71337
Bamberger JVan Scoy R(1988)Distributed Ada real-time kernelProceedings of the IEEE 1988 National Aerospace and Electronics Conference10.1109/NAECON.1988.195206(1510-1516)Online publication date: 1988
https://doi.org/10.1109/NAECON.1988.195206

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

References

Cited By

Index Terms

Recommendations

Pragmatic design of gated-diode FinFET DRAMs

Pragmatic discourse representation theory

Crosstalk modeling for coupled RLC interconnects with application to shield insertion

Comments

Information

Published In

Publisher

Publication History

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations