Author: J. Dawes
Publisher: Cambridge University Press
ISBN: 9780521404983
Category : Computers
Languages : en
Pages : 210
Get Book Here
Book Description
This volume presents the findings of the Ada-Europe specialist group for compiler assessment. The conclusions of this group should prove essential reading for anyone considering adoption of the Ada programming language and will be of value to the entire Ada community. The findings have been presented in an edited form, making them accessible to the new recruit to this rapidly expanding community.
Author: Chris Loftus
Publisher: IOS Press
ISBN: 9789051991246
Category : Computers
Languages : en
Pages : 506
Get Book Here
Book Description
Author:
Publisher:
ISBN:
Category : Science
Languages : en
Pages : 1328
Get Book Here
Book Description
Author: Advisory Committee on Technology and Society
Publisher: National Academies Press
ISBN: 9780309037860
Category : Social Science
Languages : en
Pages : 1298
Get Book Here
Book Description
Cities and Their Vital Systems asks basic questions about the longevity, utility, and nature of urban infrastructures; analyzes how they grow, interact, and change; and asks how, when, and at what cost they should be replaced. Among the topics discussed are problems arising from increasing air travel and airport congestion; the adequacy of water supplies and waste treatment; the impact of new technologies on construction; urban real estate values; and the field of "telematics," the combination of computers and telecommunications that makes money machines and national newspapers possible.
Author:
Publisher:
ISBN:
Category : Programming languages (Electronic computers)
Languages : en
Pages : 730
Get Book Here
Book Description
Author: John A McDermid
Publisher: Elsevier
ISBN: 1483105083
Category : Technology & Engineering
Languages : en
Pages : 1137
Get Book Here
Book Description
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.
Author:
Publisher:
ISBN:
Category : Patents
Languages : en
Pages : 816
Get Book Here
Book Description
Author:
Publisher:
ISBN:
Category : Computer software
Languages : en
Pages : 178
Get Book Here
Book Description
Author: New York Public Library
Publisher:
ISBN:
Category : Engineering
Languages : en
Pages : 64
Get Book Here
Book Description
Author: John R. Newport
Publisher: CRC Press
ISBN: 9780849324659
Category : Technology & Engineering
Languages : en
Pages : 350
Get Book Here
Book Description
Avionic Systems Design presents an engineering look at the impact of emerging policies - such as joint service programs and commercial co-developments - designed to broaden market sectors for real-time, embedded systems . It also touches on the different review and specification practices of DoD, NASA, and FAA. The topics cover a complete "how to" overview of the design process, including trade studies, detailed design, and formal reviews. In addition, the discussion links design decisions to a theoretical basis, including architecture integration strategy and communication models. The book also includes performance measurement analysis, interpretation of results, formulation of benchmarks, and numerous examples. Finally, it provides examples of the strategies and effects of requirements analysis and validation. An appendix offers an extensive list of acronyms.
