Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Designing Reliable Systems from Reliable Components using the Context-Dependent Constraint Concept
Responsible organisation
1996 (English)Report (Other academic)
Abstract [en]

The problem of composing a system using well-behaved components is discussed. Specifically, necessary conditions for preserving the behaviour in a system context are analysed in this paper. Such conditions are defined as Context-Dependent Constraints (CDC). A non-formal approach is taken based on common system integration errors. It is suggested that the identification and verification of CDCs should be part of any development method based on component verification. The CDCs can also serve as an aid for designing reliable and maintainable systems, where the goal of the design process is to reduce the number of CDCs.

Place, publisher, year, edition, pages
1996.
Series
Blekinge Tekniska Högskola Forskningsrapport, ISSN 1103-1581 ; 4
National Category
Software Engineering
Identifiers
URN: urn:nbn:se:bth-00043Local ID: oai:bth.se:forskinfoA4D0D5CD352900FEC12568A3002CA9F3OAI: oai:DiVA.org:bth-00043DiVA: diva2:837620
Available from: 2012-09-18 Created: 2000-03-15 Last updated: 2015-06-30Bibliographically approved

Open Access in DiVA

fulltext(122 kB)84 downloads
File information
File name FULLTEXT01.pdfFile size 122 kBChecksum SHA-512
9e5e9916b42bc03225c5c7ac5d03e14c3528bcf162aaa65920d672b66cfba822afe955be235bcd9a75b9e9a191c3184ef6baa9e59cca427519f8bea25bb342b3
Type fulltextMimetype application/pdf

Software Engineering

Search outside of DiVA

GoogleGoogle Scholar
Total: 84 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 30 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf