mdh.sePublikasjoner
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
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 (engelsk)Inngår i: CompArch'11 - Proceedings of the 2011 Federated Events on Component-Based Software Engineering and Software Architecture - QoSA+ISARCS'11, 2011, s. 95-104Konferansepaper, Publicerat paper (Fagfellevurdert)
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 ( ...

sted, utgiver, år, opplag, sider
2011. s. 95-104
HSV kategori
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
Konferanse
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
Tilgjengelig fra: 2013-12-17 Laget: 2013-12-16 Sist oppdatert: 2013-12-19bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopus

Personposter BETA

Schmidt, Heinz

Søk i DiVA

Av forfatter/redaktør
Schmidt, Heinz

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

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