Название: Ada for the C++ or Java Develope Автор: Quentin Ochem Издательство: AdaCore Год: 2013 Формат: pdf Страниц: 38 Размер: 0,4 mb. Язык: English
Nowadays it seems like talking about programming languages is a bit pass?. The technical wars of the past decade have subsided and today we see a variety of high-level and well-established languages offering functionality that can meet the needs of any programmer. Python, Java, C++, C#, and Visual Basic are recent examples. Indeed, these languages make it easier to write code very quickly, are very flexible, offer features with highly dynamic behavior, and some even allow compilers to deduce the developer’s probable intent.
Why, then, talk about yet another language? Well, by addressing the general programming market, the aforementioned languages have become poorly suited for working within the domain of high-integrity systems. In highly reliable, secure and safe applications such as those found in and around airplanes, rockets, satellites, trains, and in any device whose failure could jeopardize human life or critical assets, the programming languages used must support the high standard of software engineering necessary to maintain the integrity of the system.
The concept of verification—the practice of showing that the system behaves and performs as intended—is key in such environments. Verification can be accomplished by some combination of review, testing, static analysis, and formal proof techniques. The increasing reliance on software and increasing complexity of today’s systems has made this task more difficult. Technologies and practices that might have been perfectly acceptable ten or fifteen years ago are insufficient today. Thankfully, the state of the art in analysis and proof tools and techniques has also advanced.
Introduction to Programming Languages Название: Introduction to Programming Languages Автор: Arvind Kumar Bansal Издательство: CRC Год: 2014 Страниц: 624 Формат: PDF Размер: 10 Mb Язык:...
Java to Python Название: Java to Python Автор: Vishnevskiy Igor Издательство: Independently published Год: 2016 Страниц: 159 Формат: PDF (conv) Размер: 10.4 Мб ...
Навигация
Вход на сайт
Реклама
Ada for the C++ or Java Developer 
