|
AdaControl
AdaControl is a free (GMGPL) tool that detects the use of various kinds of constructs in Ada programs. Its first goal is to control proper usage of style or programming rules, but it can also be used as a powerful tool to search for use (or non-use) of various forms of programming styles or design patterns. Searched elements range from very simple, like the occurrence of certain entities, declarations, or statements, to very sophisticated, like verifying that certain programming patterns are being obeyed. History The development of AdaControl by Adalog started in 2004, under a contract of Eurocontrol, which developed the CFMU (''Central Flow Management Unit''), a million+ lines of code program (in Ada) to manage Air Traffic over Europe. Only automated tools could verify compliance of a program of that size to programming standards. Since Eurocontrol had no interest in commercializing software, it was decided to release AdaControl as free software. This had the benefit of hel ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ada Semantic Interface Specification
The Ada Semantic Interface Specification (ASIS) is a layered, open architecture providing vendor-independent access to the Ada Library Environment. It allows for the static analysis of Ada programs and libraries. It is an open, published interface library that consists of the Ada environment and their tools and applications. As explained by thASIS Working Group ''“ASIS is an interface between an Ada environment as defined by ISO/IEC 8652:1995 (the Ada Reference Manual) and any tool requiring information from this environment”'' (SIGAda, 2020) It is exclusively used for programming language applications and static analysis on Ada programs, therefore giving the relevant information and access to Computer-aided software engineering (CASE) and applicable developers. ASIS also has the ability in utilizing the relevant software engineering tools whilst also embodying an easy understanding of the complexities of an Ada environment display. In addition, it provides procedures, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ada Programming Language
Ada is a structured, statically typed, imperative, and object-oriented high-level programming language, extended from Pascal and other languages. It has built-in language support for '' design by contract'' (DbC), extremely strong typing, explicit concurrency, tasks, synchronous message passing, protected objects, and non-determinism. Ada improves code safety and maintainability by using the compiler to find errors in favor of runtime errors. Ada is an international technical standard, jointly defined by the International Organization for Standardization (ISO), and the International Electrotechnical Commission (IEC). , the standard, called Ada 2012 informally, is ISO/IEC 8652:2012. Ada was originally designed by a team led by French computer scientist Jean Ichbiah of CII Honeywell Bull under contract to the United States Department of Defense (DoD) from 1977 to 1983 to supersede over 450 programming languages used by the DoD at that time. Ada was named after Ada Lovelace (1815 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Microsoft Windows
Windows is a group of several proprietary graphical operating system families developed and marketed by Microsoft. Each family caters to a certain sector of the computing industry. For example, Windows NT for consumers, Windows Server for servers, and Windows IoT for embedded systems. Defunct Windows families include Windows 9x, Windows Mobile, and Windows Phone. The first version of Windows was released on November 20, 1985, as a graphical operating system shell for MS-DOS in response to the growing interest in graphical user interfaces (GUIs). Windows is the most popular desktop operating system in the world, with 75% market share , according to StatCounter. However, Windows is not the most used operating system when including both mobile and desktop OSes, due to Android's massive growth. , the most recent version of Windows is Windows 11 for consumer PCs and tablets, Windows 11 Enterprise for corporations, and Windows Server 2022 for servers. Genealogy By marketing ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Linux
Linux ( or ) is a family of open-source Unix-like operating systems based on the Linux kernel, an operating system kernel first released on September 17, 1991, by Linus Torvalds. Linux is typically packaged as a Linux distribution, which includes the kernel and supporting system software and libraries, many of which are provided by the GNU Project. Many Linux distributions use the word "Linux" in their name, but the Free Software Foundation uses the name "GNU/Linux" to emphasize the importance of GNU software, causing some controversy. Popular Linux distributions include Debian, Fedora Linux, and Ubuntu, the latter of which itself consists of many different distributions and modifications, including Lubuntu and Xubuntu. Commercial distributions include Red Hat Enterprise Linux and SUSE Linux Enterprise. Desktop Linux distributions include a windowing system such as X11 or Wayland, and a desktop environment such as GNOME or KDE Plasma. Distributions intended for ser ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mac OS X
macOS (; previously OS X and originally Mac OS X) is a Unix operating system developed and marketed by Apple Inc. since 2001. It is the primary operating system for Apple's Mac (computer), Mac computers. Within the market of desktop and laptop computers it is the Usage share of operating systems#Desktop and laptop computers, second most widely used desktop OS, after Microsoft Windows and ahead of ChromeOS. macOS succeeded the classic Mac OS, a Mac operating system with nine releases from 1984 to 1999. During this time, Apple cofounder Steve Jobs had left Apple and started another company, NeXT Computer, NeXT, developing the NeXTSTEP platform that would later be acquired by Apple to form the basis of macOS. The first desktop version, Mac OS X 10.0, was released in March 2001, with its first update, 10.1, arriving later that year. All releases from Mac OS X Leopard, Mac OS X 10.5 Leopard and after are UNIX 03 certified, with an exception for OS X Lion, OS X 10. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Static Code Analysis
In computer science, static program analysis (or static analysis) is the analysis of computer programs performed without executing them, in contrast with dynamic program analysis, which is performed on programs during their execution. The term is usually applied to analysis performed by an automated tool, with human analysis typically being called "program understanding", program comprehension, or code review. In the last of these, software inspection and software walkthroughs are also used. In most cases the analysis is performed on some version of a program's source code, and, in other cases, on some form of its object code. Rationale The sophistication of the analysis performed by tools varies from those that only consider the behaviour of individual statements and declarations, to those that include the complete source code of a program in their analysis. The uses of the information obtained from the analysis vary from highlighting possible coding errors (e.g., the lint t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
GMGPL
The GNAT Modified General Public License (short: Modified GPL, GMGPL) is a version of the GNU General Public License specifically modified for compiled units and for the generic feature found in the Ada programming language. The modification is as follows: :As a special exception, if other files instantiate generics from this unit, or you link this unit with other files to produce an executable, this unit does not by itself cause the resulting executable to be covered by the GNU General Public License. This exception does not however invalidate any other reasons why the executable file might be covered by the GNU Public License. The GNAT Ada compiler can automate conformance checks for some GPL software license issues via a compiler directive. Use pragma License (Modified_GPL); to activate the check against the Modified GPL. The GNAT Reference Manual documents the License pragma along with other compiler directives. See also * Free software licen ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Eurocontrol
The European Organisation for the Safety of Air Navigation, commonly known as Eurocontrol (stylised ''EUROCONTROL''), is an international organisation working to achieve safe and seamless air traffic management across Europe. Founded in 1960, Eurocontrol currently has 41 member states and is headquartered in Brussels, Belgium. It has several local sites as well, including an Innovation Hub in Brétigny-sur-Orge, France, the Aviation Learning Centre (ALC) in Luxembourg, and the Maastricht Upper Area Control Centre (MUAC) in Maastricht, the Netherlands. The organisation employs approximately two thousand people, and operates with an annual budget in excess of half a billion Euro. Although Eurocontrol is not an agency of the European Union, the EU has delegated parts of its Single European Sky regulations to Eurocontrol, making it the central organisation for coordination and planning of air traffic control for all of Europe. The EU itself is a signatory of Eurocontrol and all EU me ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
GNAT Programming Studio
GNAT Programming Studio (GPS, formerly known as the GNAT Programming System) is a free multi-language integrated development environment (IDE) by AdaCore. GPS uses compilers from the GNU Compiler Collection, taking its name from GNAT, the GNU compiler for the Ada programming language. GPS is cross-platform, running on Linux, FreeBSD, Microsoft Windows, macOS, and Solaris. GPS uses GTK+ as the widget toolkit for its graphical user interface. Released under the GNU General Public License, GPS is free software. Features GPS supports a variety of programming languages other than Ada, including C, JavaScript, Pascal and Python. In addition, it supports a number of other file types for build systems such as Autoconf and Make, along with documentation formats like Changelog and Texinfo. The most interesting new development function of GPS from version 4.0 are remote edit, remote debug and cross-compilation capabilities for platforms for which GPS/GCC are not natively available. Th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Static Program Analysis Tools
Static may refer to: Places *Static Nunatak, a nunatak in Antarctica United States *Static, Kentucky and Tennessee *Static Peak, a mountain in Wyoming **Static Peak Divide, a mountain pass near the peak Science and technology Physics *Static electricity, a net charge of an object **Triboelectric effect, due to frictional contact between different materials *Static spacetime, a spacetime having a global, non-vanishing, timelike Killing vector field which is irrotational *Statics, a branch of physics concerned with physical systems in equilibrium **Fluid statics, the branch of fluid mechanics that studies fluids at rest Engineering *Static pressure, in aircraft instrumentation and fluid dynamics **Static port, a proprietary sensor used on aircraft to measure static pressure *White noise or static noise, a random signal with a flat power spectral density ** Noise (radio), in radio reception ** Noise (video), the random black-and-white image produced by televisions attempting to disp ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.svg "Click for more on -> Microsoft Windows"){kind=logo}
.jpg "Click for more on -> Linux")
