Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Designing Reliable Systems from Reliable Components using the Context-Dependent Constraint Concept
Ansvarig organisation
1996 (Engelska)Rapport (Övrigt vetenskapligt)
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.

Ort, förlag, år, upplaga, sidor
1996.
Serie
Blekinge Institute of Technology Research report, ISSN 1103-1581 ; 4
Nationell ämneskategori
Programvaruteknik
Identifikatorer
URN: urn:nbn:se:bth-00043Lokalt ID: oai:bth.se:forskinfoA4D0D5CD352900FEC12568A3002CA9F3OAI: oai:DiVA.org:bth-00043DiVA, id: diva2:837620
Tillgänglig från: 2012-09-18 Skapad: 2000-03-15 Senast uppdaterad: 2025-09-30Bibliografiskt granskad

Open Access i DiVA

fulltext(122 kB)670 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 122 kBChecksumma SHA-512
9e5e9916b42bc03225c5c7ac5d03e14c3528bcf162aaa65920d672b66cfba822afe955be235bcd9a75b9e9a191c3184ef6baa9e59cca427519f8bea25bb342b3
Typ fulltextMimetyp application/pdf

Programvaruteknik

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 670 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

urn-nbn

Altmetricpoäng

urn-nbn
Totalt: 275 träffar
RefereraExporteraLänk till posten
Permanent länk

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