Download or read book Ada Components Libraries and Tools written by Sven Tafvelin and published by CUP Archive. This book was released on 1987-06-25 with total page 314 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book The Ada Generic Library written by David R. Musser and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 278 pages. Available in PDF, EPUB and Kindle. Book excerpt: The Ada Generic Library provides an extensive well-documented library of generic packages whose use can substantially increase software productivity and reliability. The construction of the library follows a new approach whose principles include the following: - Extensive use of generic algorithms, such as generic sort and merge. - Building up functionality in layers. - Obtaining high efficiency in spite of the layering through the use of Ada's inline compiler directive. This volume contains eight Ada packages, with over 170 subprograms for various linear data structures based on linked lists. Professional Ada programmers will find The Ada Generic Library an invaluable tool in building application programs or in further construction of generic libraries. For these users the source code can be obtained on diskettes. The volume will also be useful to those interested in programming methodology, software reusability, and software engineering.
Download or read book Tools for Storage and Retrieval of Ada Software Components in a Software Base written by Christopher S. Eagle and published by . This book was released on 1995 with total page 183 pages. Available in PDF, EPUB and Kindle. Book excerpt: One problem facing the Computer Aided Prototyping System (CAPS) project at the Naval Postgraduate School, is the lack of a large repository of existing reliable software components to draw upon for the creation of new prototype designs. Specifically, it is the lack of Prototype System Description Language (PSDL) specifications which describe Ada software components, that prevents Ada software components from being incorporated into the CAPS software base. Previously, PSDL specification had to be generated manually for each Ada software component being added into the software base. This process was time consuming and error prone. The primary goal of this thesis is to solve this problem by creating a tool which accepts an Ada Package Specification as input and automatically generates its corresponding Prototype System Description Language (PS DL) specification. The Ada package along with its PSDL specification may then be stored directly into the CAPS software base. The result of this thesis is a translator that examines each declaration contained in an Ada Package Specification and creates a corresponding PSDL specification. This tool allows the CAPS software base to be populated much faster utilizing existing DOD Ada software libraries such as the CAMP, ASSET, RAPID, and CRSS libraries. This tool has demonstrated its effectiveness by translating several complex components of the Common Ada Missile Packages into PSDL specifications.
Download or read book Software Components with Ada written by Grady Booch and published by Benjamin-Cummings Publishing Company. This book was released on 1987 with total page 664 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Software Engineer s Reference Book written by John A McDermid and published by Elsevier. This book was released on 2013-10-22 with total page 1137 pages. Available in PDF, EPUB and Kindle. Book excerpt: Software Engineer's Reference Book provides the fundamental principles and general approaches, contemporary information, and applications for developing the software of computer systems. The book is comprised of three main parts, an epilogue, and a comprehensive index. The first part covers the theory of computer science and relevant mathematics. Topics under this section include logic, set theory, Turing machines, theory of computation, and computational complexity. Part II is a discussion of software development methods, techniques and technology primarily based around a conventional view of the software life cycle. Topics discussed include methods such as CORE, SSADM, and SREM, and formal methods including VDM and Z. Attention is also given to other technical activities in the life cycle including testing and prototyping. The final part describes the techniques and standards which are relevant in producing particular classes of application. The text will be of great use to software engineers, software project managers, and students of computer science.
Download or read book Software Technology for Adaptable Reliable Systems STARS UR60 IRIS Ada Toolset User s Guide Draft written by UNISYS DEFENSE SYSTEMS RESTON VA TACTICAL SYSTEMS DIV. and published by . This book was released on 1991 with total page 12 pages. Available in PDF, EPUB and Kindle. Book excerpt: The STARS Iris-Ada toolset consists of a translator which translates Ada program units into the Iris-Ada representation, a set of library management tools, and the basic components needed to construct other tools which use the Iris-Ada representation. This report describes how to install this toolset from sources and how to use the various tools.
Download or read book Essays on Object oriented Software Engineering written by Edward V. Berard and published by . This book was released on 1993 with total page 376 pages. Available in PDF, EPUB and Kindle. Book excerpt: An exploration of object-oriented software engineering methodologies, documentation techniques and testing strategies, based on real-world experience in the engineering of large, object-oriented software applications.
Download or read book Programming Language Ada written by Ada 9X Mapping/Revision Team and published by . This book was released on 1994 with total page 590 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Ada Experiences and Prospects written by Barry Lynch and published by Cambridge University Press. This book was released on 1990 with total page 386 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents the proceedings of the Ada-Europe International Conference, held in Dublin in 1990. The theme was the impact of technical and management issues in the software engineering economics of Ada, as well as technology transfer and training. Papers also assess the impact of Ada in specific projects.
Download or read book ADA Yearbook 1993 written by Chris Loftus and published by IOS Press. This book was released on 1993 with total page 506 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Computerworld written by and published by . This book was released on 1986-05 with total page 146 pages. Available in PDF, EPUB and Kindle. Book excerpt: For more than 40 years, Computerworld has been the leading source of technology news and information for IT influencers worldwide. Computerworld's award-winning Web site (Computerworld.com), twice-monthly publication, focused conference series and custom research form the hub of the world's largest global IT media network.
Download or read book Signal written by and published by . This book was released on 1990 with total page 1010 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Software Engineering with Reusable Components written by Johannes Sametinger and published by Springer Science & Business Media. This book was released on 2013-04-17 with total page 275 pages. Available in PDF, EPUB and Kindle. Book excerpt: The book provides a clear understanding of what software reuse is, where the problems are, what benefits to expect, the activities, and its different forms. The reader is also given an overview of what sofware components are, different kinds of components and compositions, a taxonomy thereof, and examples of successful component reuse. An introduction to software engineering and software process models is also provided.
Download or read book The Modula 2 Software Component Library written by Charles Lins and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 463 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book is the third and final volume in a series entitled "The Modula-2 Software Component Library." C. Lins' collection of reusable standard software components could be the basis for every programmer's software project in Modula-2. Components that are implementations of commonly used data structures are presented, along with a description of their functionality and efficiency. Moreover, the books provide the background necessary to tailor these components to the specific needs of any Modula-2 environment. For Modula-2 programmers, this series of books could prove as useful and indispensible as the original language reference by Niklaus Wirth. This third volume discusses the concepts of trees and graphs, shows their specifications, and provides implementations for various forms of trees and graphs.
Download or read book Proceedings of 4th Annual National Conference on Ada Technology written by and published by . This book was released on 1986 with total page 204 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book 2010 ADA Standards for Accessible Design written by Department Justice and published by Createspace Independent Publishing Platform. This book was released on 2014-10-09 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: (a) Design and construction. (1) Each facility or part of a facility constructed by, on behalf of, or for the use of a public entity shall be designed and constructed in such manner that the facility or part of the facility is readily accessible to and usable by individuals with disabilities, if the construction was commenced after January 26, 1992. (2) Exception for structural impracticability. (i) Full compliance with the requirements of this section is not required where a public entity can demonstrate that it is structurally impracticable to meet the requirements. Full compliance will be considered structurally impracticable only in those rare circumstances when the unique characteristics of terrain prevent the incorporation of accessibility features. (ii) If full compliance with this section would be structurally impracticable, compliance with this section is required to the extent that it is not structurally impracticable. In that case, any portion of the facility that can be made accessible shall be made accessible to the extent that it is not structurally impracticable. (iii) If providing accessibility in conformance with this section to individuals with certain disabilities (e.g., those who use wheelchairs) would be structurally impracticable, accessibility shall nonetheless be ensured to persons with other types of disabilities, (e.g., those who use crutches or who have sight, hearing, or mental impairments) in accordance with this section.
Download or read book Software Re use Utrecht 1989 written by Liesbeth M. Dusink and published by Springer Science & Business Media. This book was released on 2013-03-14 with total page 158 pages. Available in PDF, EPUB and Kindle. Book excerpt: In November 1989 we organised a workshop on software re-use, inviting members of the leading research teams across Europe. In retrospect, we realise that we missed a few research teams out, but nevertheless we did have a very fruitful workshop. This book is the outcome of that meeting. Prior to the workshop, teams submitted short position papers, and at the workshop made very short presentations of these. Most of the time was spent in four parallel sessions, and the reports of these sessions are given in Chapter 2. After the workshop we invited the attendees to revise and resubmit their papers in the light of the workshop, and it is these updated papers that appear in Chapter 4 onwards. The papers are in alphabetical order of first author. To complete this text we have added an introduction to software re-use as a first chapter-this was prepared by Liesbeth Dusink. We have added a comprehensive bibliography as Chapter 3, merging the bibliographies accumulated at Delft and at Brunei. To be able to organise the workshop we were sponsored by SERC, the Software Engineering Research Centre in Utrecht, Netherlands. November 1990 Liesbeth Dusink Pat Hall Contents Ust of Contributors . . . .. . .. . .. .. . . .. . . .. . . .. . .. . .. .. .. . . .. .. .. . . . .. . . . . . . . . . . . . . . xi . . . .