Related Research Articles
The Z notation is a formal specification language used for describing and modelling computing systems. It is targeted at the clear specification of computer programs and computer-based systems in general.
Condom, also referred to as Condom-en-Armagnac, is a commune in southwestern France in the department of Gers, of which it is a subprefecture.
Georges Abrial was an early French aerodynamicist.
The A-2 Vautour (Vulture) was a single-seat French glider that was designed by Georges Abrial. It performed well at the Vauville competition of 1925.
The A-3 Oricou was a small French touring airplane designed in 1927 by Georges Abrial. It could seat two, and was powered by a 30 kW (40 hp) piston engine.
The A-12 was an unusual tailless glider designed by Georges Abrial in the early 1930s. It was not a success and was abandoned in 1932.
Jean-Marie Charles Abrial was a French Admiral and Naval Minister. He fought in both World wars, and was known mostly for his actions at Dunkirk in 1940.
The B method is a method of software development based on B, a tool-supported formal method based on an abstract machine notation, used in the development of computer software. It was originally developed in the 1980s by Jean-Raymond Abrial in France and the UK. B is related to the Z notation and supports development of programming language code from specifications. B has been used in major safety-critical system applications in Europe. It has robust, commercially available tool support for specification, design, proof and code generation.
Jean-Raymond Abrial is a French computer scientist and inventor of the Z and B formal methods.
Abrial is a surname. Notable people with the surname include:
Charles Fauvel was a French aircraft designer noted for his flying wing designs, and in particular, his flying wing sailplanes. He became interested in soaring after witnessing a competition at Vauville in 1925, and set out to design a competition glider with minimal drag, settling on the flying wing formula based on the work of Georges Abrial and René Arnoux. One of his designs, the AV.10 was the first flying wing to attain a French Certificate of Navigability. His greatest commercial success was the AV.36 sailplane, first flown in 1951.
Pierre Georges Albert Levasseur was a French aircraft and component maker. He set up his company Société Pierre Levasseur Aéronautique, always referred to simply as Levasseur in Paris in 1910, beginning by making propellers. In 1913 he began building aircraft designed by others. He then began to design his own, the majority of which were single-engine biplanes for French Naval Aviation. He also ran a flying school, where the chief pilot of his school was François Denhaut (1877–1952), notable for designing the first flying boat. Georges Abrial, an early French aerodynamicist, also worked with Levasseur to produce the Levasseur-Abrial A-1.
The Levasseur-Abrial A-1 was a glider built in 1922 as a result of a collaboration between French aerodynamicist Georges Abrial de Péga and constructor Pierre Levasseur. A single example was built, which was destroyed on its fourth flight.
Stéphane Abrial, , is a French general who is the previous commander of Allied Command Transformation based in Norfolk, VA, one of the two NATO strategic commands. His previous posting was as the Chief of Staff of the French Air Force.
André Joseph Abrial was a French politician and Minister of Justice from 1799 to 1802.
Charles Carroll Morgan is an American computer scientist who moved to Australia in his early teens. He completed his education there, including a Doctor of Philosophy (Ph.D.) degree from the University of Sydney, and then moved to the United Kingdom in the early 1980s. In 2000, he returned to Australia.
The Abrial A-13 Buse was a tailless glider prototype that was designed in 1954. It was the last in a series of glider aircraft designed by Georges Abrial.
The Peyret-Abrial A-5 Rapace, also called the Abrial A-5 Rapace, was a glider designed by Georges Abrial in France during the 1920s, assisted by Louis Peyret and Professor Toussant. The aircraft flew for the first time in 1928.