Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Designing Reliable Systems from Reliable Components using the Context-Dependent Constraint Concept
Ansvarlig organisasjon
1996 (engelsk)Rapport (Annet vitenskapelig)
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.

sted, utgiver, år, opplag, sider
1996.
Serie
Blekinge Institute of Technology Research report, ISSN 1103-1581 ; 4
HSV kategori
Identifikatorer
URN: urn:nbn:se:bth-00043Lokal ID: oai:bth.se:forskinfoA4D0D5CD352900FEC12568A3002CA9F3OAI: oai:DiVA.org:bth-00043DiVA, id: diva2:837620
Tilgjengelig fra: 2012-09-18 Laget: 2000-03-15 Sist oppdatert: 2025-09-30bibliografisk kontrollert

Open Access i DiVA

fulltekst(122 kB)672 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 122 kBChecksum SHA-512
9e5e9916b42bc03225c5c7ac5d03e14c3528bcf162aaa65920d672b66cfba822afe955be235bcd9a75b9e9a191c3184ef6baa9e59cca427519f8bea25bb342b3
Type fulltextMimetype application/pdf

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 672 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

urn-nbn

Altmetric

urn-nbn
Totalt: 277 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf