mdh.sePublikationer
Ä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
Systematic simplicity-accuracy tradeoffs in parameterised contract models
RMIT University, Melbourne, VIC, Australia .
RMIT University, Melbourne, VIC, Australia . (IS (Embedded Systems))ORCID-id: 0000-0001-6278-4793
2011 (Engelska)Ingår i: CompArch'11 - Proceedings of the 2011 Federated Events on Component-Based Software Engineering and Software Architecture - QoSA+ISARCS'11, 2011, s. 95-104Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

Contract models underlying architecture-level verification methods must suit a range of different accuracy vs analytical complexity tradeoffs depending on domain. For example, trustworthiness in safety-critical systems is enabled by representational simplicity leading to comprehensible proofs while real-time systems require precise characterisation of execution time. A family of mutually-compatible parameterised contract models enabling such tradeoffs is needed, supporting reasoning about consistency and conformance ( ...

Ort, förlag, år, upplaga, sidor
2011. s. 95-104
Nationell ämneskategori
Teknik och teknologier
Identifikatorer
URN: urn:nbn:se:mdh:diva-23645DOI: 10.1145/2000259.2000276Scopus ID: 2-s2.0-79960551839ISBN: 781450307246 (tryckt)OAI: oai:DiVA.org:mdh-23645DiVA, id: diva2:680081
Konferens
7th Int. ACM SIGSOFT Conf. on the Quality of Software Archit., QoSA 2011 and the 2nd ACM SIGSOFT Int. Symp. on Archit. Critical Syst., ISARCS 2011, Part of the 2011 Federated Events on Component-Based Software Eng. and Software Archit., CompArch'11; Boulder, CO; United States; 20 June 2011 through 24 June 2011
Tillgänglig från: 2013-12-17 Skapad: 2013-12-16 Senast uppdaterad: 2013-12-19Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Personposter BETA

Schmidt, Heinz

Sök vidare i DiVA

Av författaren/redaktören
Schmidt, Heinz
Teknik och teknologier

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 14 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