Software Engineering With Ada

Author : Grady Booch,Douglas L. Bryan,Charles G. Petersen
Publisher : Addison-Wesley Professional
Page : 580 pages
File Size : 43,7 Mb
Release : 1994
Category : Computers
ISBN : 0805306080

Get Book

Software Engineering with Ada by Grady Booch,Douglas L. Bryan,Charles G. Petersen Pdf

Provides complete coverage of the Ada language and Ada programming in general by recognized authorities in Ada software engineering. Demonstrates the power and performance of Ada in the management of large-scale object-oriented systems, and shows how to use Ada features such as generics, packages, and tasking.

Author : Grady Booch
Publisher : Unknown
Page : 504 pages
File Size : 47,9 Mb
Release : 1983
Category : Ada (Computer program language)
ISBN : OCLC:848266338

Get Book

Software Engineering with Ada by Grady Booch Pdf

Author : David C. C. Bover,Kevin J. Maciunas,Michael J. Oudshoorn
Publisher : Addison Wesley Publishing Company
Page : 426 pages
File Size : 54,7 Mb
Release : 1992
Category : Ada (Computer program language)
ISBN : UCSD:31822007952005

Get Book

Ada by David C. C. Bover,Kevin J. Maciunas,Michael J. Oudshoorn Pdf

Author : Gary Bray,David Pokrass
Publisher : Unknown
Page : 378 pages
File Size : 51,8 Mb
Release : 1985-04-02
Category : Computers
ISBN : UOM:39015009791750

Get Book

Understanding ADA by Gary Bray,David Pokrass Pdf

Designed for advanced undergraduates majoring in computer science, software engineering or computer engineering, this text treats all important aspects of Ada (statements, types, subprograms, packages, exceptions, generics, tasks, input/output, representation clauses, compilation rules, and Ada programming support environment). Discusses not only the rules and features of Ada, but also the reasons behind the rules, to show how Ada can contribute to reliable, understandable, and reusable programs. Includes a wealth of examples.

Author : Mordechai Ben-Ari
Publisher : Springer Science & Business Media
Page : 511 pages
File Size : 54,8 Mb
Release : 2009-03-31
Category : Computers
ISBN : 9781848823143

Get Book

Ada for Software Engineers by Mordechai Ben-Ari Pdf

Ada is the programming language of choice for high integrity software systems and is used extensively in industries such as transportation and aerospace. Special features of the book include: Object-oriented programming, concurrency, and embedded and real-time systems are emphasized. Ada for Software Engineers explains the language concepts and the terminology of the standards document, the Ada Reference Manual (ARM). Extracts from the ARM are used throughtout and there are extensive cross references to the ARM. A comprehensive glossary and technical quizzes assist the reader in developing the ability to use the ARM as a practical reference. Comparisons with familiar languages like C and Java are given to facilitate the transition to Ada. The features of Ada 2005 are used routinely, but they are carefully identified, so that programmers using Ada 95 will also find the textbook useful. The companion website contains the full source code of nearly 100 case studies and 100 technical quizzes.

Author : A. Nico Habermann,Ugo Montanari
Publisher : Springer Science & Business Media
Page : 316 pages
File Size : 45,9 Mb
Release : 1987-09-23
Category : Computers
ISBN : 3540183418

Get Book

System Development and Ada by A. Nico Habermann,Ugo Montanari Pdf

The collection of papers published in this book was initially presented at the Workshop on Software Factories and Ada, held on Capri, May 26-30, 1986. The subject of the book is software development environments. Software development is treated from three viewpoints: methodologies, language issues and mechanisms. Of particular interest are the discussions of automation of the development process and the formalization of software development specifications. Several new methodologies are described, many of which are available on the commercial market. New is in particular the formalization of the design and development process. Interesting ideas are presented on planning the design process and on supporting project management by formal tools. The reader will find a variety of interesting methodologies and mechanisms that are operational. The book is suitable for readers interested in knowing in which direction programming environment research is moving.

Author : National Research Council,Computer Science and Telecommunications Board,Committee on the Past and Present Contexts for the Use of Ada in the Department of Defense
Publisher : National Academies Press
Page : 114 pages
File Size : 40,8 Mb
Release : 1997-03-03
Category : Computers
ISBN : 9780309055970

Get Book

Ada and Beyond by National Research Council,Computer Science and Telecommunications Board,Committee on the Past and Present Contexts for the Use of Ada in the Department of Defense Pdf

The Ada programming language was created by the U.S. Department of Defense (DOD) nearly two decades ago to provide a general-purpose programming language for defense and commercial use, but has evolved into a niche solution for safety-critical systems, primarily in defense applications. Ada and Beyond presents an approach for the DOD to move beyond the debate over its policy that requires the use of Ada for all new software development. It describes the importance of the software engineering process and recommends to DOD mechanisms for more effective review of software development and improved collection of data on software project outcomes. The volume also analyzes the technical, empirical, and business cases for using Ada and other programming languages, makes recommendations regarding the appropriate conditions under which DOD should continue to require the use of Ada, and details activities that require funding by DOD in order for Ada to remain a viable programming language.

Author : Grady Booch
Publisher : Benjamin-Cummings Publishing Company
Page : 664 pages
File Size : 51,8 Mb
Release : 1987
Category : Computers
ISBN : UOM:39015011854760

Get Book

Software Components with Ada by Grady Booch Pdf

Author : Jag Sodhi
Publisher : Unknown
Page : 128 pages
File Size : 50,5 Mb
Release : 1990-01-01
Category : Electronic
ISBN : 0071561390

Get Book

Managing ADA Projects Using Software Engineering by Jag Sodhi Pdf

Author : Mordechai Ben-Ari
Publisher : Springer
Page : 510 pages
File Size : 40,5 Mb
Release : 2009-08-29
Category : Computers
ISBN : 1848823150

Get Book

Ada for Software Engineers by Mordechai Ben-Ari Pdf

Ada is the programming language of choice for high integrity software systems and is used extensively in industries such as transportation and aerospace. Special features of the book include: Object-oriented programming, concurrency, and embedded and real-time systems are emphasized. Ada for Software Engineers explains the language concepts and the terminology of the standards document, the Ada Reference Manual (ARM). Extracts from the ARM are used throughtout and there are extensive cross references to the ARM. A comprehensive glossary and technical quizzes assist the reader in developing the ability to use the ARM as a practical reference. Comparisons with familiar languages like C and Java are given to facilitate the transition to Ada. The features of Ada 2005 are used routinely, but they are carefully identified, so that programmers using Ada 95 will also find the textbook useful. The companion website contains the full source code of nearly 100 case studies and 100 technical quizzes.

Author : Jorge L. Diaz-Herrera
Publisher : Springer Science & Business Media
Page : 620 pages
File Size : 44,7 Mb
Release : 1993-11-12
Category : Computers
ISBN : 3540574611

Get Book

Software Engineering Education by Jorge L. Diaz-Herrera Pdf

While vols. III/29 A, B (published in 1992 and 1993, respectively) contains the low frequency properties of dielectric crystals, in vol. III/30 the high frequency or optical properties are compiled. While the first subvolume 30 A contains piezooptic and elastooptic constants, linear and quadratic electrooptic constants and their temperature coefficients, and relevant refractive indices, the present subvolume 30 B covers second and third order nonlinear optical susceptibilities. For the reader's convenience an alphabetical formula index and an alphabetical index of chemical, mineralogical and technical names for all substances of volumes 29 A, B and 30 A, B are included.

Author : Richard S. Wiener,Richard F. Sincovec
Publisher : Unknown
Page : 488 pages
File Size : 43,8 Mb
Release : 1984-02-15
Category : Computers
ISBN : UOM:39015006401643

Get Book

Software Engineering with MODULA-2 and ADA by Richard S. Wiener,Richard F. Sincovec Pdf

This clear, in-depth presentation examines each stage of the software engineering process, supported by numerous case studies in Modula-2 and Ada. Geared to computer science undergradutes. Discusses software specifications, design, implementation, testing, and maintenance. Emphasis is on object-oriented design and modular software construction. Summary sections and exercises are provided with each chapter.

Author : John Gilbert Presslie Barnes
Publisher : Addison-Wesley Professional
Page : 724 pages
File Size : 41,9 Mb
Release : 1998
Category : Computers
ISBN : UVA:X004206943

Get Book

Programming in Ada 95 by John Gilbert Presslie Barnes Pdf

Ada 95 is the first fully object-oriented programming language to be internationally standardized. John Barnes was a key member of the language's design team, and this is a new edition of his definitive text and reference for the Ada 95 language.

Author : Fred W. Long,Fred Long
Publisher : Springer Science & Business Media
Page : 324 pages
File Size : 45,8 Mb
Release : 1990-11-28
Category : Computers
ISBN : 3540534520

Get Book

Software Engineering Environments by Fred W. Long,Fred Long Pdf

Report on the process session at chinon -- An introduction to the IPSE 2.5 project -- TRW's SEE sage -- MASP: A model for assisted software processes -- Goal oriented decomposition -- Its application for process modelling in the PIMS project -- A metaphor and a conceptual architecture for software development environments -- Configuration management with the NSE -- Experiments with rule based process modelling in an SDE -- Principles of a reference model for computer aided software engineering environments -- An overview of the inscape environment -- Tool integration in software engineering environments -- The PCTE contribution to Ada programming support environments (APSE) -- The Tooluse approach to integration -- An experimental Ada programming support environment in the HP CASEdge integration framework -- Experience and conclusions from the system engineering environment prototype PROSYT -- Issues in designing object management systems -- Experiencing the next generation computing environment -- Group paradigms in discretionary access controls for object management systems -- Typing in an object management system (OMS) -- Environment object management technology: Experiences, opportunities and risks -- Towards formal description and automatic generation of programming environments -- Use and extension of PCTE : The SPMMS information system -- User interface session -- CENTAUR: Towards a "software tool box" for programming environments -- List of participants.

Author : Peter Hibbard
Publisher : Unknown
Page : 104 pages
File Size : 42,7 Mb
Release : 1981
Category : Ada (Computer program language)
ISBN : 3540906282

Get Book

Studies in Ada Style by Peter Hibbard Pdf