Structure for Dependability: Computer-Based Systems from an by Denis Besnard, Cristina Gacek, Cliff Jones

By Denis Besnard, Cristina Gacek, Cliff Jones

Approach builders, stakeholders, selection makers, policymakers and lecturers will locate this publication a one-stop source highlighting the center matters for all these taken with dependability in a posh computer-based atmosphere.

Show description

Read or Download Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective PDF

Similar nonfiction_4 books

Churchill and Sherman Specials

Изображения: черно-белые фото, цветные рисункиA new and unrivalled ebook in demanding again sure volumes. Seven volumes will hide, extensive, the heritage of the AFV from the 1st lumbering giants of worldwide warfare I to the Panzers. Cruisers and Shermans of worldwide struggle II and the ultimate—the automatic killers of at the present time with their infra-red illuminators and detectors.

Improvised Munitions Handbook(Самодельные боеприпасы. Справочник)

The TM 31-210 Improvised Munitions guide is a usa military technical handbook meant for the us designated Forces describing manufacture of improvised guns and explosives from on hand fabrics, from junk piles, universal family chemical compounds and provides bought from normal shops.

Ed Parker's Infinite Insights Into Kenpo: Mental Stimulation

With the buildup of over thirty years of useful Martial Arts event the Sr. Grandmaster of yankee Kenpo Karate Ed Parker Sr. made up our minds to record and percentage his findings in a huge sequence of books. Writing with the reason to expound upon the advantages of his American KENPO Martial Arts procedure, he wrote of it truly is many features as, "a self-discipline, a life-style, a philosophy, and an paintings and a technology.

Extra resources for Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective

Example text

The role of structure: a software engineering perspective 39 9 Top-down and bottom-up architecture In software development the word architecture can mean many things [25; 2; 29]. Here we mean the identification of software components, their arrangement into one or more larger structures of chosen types, and the choice of component types and connecting interfaces. This is, in a sense, programming in the large, a term introduced by DeRemer and Kron [9]. As DeRemer and Kron recognised, software architecture can be approached top-down, or bottom-up, or in some combination of the two.

Yearly calendar month * day start of week o * ™ start of week o Fig. 12. A composition structure distorting one of its constituent structures 5 We are assuming a simple old-fashioned handset here, and a simple old-fashioned landline-based telephone service. 6 In a certain sense, pressing a dialpad button is always possible, but has no effect when the phone is onhook: no signal is transmitted to the exchange computer, and no change is made to the local state of the phone. 36 Michael Jackson The effect of the distortion is a partial loss of context.

The successful accommodation of both constituent structures without distortion can be seen directly. 4 Using this kind of merging composition structure eliminates a significant source of error: the retention of each constituent structure ensures that the context of each part is preserved intact in the composition. In this trivial example the composition structure is formed from given constituents whose individual properties are independent of the composition: in forming the composition it is therefore necessary to accommodate every possible instance of each constituent considered independently.

Download PDF sample

Rated 4.22 of 5 – based on 48 votes