While at EDF ( Électricité de France ), Abrial wrote internal notes on Z.

It was developed further at the Programming Research Group at Oxford University, where Abrial worked in the early 1980s, having arrived at Oxford in September 1979.

J .- R. Abrial is the father of the Z notation ( typically used for formal specification of software ), during his time at the Programming Research Group within the Oxford University Computing Laboratory, and later the B-Method ( normally used for software development ), two leading formal methods for software engineering.

This position is currently held by French Air Force General General Stephane Abrial.

The commander of the organization is General Stéphane Abrial of the French Air Force.

* Abrial A-2 Vautour, a French sailplane built in 1925.

* Abrial A-3 Oricou, a French touring aircraft designed in 1927

* Abrial A-12 Bagoas, a French, experimental glider of the 1930s

Georges Abrial ( 1898, Paris – 1970, Vauville, Manche ) was an early French aerodynamicist.

He transferred the job of SACT to French General Stéphane Abrial on 9 September 2009, but continued in command of JFCOM.

Jean-Marie Charles Abrial ( 17 December 1879, Réalmont, Tarn-19 December 1962, Dourgne ) was a French Admiral and Naval Minister.

Jean-Raymond Abrial ( born 1938 ) is a French computer scientist and inventor of the Z and B formal methods.

Abrial is the first non-American to hold a supreme commander role within NATO.

Z was originally proposed by Abrial in 1977 with the help of Steve Schuman and Bertrand Meyer.

There, he locked up, with the complicity of Admiral Abrial, adversaries of the Vichy regime ( Gaullists, Freemasons, communists, etc.

In 1846 some Genoese made a similar effort, while in 1849 the Frenchman Jacques Abrial was able to farm the island for three years.

* 18 November 1942 – Jean-Charles Abrial succeeds Auphan as Minister of Marine.

Henri Bléhaut succeeds Abrial as Minister of Marine and Brévié as Minister of Colonies.

Abrial in " Data Semantics ": "... the so called " logical " definition and manipulation of data are still influenced ( sometimes unconsciously ) by the " physical " storage and retrieval mechanisms currently available on computer systems.

Abrial stopped designing new aircraft after 1932 when he abandoned his A-12 project.

* Abrial A-2 Vautour ( 1925 ) Single-seat sailplane, 12. 65 m wingspan

* Abrial A-12 Bagoas ( 1931 ) Single-seat sailplane of extremely low wing aspect ratio.

* Abrial A-13 Buse ( 1954 ) Proposed single-seat sailplane.

During World War I, Abrial served in command of a high-seas patrol boat until 1917, when he joined the Naval Ministry's anti-submarine division.

Abrial worked in cooperation with the British troops during the evacuation of Dunkirk in 1940, even though he had not been informed of it prior to the operation.

On May 29 the evacuation began ; Abrial was one of the last to be evacuated.

After evacuation, Abrial was based in Cherbourg — where, as senior officer, he was forced to surrender the port to the Germans on June 19.

On the downfall of the Vichy regime, Abrial was arrested and charged with collaboration, for which he lost his pension.

On leaving school his theatrical career started immediately, with an introduction to Sir Donald Wolfit by his French master.

He was born in Antwerp, where he started his career, but he spent most of it in Middelburg ( 1587 – 1613 ), where he moved with his family because of the threat of religious persecution.

Bal Thackeray started his career as a cartoonist in the Free Press Journal in Mumbai.

She started her acting career in 1952 and, after appearing in 16 films, became world-famous due to her role in her then-husband Roger Vadim's controversial film And God Created Woman.

Karmal was born in Kamari and educated at Kabul University, after which he started his career as a bureaucrat.

His sportscasting career started while attending Syracuse University, as an announcer for the Syracuse Blazers minor-league hockey team playing in the Eastern Hockey League and North American Hockey League.

For instance, basketball legend, Michael Jordan became an active entrepreneur involved with many sports related ventures including investing a minority stake in the Charlotte Bobcats, Paul Newman started his own salad dressing business after leaving behind a distinguished acting career, or rap musician, Birdman started his own record label, clothing line, and an oil business.

It was influenced not just by name of the poem, which was widely popular in the 1910s, but also because he tended to strike out frequently in his early career so fans and writers started calling him " strikeout Casey ".

In addition to wins, Young still holds the major league records for most career innings pitched ( 7, 355 ), most career games started ( 815 ), and most complete games ( 749 ).

Young's career started in 1890 with the Cleveland Spiders.

After the season, Young received an offer to play for the minor league Canton team, which started Young's professional career.

After his extraordinary career at Warner Bros. ended in 1962, Jones started Sib Tower 12 Productions and began producing memorable cartoons for Metro-Goldwyn-Mayer, including a new series of Tom and Jerry shorts and the television adaptation of Dr. Seuss ' How the Grinch Stole Christmas!

Day started her career as a big band singer in 1939, but only began to be noticed after her first hit recording, " Sentimental Journey ", in 1945.

After leaving the Les Brown & His Band of Renown to try a solo career, she started her long-lasting partnership with Columbia Records, which would remain her only recording label.

He soon started to write short stories, although his career did not take off until 1982, when, through Harlan Ellison's help, his short story " The River Styx Runs Upstream " was published and awarded first prize in a Twilight Zone Magazine story competition.

John Coleman started his coaching career at Essendon in 1961, thus ending the Dick Reynolds era at the club.

Dealing with racial and gay issues, it started the career of its writer Hanif Kureishi.

Ruud van Nistelrooy started his professional career at this club.

He started his political career during World War II.

He started his career playing for the youth teams of Farul Constanța in the 1970s, before being selected by the Romanian Football Federation to join the squad of Luceafărul București in 1980 for two years.

Banks ' career started to rise rapidly from this point.

The duke was amused, and this joke started Alberoni's brilliant career.

Lineker's career at Leicester started slowly and was mostly kept to odd appearances.