Adapting Quality Assurance to Adaptive Systems: The Scenario Coevolution Paradigm View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2018-10-31

AUTHORS

Thomas Gabor , Marie Kiermeier , Andreas Sedlmeier , Bernhard Kempter , Cornel Klein , Horst Sauer , Reiner Schmid , Jan Wieghardt

ABSTRACT

From formal and practical analysis, we identify new challenges that self-adaptive systems pose to the process of quality assurance. When tackling these, the effort spent on various tasks in the process of software engineering is naturally re-distributed. We claim that all steps related to testing need to become self-adaptive to match the capabilities of the self-adaptive system-under-test. Otherwise, the adaptive system’s behavior might elude traditional variants of quality assurance. We thus propose the paradigm of scenario coevolution, which describes a pool of test cases and other constraints on system behavior that evolves in parallel to the (in part autonomous) development of behavior in the system-under-test. Scenario coevolution offers a simple structure for the organization of adaptive testing that allows for both human-controlled and autonomous intervention, supporting software engineering for adaptive systems on a procedural as well as technical level. More... »

PAGES

137-154

References to SciGraph publications

  • 2012. A Conceptual Framework for Adaptation in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING
  • 2008. Change-Enabled Software Systems in SOFTWARE-INTENSIVE SYSTEMS AND NEW COMPUTING PARADIGMS
  • 2015. Software Engineering for Collective Autonomic Systems, The ASCENS Approach in NONE
  • 2015. Reasoning and Learning for Awareness and Adaptation in SOFTWARE ENGINEERING FOR COLLECTIVE AUTONOMIC SYSTEMS
  • 2013. Software Engineering Processes for Self-Adaptive Systems in SOFTWARE ENGINEERING FOR SELF-ADAPTIVE SYSTEMS II
  • 2013. Software Engineering for Self-Adaptive Systems: A Second Research Roadmap in SOFTWARE ENGINEERING FOR SELF-ADAPTIVE SYSTEMS II
  • 2011. Towards a System Model for Ensembles in FORMAL MODELING: ACTORS, OPEN SYSTEMS, BIOLOGICAL SYSTEMS
  • 2004. Tools for Self-Organizing Applications Engineering in ENGINEERING SELF-ORGANISING SYSTEMS
  • Book

    TITLE

    Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

    ISBN

    978-3-030-03423-8
    978-3-030-03424-5

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/978-3-030-03424-5_10

    DOI

    http://dx.doi.org/10.1007/978-3-030-03424-5_10

    DIMENSIONS

    https://app.dimensions.ai/details/publication/pub.1107922851


    Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
    Incoming Citations Browse incoming citations for this publication using opencitations.net

    JSON-LD is the canonical representation for SciGraph data.

    TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

    [
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "about": [
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0803", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Computer Software", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Information and Computing Sciences", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "Ludwig Maximilian University of Munich", 
              "id": "https://www.grid.ac/institutes/grid.5252.0", 
              "name": [
                "LMU Munich, Munich, Germany"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Gabor", 
            "givenName": "Thomas", 
            "id": "sg:person.016361124677.30", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016361124677.30"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Ludwig Maximilian University of Munich", 
              "id": "https://www.grid.ac/institutes/grid.5252.0", 
              "name": [
                "LMU Munich, Munich, Germany"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Kiermeier", 
            "givenName": "Marie", 
            "id": "sg:person.011706441506.23", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011706441506.23"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Ludwig Maximilian University of Munich", 
              "id": "https://www.grid.ac/institutes/grid.5252.0", 
              "name": [
                "LMU Munich, Munich, Germany"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Sedlmeier", 
            "givenName": "Andreas", 
            "id": "sg:person.011143300643.47", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011143300643.47"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Siemens (Germany)", 
              "id": "https://www.grid.ac/institutes/grid.5406.7", 
              "name": [
                "Siemens AG, Munich, Germany"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Kempter", 
            "givenName": "Bernhard", 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Siemens (Germany)", 
              "id": "https://www.grid.ac/institutes/grid.5406.7", 
              "name": [
                "Siemens AG, Munich, Germany"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Klein", 
            "givenName": "Cornel", 
            "id": "sg:person.011703301144.52", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011703301144.52"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Siemens (Germany)", 
              "id": "https://www.grid.ac/institutes/grid.5406.7", 
              "name": [
                "Siemens AG, Munich, Germany"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Sauer", 
            "givenName": "Horst", 
            "id": "sg:person.012417107017.43", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012417107017.43"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Siemens (Germany)", 
              "id": "https://www.grid.ac/institutes/grid.5406.7", 
              "name": [
                "Siemens AG, Munich, Germany"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Schmid", 
            "givenName": "Reiner", 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Siemens (Germany)", 
              "id": "https://www.grid.ac/institutes/grid.5406.7", 
              "name": [
                "Siemens AG, Munich, Germany"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Wieghardt", 
            "givenName": "Jan", 
            "id": "sg:person.011352423565.34", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011352423565.34"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/978-3-642-35813-5_3", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1001466256", 
              "https://doi.org/10.1007/978-3-642-35813-5_3"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-28872-2_17", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1001870749", 
              "https://doi.org/10.1007/978-3-642-28872-2_17"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-24701-2_19", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1007604307", 
              "https://doi.org/10.1007/978-3-540-24701-2_19"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/1516533.1516538", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1013997204"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/1321631.1321693", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1016292173"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-35813-5_1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1020512286", 
              "https://doi.org/10.1007/978-3-642-35813-5_1"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/2830719.2830736", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1023579883"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/2480741.2480752", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1026315934"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-89437-7_3", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1026513670", 
              "https://doi.org/10.1007/978-3-540-89437-7_3"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-89437-7_3", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1026513670", 
              "https://doi.org/10.1007/978-3-540-89437-7_3"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/2330667.2330686", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1027288790"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/2897035.2897040", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1034257122"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-319-16310-9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1034573417", 
              "https://doi.org/10.1007/978-3-319-16310-9"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-319-16310-9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1034573417", 
              "https://doi.org/10.1007/978-3-319-16310-9"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-24933-4_12", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1035098854", 
              "https://doi.org/10.1007/978-3-642-24933-4_12"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/2619998", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1040582147"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/1882291.1882296", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1043811380"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-319-16310-9_7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1052583658", 
              "https://doi.org/10.1007/978-3-319-16310-9_7"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/5254.769885", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061186285"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/mc.2003.1160055", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061386719"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/tse.2012.14", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061788954"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/3089649.3089656", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1086008676"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/3089649.3089656", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1086008676"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/seams.2015.10", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1094484384"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/icac.2016.29", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1095399536"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2018-10-31", 
        "datePublishedReg": "2018-10-31", 
        "description": "From formal and practical analysis, we identify new challenges that self-adaptive systems pose to the process of quality assurance. When tackling these, the effort spent on various tasks in the process of software engineering is naturally re-distributed. We claim that all steps related to testing need to become self-adaptive to match the capabilities of the self-adaptive system-under-test. Otherwise, the adaptive system\u2019s behavior might elude traditional variants of quality assurance. We thus propose the paradigm of scenario coevolution, which describes a pool of test cases and other constraints on system behavior that evolves in parallel to the (in part autonomous) development of behavior in the system-under-test. Scenario coevolution offers a simple structure for the organization of adaptive testing that allows for both human-controlled and autonomous intervention, supporting software engineering for adaptive systems on a procedural as well as technical level.", 
        "editor": [
          {
            "familyName": "Margaria", 
            "givenName": "Tiziana", 
            "type": "Person"
          }, 
          {
            "familyName": "Steffen", 
            "givenName": "Bernhard", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/978-3-030-03424-5_10", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isPartOf": {
          "isbn": [
            "978-3-030-03423-8", 
            "978-3-030-03424-5"
          ], 
          "name": "Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems", 
          "type": "Book"
        }, 
        "name": "Adapting Quality Assurance to Adaptive Systems: The Scenario Coevolution Paradigm", 
        "pagination": "137-154", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/978-3-030-03424-5_10"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "f2816567689874aa49ea574f33078d748f75d65a7012e26cc7b2a1d2284edd59"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1107922851"
            ]
          }
        ], 
        "publisher": {
          "location": "Cham", 
          "name": "Springer International Publishing", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/978-3-030-03424-5_10", 
          "https://app.dimensions.ai/details/publication/pub.1107922851"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-16T04:40", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000322_0000000322/records_64988_00000000.jsonl", 
        "type": "Chapter", 
        "url": "https://link.springer.com/10.1007%2F978-3-030-03424-5_10"
      }
    ]
     

    Download the RDF metadata as:  json-ld nt turtle xml License info

    HOW TO GET THIS DATA PROGRAMMATICALLY:

    JSON-LD is a popular format for linked data which is fully compatible with JSON.

    curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/978-3-030-03424-5_10'

    N-Triples is a line-based linked data format ideal for batch operations.

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/978-3-030-03424-5_10'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-030-03424-5_10'

    RDF/XML is a standard XML format for linked data.

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-3-030-03424-5_10'


     

    This table displays all metadata directly associated to this object as RDF triples.

    194 TRIPLES      23 PREDICATES      48 URIs      19 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/978-3-030-03424-5_10 schema:about anzsrc-for:08
    2 anzsrc-for:0803
    3 schema:author N54ad10b8ce1a4614b6f1d1a313c4d091
    4 schema:citation sg:pub.10.1007/978-3-319-16310-9
    5 sg:pub.10.1007/978-3-319-16310-9_7
    6 sg:pub.10.1007/978-3-540-24701-2_19
    7 sg:pub.10.1007/978-3-540-89437-7_3
    8 sg:pub.10.1007/978-3-642-24933-4_12
    9 sg:pub.10.1007/978-3-642-28872-2_17
    10 sg:pub.10.1007/978-3-642-35813-5_1
    11 sg:pub.10.1007/978-3-642-35813-5_3
    12 https://doi.org/10.1109/5254.769885
    13 https://doi.org/10.1109/icac.2016.29
    14 https://doi.org/10.1109/mc.2003.1160055
    15 https://doi.org/10.1109/seams.2015.10
    16 https://doi.org/10.1109/tse.2012.14
    17 https://doi.org/10.1145/1321631.1321693
    18 https://doi.org/10.1145/1516533.1516538
    19 https://doi.org/10.1145/1882291.1882296
    20 https://doi.org/10.1145/2330667.2330686
    21 https://doi.org/10.1145/2480741.2480752
    22 https://doi.org/10.1145/2619998
    23 https://doi.org/10.1145/2830719.2830736
    24 https://doi.org/10.1145/2897035.2897040
    25 https://doi.org/10.1145/3089649.3089656
    26 schema:datePublished 2018-10-31
    27 schema:datePublishedReg 2018-10-31
    28 schema:description From formal and practical analysis, we identify new challenges that self-adaptive systems pose to the process of quality assurance. When tackling these, the effort spent on various tasks in the process of software engineering is naturally re-distributed. We claim that all steps related to testing need to become self-adaptive to match the capabilities of the self-adaptive system-under-test. Otherwise, the adaptive system’s behavior might elude traditional variants of quality assurance. We thus propose the paradigm of scenario coevolution, which describes a pool of test cases and other constraints on system behavior that evolves in parallel to the (in part autonomous) development of behavior in the system-under-test. Scenario coevolution offers a simple structure for the organization of adaptive testing that allows for both human-controlled and autonomous intervention, supporting software engineering for adaptive systems on a procedural as well as technical level.
    29 schema:editor Nf16fd9effaa24fd281ca4d842f1f609d
    30 schema:genre chapter
    31 schema:inLanguage en
    32 schema:isAccessibleForFree false
    33 schema:isPartOf Ndbc1868afdcd4e4c9cb538eefb0baf43
    34 schema:name Adapting Quality Assurance to Adaptive Systems: The Scenario Coevolution Paradigm
    35 schema:pagination 137-154
    36 schema:productId N8f2a18901305477497d3d1da6a0831bd
    37 Nd2002a996290463db1425b0a1e71848a
    38 Nf8bf58afb08b4f2aaa6f99db7f8e2f42
    39 schema:publisher N88d80873b51043638674b98c79d0cb89
    40 schema:sameAs https://app.dimensions.ai/details/publication/pub.1107922851
    41 https://doi.org/10.1007/978-3-030-03424-5_10
    42 schema:sdDatePublished 2019-04-16T04:40
    43 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    44 schema:sdPublisher N88d277c950e043159095c3491173f28e
    45 schema:url https://link.springer.com/10.1007%2F978-3-030-03424-5_10
    46 sgo:license sg:explorer/license/
    47 sgo:sdDataset chapters
    48 rdf:type schema:Chapter
    49 N1fb2cce4080b4ba2afcaf5ad1a56dc9c rdf:first N36570fd6cc8d4ce988f9dc0544132f17
    50 rdf:rest N83d9edc1b01c4cebab412a3a5da930c4
    51 N2cc4605ea7664805a367dde3d076eda2 rdf:first sg:person.012417107017.43
    52 rdf:rest N1fb2cce4080b4ba2afcaf5ad1a56dc9c
    53 N30b25c6db3844b42820fc6494057efba rdf:first N55dbba84c5a0483780efcd71f0dcde97
    54 rdf:rest N8a9149affb184d89b1754c61e6571c06
    55 N36570fd6cc8d4ce988f9dc0544132f17 schema:affiliation https://www.grid.ac/institutes/grid.5406.7
    56 schema:familyName Schmid
    57 schema:givenName Reiner
    58 rdf:type schema:Person
    59 N41f044f35b0649aebbbc0ee64e71e7d1 rdf:first Nf4c408db44d3440488407967336a5128
    60 rdf:rest rdf:nil
    61 N54ad10b8ce1a4614b6f1d1a313c4d091 rdf:first sg:person.016361124677.30
    62 rdf:rest Nabbec428875b436d9a1b259289698dc7
    63 N55dbba84c5a0483780efcd71f0dcde97 schema:affiliation https://www.grid.ac/institutes/grid.5406.7
    64 schema:familyName Kempter
    65 schema:givenName Bernhard
    66 rdf:type schema:Person
    67 N83d9edc1b01c4cebab412a3a5da930c4 rdf:first sg:person.011352423565.34
    68 rdf:rest rdf:nil
    69 N8706bf05beec499f976e5044a5a9e556 rdf:first sg:person.011143300643.47
    70 rdf:rest N30b25c6db3844b42820fc6494057efba
    71 N88d277c950e043159095c3491173f28e schema:name Springer Nature - SN SciGraph project
    72 rdf:type schema:Organization
    73 N88d80873b51043638674b98c79d0cb89 schema:location Cham
    74 schema:name Springer International Publishing
    75 rdf:type schema:Organisation
    76 N8a9149affb184d89b1754c61e6571c06 rdf:first sg:person.011703301144.52
    77 rdf:rest N2cc4605ea7664805a367dde3d076eda2
    78 N8f2a18901305477497d3d1da6a0831bd schema:name readcube_id
    79 schema:value f2816567689874aa49ea574f33078d748f75d65a7012e26cc7b2a1d2284edd59
    80 rdf:type schema:PropertyValue
    81 Nabbec428875b436d9a1b259289698dc7 rdf:first sg:person.011706441506.23
    82 rdf:rest N8706bf05beec499f976e5044a5a9e556
    83 Ncc20a205979e46f3953f006794924b4c schema:familyName Margaria
    84 schema:givenName Tiziana
    85 rdf:type schema:Person
    86 Nd2002a996290463db1425b0a1e71848a schema:name doi
    87 schema:value 10.1007/978-3-030-03424-5_10
    88 rdf:type schema:PropertyValue
    89 Ndbc1868afdcd4e4c9cb538eefb0baf43 schema:isbn 978-3-030-03423-8
    90 978-3-030-03424-5
    91 schema:name Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
    92 rdf:type schema:Book
    93 Nf16fd9effaa24fd281ca4d842f1f609d rdf:first Ncc20a205979e46f3953f006794924b4c
    94 rdf:rest N41f044f35b0649aebbbc0ee64e71e7d1
    95 Nf4c408db44d3440488407967336a5128 schema:familyName Steffen
    96 schema:givenName Bernhard
    97 rdf:type schema:Person
    98 Nf8bf58afb08b4f2aaa6f99db7f8e2f42 schema:name dimensions_id
    99 schema:value pub.1107922851
    100 rdf:type schema:PropertyValue
    101 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    102 schema:name Information and Computing Sciences
    103 rdf:type schema:DefinedTerm
    104 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
    105 schema:name Computer Software
    106 rdf:type schema:DefinedTerm
    107 sg:person.011143300643.47 schema:affiliation https://www.grid.ac/institutes/grid.5252.0
    108 schema:familyName Sedlmeier
    109 schema:givenName Andreas
    110 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011143300643.47
    111 rdf:type schema:Person
    112 sg:person.011352423565.34 schema:affiliation https://www.grid.ac/institutes/grid.5406.7
    113 schema:familyName Wieghardt
    114 schema:givenName Jan
    115 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011352423565.34
    116 rdf:type schema:Person
    117 sg:person.011703301144.52 schema:affiliation https://www.grid.ac/institutes/grid.5406.7
    118 schema:familyName Klein
    119 schema:givenName Cornel
    120 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011703301144.52
    121 rdf:type schema:Person
    122 sg:person.011706441506.23 schema:affiliation https://www.grid.ac/institutes/grid.5252.0
    123 schema:familyName Kiermeier
    124 schema:givenName Marie
    125 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011706441506.23
    126 rdf:type schema:Person
    127 sg:person.012417107017.43 schema:affiliation https://www.grid.ac/institutes/grid.5406.7
    128 schema:familyName Sauer
    129 schema:givenName Horst
    130 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012417107017.43
    131 rdf:type schema:Person
    132 sg:person.016361124677.30 schema:affiliation https://www.grid.ac/institutes/grid.5252.0
    133 schema:familyName Gabor
    134 schema:givenName Thomas
    135 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016361124677.30
    136 rdf:type schema:Person
    137 sg:pub.10.1007/978-3-319-16310-9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1034573417
    138 https://doi.org/10.1007/978-3-319-16310-9
    139 rdf:type schema:CreativeWork
    140 sg:pub.10.1007/978-3-319-16310-9_7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1052583658
    141 https://doi.org/10.1007/978-3-319-16310-9_7
    142 rdf:type schema:CreativeWork
    143 sg:pub.10.1007/978-3-540-24701-2_19 schema:sameAs https://app.dimensions.ai/details/publication/pub.1007604307
    144 https://doi.org/10.1007/978-3-540-24701-2_19
    145 rdf:type schema:CreativeWork
    146 sg:pub.10.1007/978-3-540-89437-7_3 schema:sameAs https://app.dimensions.ai/details/publication/pub.1026513670
    147 https://doi.org/10.1007/978-3-540-89437-7_3
    148 rdf:type schema:CreativeWork
    149 sg:pub.10.1007/978-3-642-24933-4_12 schema:sameAs https://app.dimensions.ai/details/publication/pub.1035098854
    150 https://doi.org/10.1007/978-3-642-24933-4_12
    151 rdf:type schema:CreativeWork
    152 sg:pub.10.1007/978-3-642-28872-2_17 schema:sameAs https://app.dimensions.ai/details/publication/pub.1001870749
    153 https://doi.org/10.1007/978-3-642-28872-2_17
    154 rdf:type schema:CreativeWork
    155 sg:pub.10.1007/978-3-642-35813-5_1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1020512286
    156 https://doi.org/10.1007/978-3-642-35813-5_1
    157 rdf:type schema:CreativeWork
    158 sg:pub.10.1007/978-3-642-35813-5_3 schema:sameAs https://app.dimensions.ai/details/publication/pub.1001466256
    159 https://doi.org/10.1007/978-3-642-35813-5_3
    160 rdf:type schema:CreativeWork
    161 https://doi.org/10.1109/5254.769885 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061186285
    162 rdf:type schema:CreativeWork
    163 https://doi.org/10.1109/icac.2016.29 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095399536
    164 rdf:type schema:CreativeWork
    165 https://doi.org/10.1109/mc.2003.1160055 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061386719
    166 rdf:type schema:CreativeWork
    167 https://doi.org/10.1109/seams.2015.10 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094484384
    168 rdf:type schema:CreativeWork
    169 https://doi.org/10.1109/tse.2012.14 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061788954
    170 rdf:type schema:CreativeWork
    171 https://doi.org/10.1145/1321631.1321693 schema:sameAs https://app.dimensions.ai/details/publication/pub.1016292173
    172 rdf:type schema:CreativeWork
    173 https://doi.org/10.1145/1516533.1516538 schema:sameAs https://app.dimensions.ai/details/publication/pub.1013997204
    174 rdf:type schema:CreativeWork
    175 https://doi.org/10.1145/1882291.1882296 schema:sameAs https://app.dimensions.ai/details/publication/pub.1043811380
    176 rdf:type schema:CreativeWork
    177 https://doi.org/10.1145/2330667.2330686 schema:sameAs https://app.dimensions.ai/details/publication/pub.1027288790
    178 rdf:type schema:CreativeWork
    179 https://doi.org/10.1145/2480741.2480752 schema:sameAs https://app.dimensions.ai/details/publication/pub.1026315934
    180 rdf:type schema:CreativeWork
    181 https://doi.org/10.1145/2619998 schema:sameAs https://app.dimensions.ai/details/publication/pub.1040582147
    182 rdf:type schema:CreativeWork
    183 https://doi.org/10.1145/2830719.2830736 schema:sameAs https://app.dimensions.ai/details/publication/pub.1023579883
    184 rdf:type schema:CreativeWork
    185 https://doi.org/10.1145/2897035.2897040 schema:sameAs https://app.dimensions.ai/details/publication/pub.1034257122
    186 rdf:type schema:CreativeWork
    187 https://doi.org/10.1145/3089649.3089656 schema:sameAs https://app.dimensions.ai/details/publication/pub.1086008676
    188 rdf:type schema:CreativeWork
    189 https://www.grid.ac/institutes/grid.5252.0 schema:alternateName Ludwig Maximilian University of Munich
    190 schema:name LMU Munich, Munich, Germany
    191 rdf:type schema:Organization
    192 https://www.grid.ac/institutes/grid.5406.7 schema:alternateName Siemens (Germany)
    193 schema:name Siemens AG, Munich, Germany
    194 rdf:type schema:Organization
     




    Preview window. Press ESC to close (or click here)


    ...