The Progress of Refinement
Author : Henry James Pye
Publisher :
Page : 120 pages
File Size : 39,54 MB
Release : 1783
Category :
ISBN :
Author : Henry James Pye
Publisher :
Page : 120 pages
File Size : 39,54 MB
Release : 1783
Category :
ISBN :
Author : Emil Sekerinski
Publisher : Springer Science & Business Media
Page : 352 pages
File Size : 33,33 MB
Release : 2012-12-06
Category : Computers
ISBN : 1447105850
The Idea of Program Refinement Programs are complex. They are typically so complex, that they go beyond the full comprehension even of the programmer or team who designed them, with all the consequences this has. How can we cope with such complexity in a satisfactory way? An approach, advocated for a long time, is to separate a concise specification of a program - the "what" - from a possibly involved implementation - the "how". Once a specification is obtained from the set of requirements on the program, there can still be a large gap to an efficient implementation. The development from specification to implementation can then proceed by a succession oflayers, such that each layer is a refinement of the previous one. Design decisions can be introduced in refinement steps one at a time. By this, the refinement steps can be kept small and manageable. Still, the set of all requirements can be far too large to be taken completely into account in the initial specification. Even if they could, they might obscure issues more than clarify them. For example: • An information system for stored goods needs to produce an error message on il legal input. Yet, the exact wording - and even the language - of those messages is irrelevant for an understanding of the essence of the system. • A banking application interacts with customers with a graphical interface. Yet the specification of the graphical layout is secondary compared to the specification of the possible transactions.
Author : William Hazlitt
Publisher :
Page : 624 pages
File Size : 21,5 MB
Release : 1903
Category :
ISBN :
Author : Carroll Morgan
Publisher : Springer Science & Business Media
Page : 169 pages
File Size : 19,98 MB
Release : 2012-12-06
Category : Mathematics
ISBN : 1447132734
On the Refinement Calculus gives one view of the development of the refinement calculus and its attempt to bring together - among other things - Z specifications and Dijkstra's programming language. It is an excellent source of reference material for all those seeking the background and mathematical underpinnings of the refinement calculus.
Author : William Hazlitt
Publisher :
Page : 582 pages
File Size : 11,17 MB
Release : 1903
Category :
ISBN :
Author : Vitalij Pecharsky
Publisher : Springer Science & Business Media
Page : 732 pages
File Size : 22,79 MB
Release : 2005-03-03
Category : Technology & Engineering
ISBN : 0387241477
Requires no prior knowledge of the subject, but is comprehensive and detailed making it useful for both the novice and experienced user of the powder diffraction method. Useful for any scientific or engineering background, where precise structural information is required. Comprehensively describes the state-of-the-art in structure determination from powder diffraction data both theoretically and practically using multiple examples of varying complexity. Pays particular attention to the utilization of Internet resources, especially the well-tested and freely available computer codes designed for processing of powder diffraction data.
Author :
Publisher :
Page : 920 pages
File Size : 43,11 MB
Release : 1927
Category : Petroleum industry and trade
ISBN :
Author :
Publisher : DIANE Publishing
Page : 56 pages
File Size : 28,50 MB
Release : 2006
Category :
ISBN : 142893040X
Author :
Publisher :
Page : 706 pages
File Size : 21,21 MB
Release : 1876
Category : Architecture
ISBN :
Author : Clay Collins
Publisher : Lulu.com
Page : 676 pages
File Size : 27,46 MB
Release : 2014-09-20
Category : Fiction
ISBN : 1312442964
When the United States reaches the threshold of peak oil, the average citizen can't afford to drive to work and city infrastructures are unable to keep up with the demand for public transport. The Attila Corporation, the nation's largest energy supplier, offers a solution. It employs every member of the private sector and promises them a future of unlimited fuel and housing, at a cost. Stevens is an Enforcer employed by the Attila Corporation, biding his time until his work contract expires so he can reconnect with his long-lost love, Aubrey. It isn't until his refinery is attacked by Duster rebels that his dreams are forced to take a backseat to survival. Mistakenly left alive, Stevens flees the refinery and seeks revenge for his fallen Enforcers. Jacobson, the CEO of Attila, doesn't see Stevens' survival as an accident. Stevens is deemed a traitor and ordered to be captured by the Listeners, the secret police in charge of silencing those against the Corporation.