mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • 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
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 (English)In: CompArch'11 - Proceedings of the 2011 Federated Events on Component-Based Software Engineering and Software Architecture - QoSA+ISARCS'11, 2011, p. 95-104Conference paper, Published paper (Refereed)
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 ( ...

Place, publisher, year, edition, pages
2011. p. 95-104
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:mdh:diva-23645DOI: 10.1145/2000259.2000276Scopus ID: 2-s2.0-79960551839ISBN: 781450307246 (print)OAI: oai:DiVA.org:mdh-23645DiVA, id: diva2:680081
Conference
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
Available from: 2013-12-17 Created: 2013-12-16 Last updated: 2013-12-19Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Schmidt, Heinz

Search in DiVA

By author/editor
Schmidt, Heinz
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 12 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • 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