program specification
program specification A precise statement of the effects that an individual program is required to achieve. It should clearly state what the program is to do without making any commitment as to how this is to be done. For a program that is intended to terminate, the program specification can take the form of an input-output specification that describes the desired mapping from the set of input values to the set of output values. For cyclic programs, which are not designed to terminate, it is not possible to give a simple input-output specification; normal practice is to focus attention on the individual functions performed by the program during its cyclic operations.
For both terminating and cyclic programs a variety of notations have been employed for program specifications, ranging from natural language with embedded equations and tables to formal notations such as those based upon first-order
predicate calculus.
Cite this article
Pick a style below, and copy the text for your bibliography.
|
Vatican II or Pius XII - which one is it? The council took a major step beyond the teaching of Pope Pius XII that the Catholic church and the Body of Christ are 'one and the same.' (Second Vatican Council)
Magazine article from: National Catholic Reporter; 4/24/1998; ; 700+ words
; ...to Pope John Paul II's 1995 encyclical...the teaching of Pope Pius XII that the Catholic...the pre-Vatican II theology and papal...reaffirm the teaching of Pius XII that the Catholic...reaction to Vatican II over the past three...Or are we back to Pius XII? Fr. Richard...
|
|
"Silence Means Consent".(role of Vatican and Pope Pius XII during World War II)
Magazine article from: Midstream; 4/1/2001; ; 700+ words
; ...before and during World War II. The point of Rolf Hochhuth...sensation, was that Pope Pius XII failed in moral leadership...uncomfortable with dictators. Pius was probably no more antisemitic...process of declaring Pope Pius a saint of the Church is...Documents during World War II. Father ...
|
|
Vatican ambassador set to boycott Holocaust ceremony at Yad Vashem. Unprecedented protest move stems from rift over photo caption at museum that highlights Pope Pius XII's World War II silence
Newspaper article from: Jerusalem Post; 4/13/2007; ; 700+ words
; ...that highlights Pope Pius XII's World War II silence Byline: ETGAR...that states that Pope Pius XII did not protest...Jews during World War II. The bitter public...longstanding plans to make Pius a saint. "I will...victims of World War II, but I do not feel...
|
|
AJCongress Says Vatican Official's Designation of Complaints By Jewish Historians as 'Slander' Against the Church Serves to Fortify Questions Regarding Pope Pius' Role in World War II.
PR Newswire; 8/7/2001; 633 words
; ...Calling on Pope John Paul II to intercede with his bureaucrats...investigate the role of Pope Pius XII in World War II, American Jewish Congress...the minds of many Jews over Pius' precise role during World War II. The reasons cited for the...
|
|
Monitor: ALL THE NEWS OF THE WORLD International and Italian press comment on the beatification by Pope John Paul II of John XXIII and Pius IX
Newspaper article from: The Independent - London; 9/5/2000; 700+ words
; ...God. According to this, John has beaten Pius. On this controversial day the clapometer...for John XXIII crushed the applause for Pius IX. It is not a day that will long remain...to justify the controversial choice of Pius IX: "When beatifying its sons the church...
|
|
Reject Aeneas, Accept Pius: Selected Letters of Aeneas Sylvius Piccolomini (Pope Pius II).(Book review)
Magazine article from: Renaissance Quarterly; 3/22/2007; ; 700+ words
; ...Aeneas Sylvius Piccolomini (Pope Pius II). Trans. Thomas M. Izbicki, Gerald...1442-4. In 1463, a contrite Pope Pius II (1458-64) issued an official retraction...Aeneas Sylvius Piccolomini (Pope Pius II) offers a detailed portrait of one...
|
|
"Reject Aeneas, Accept Pius": Selected Letters of Aeneas Sylvius Piccolomini (Pope Pius II)
Magazine article from: The Catholic Historical Review; 1/1/2009; ; 700+ words
; Early Modern European "Reject Aeneas, Accept Pius": Selected Letters of Aeneas Sylvius Piccolomini (Pope Pius II). Introduced and translated by Thomas M. Izbicki, Gerald Christianson, and Philip...
|
|
Pius XII under attack (USA).(criticized for World War II activities)(Brief Article)
Magazine article from: Catholic Insight; 12/1/1999; 700+ words
; ...World War. Hochhuth portrayed Pius XII fingering bags of money while...too, continue their attacks on Pius XII. The latest "revelation...the Vatican during World War II, had reported that in an audience on December 30, 1942, Pius XII told him "that he believed...
|
|
Rome to open some prewar papal archives. (News).(Pope Pius XII documents in relation to World War II)(Brief Article)
Magazine article from: The Christian Century; 2/27/2002; 700+ words
; ...researchers, Pope John Paul II has directed the Vatican...leading up to World War II and the Holocaust. Vatican...speculation" that Pope Pius XII failed to try to protect...end the controversy over Pius XII'S wartime role and...s role during World War II. But the International...
|
|
|
If Pius XII was the first Nazi Pope, why does John Paul II want to turn him into a saint? It's a big `if'. But consider the evidence. The wartime pontiff ignored the Holocaust even though he knew about it as early as 1942. He failed to act over the round-up of more than 1,000 Roman Jews. His letters reveal him to be anti-Semitic. And, if the biographer who set out to clear him is right, he cut a deal with the Nazis to consolidate his position. So why is the current Holy Father hell- bent on his beatification?
Newspaper article from: The Independent - London; 10/5/1999; 700+ words
; ...Africa last year, Pope John Paul II was asked what he thought of his predecessor Pius XII, the wartime pontiff. "He...steaming full speed ahead to prepare Pius for sainthood. There's another view of Pius XII, however: that he failed to...
|
|
Pius II
Encyclopedia entry from: Encyclopedia of World Biography
Pius II Pius II (1405-1464) was pope from 1458 to 1464. He is remarkable for the contrast between his early life as a writer and poet of the Renaissance and his later life as a conservative pope. Pius II was born Enea Silvio de' Piccolomini...
|
|
Pius II (1405–1464)
Book article from: The Renaissance
Pius II (1405 – 1464) Pope from 1458 to 1464, a determined...In 1458, he succeeded Calixtus III as pope, taking the name of Pius after the phrase “ pius Aeneas ” in the poetry of Virgil. After the Fall of...
|
|
|
Pius XII
Encyclopedia entry from: Encyclopedia of World Biography
...years of World War II and the postwar period...Soviet communism. Pius XII was born Eugenio...judgments during World War II. Pius XI recalled Pacelli...on March 2, 1939. Pius XII's main determination...outbreak of World War II in September 1939...
|
|
|
Pius XI
Encyclopedia entry from: Encyclopedia of World Biography
...It was a policy which Pius XII, his successor, was...results during World War II. When Mussolini's government...Semitic legislation in 1938, Pius denounced it together with...last months of his life, Pius XI saw the gathering clouds of World War II. Although he used every...
|
|
|
Pius VII
Encyclopedia entry from: Encyclopedia of World Biography
Pius VII Pius VII (1740-1823...régime. However, Pius was forced to accept the bitter...the reforms made under Joseph II, which, prior to the French...ecclesiastical privileges. Nevertheless, Pius found the reactionary atmosphere...
|
