Ada design language for the structured design methodology

Privitera, J. P.

doi:10.1145/3304133.3304144

Cited by 12 publications

(2 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Other cosmic-ray detection techniques currently under study make use of geomagnetic synchrotron radiation (LOFAR [2]), the Askaryan effect in solids (ANITA [3]), and molecular bremsstrahlung [4].…”

Section: Motivationmentioning

confidence: 99%

Air Shower Detection by Bistatic Radar

Othman¹,

Allen²,

Belz³

et al. 2011

AIP Conference Proceedings

View full text Add to dashboard Cite

Progress in the field of high-energy cosmic rays is currently limited by the rarity of the most interesting rays striking the Earth. Indeed, the continuation of the field beyond the current generation of observatories may become financially and practically impossible if new ways are not found to achieve remote coverage over large portions of the Earth's surface. We describe the development of an observatory based on such a new technique: the remote sensing via bistatic radar technology of cosmic ray induced extensive air showers. We build on pilot studies performed by MARIACHI which have demonstrated that air shower radar echoes are detectable, the opportunity afforded by the location of the Northern Hemisphere's largest "conventional" cosmic ray observatory (The Telescope Array) in radio-quiet western Utah, and the donation of analog television transmission equipment to this effort by a local television station.

show abstract

Section: Motivationmentioning

confidence: 99%

Air Shower Detection by Bistatic Radar

Othman¹,

Allen²,

Belz³

et al. 2011

AIP Conference Proceedings

View full text Add to dashboard Cite

show abstract

“…Like architectural design, detailed design is supported by tools that assist the low level specification of functions and data. Tools associated with the many program design languages, such as Ada PDL [Priv82] or Caine, Farber, and Gordon's PDL [Cain75], assist low level specification of function.…”

Section: 2mentioning

confidence: 99%

Characteristics and functions of software engineering environments

Houghton¹,

Wallace²

1985

View full text Add to dashboard Cite

As part of the program to provide information to Federal agencies on software tools for improving quality and productivity in software development and maintenance, data was collected on software engineering environments. Software engineering environments surround their users with software tools necessary for systematic development and maintenance of software. The purpose of this report is to characterize software engineering environments by type and by their relationship to the software life cycle and by their capabilities, limitations, primary users, and levels of support. This report provides examples of existing software engineering environments that are available commercially or in research laboratories. KEYWORDS framing environments; human factors; life cycle coverage; programming environments; software analysis; software engineering; software engineering environments; software support; software tools. FOREWORD Under the Brooks Act, the National Bureau of Standards Institute for Computer Sciences and Technology (ICST) promotes the cost effective selection, acquisition, and utilization of automatic data processing resources within Federal agencies. ICST efforts include research in computer science and technology, direct technical assistance, and the development of Federal standards for data processing equipment, practices, and software.ICST has published several documents on software tools as part of this responsibility and the growing recognition that the use of software tools and software engineering environments can reduce the effort necessary to develop and maintain computer software. The guidance is designed to assist Federal agencies in automating and standardizing their software development and maintenance projects. This report presents the results of the analysis of data and experience accumulated on software engineering environments. It characterizes environments and describes their features to enable readers to gain an understanding of how environments can aid software development and maintenance process. Future ICST documents will provide guidance in selecting and using software engineering environments.Certain commercial products are identified in this paper for clarification of specific concepts. In no case does such identification imply recommendation or endorsement by the National Bureau of Standards, nor does it imply that the material identified is necessarily the best for the purpose.

show abstract

Real-time software methodologies: Are they suitable for developing Manufacturing control software?

Chaar

Teichroew

Volz

1993

Int J Flex Manuf Syst

View full text Add to dashboard Cite

Abstract. Computer-Integrated Manufacturing (CIM) systems may be classified as real-time systems. Hence, the applicability of methodologies that are developed for specifying, designing, implementing, testing, and evolving real-time software is investigated in this article.The paper highlights the activities of the software development process. Among these activities, a great emphasis is placed on automating the software requirements specification activity, and a set of formal models and languages for specifying these requirements is presented. Moreover, a synopsis of the real-time software methodologies that have been implemented by the academic and industrial communities is presented together with a critique of the strengths and weaknesses of these methodologies.The possible use of the real-time methodologies in developing the control software of efficient and dependable manufacturing systems is explored. In these systems, efficiency is achieved by increasing the level of concurrency of the operations of a plan, and by scheduling the execution of these operations with the intent of maximizing the utilization of the devices of their systems. On the other hand, dependability requires monitoring the operations of these systems. This monitoring activity facilitates the detection of faults that may occur when executing the scheduled operations of a plan, recovering from these faults, and, whenever feasible, resuming the original schedule of the system. The paper concludes that the set of surveyed methodologies may be used to develop the real-time control software of efficient and dependable manufacturing systems. However, an integrated approach to planning, scheduling, and monitoring the operations of these systems will significantly enhance their utility, and no such approach is supported by any of these methodologies.

show abstract

Ada design language for the structured design methodology

Cited by 12 publications

References 0 publications

Air Shower Detection by Bistatic Radar

Air Shower Detection by Bistatic Radar

Characteristics and functions of software engineering environments

Real-time software methodologies: Are they suitable for developing Manufacturing control software?

Contact Info

Product

Resources

About