Towards Software Performance by Construction View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2018-10-29

AUTHORS

Mirco Tribastone

ABSTRACT

Performance is an important extra-functional factor that directly impacts on the quality of a software system as perceived by its users. It indicates how well the software behaves, thus complementing functional properties that concern what the software does. Its ever-increasing relevance cannot be underestimated.

PAGES

466-470

References to SciGraph publications

  • 2007. Stochastic Process Algebras in FORMAL METHODS FOR PERFORMANCE EVALUATION
  • 2011. PRISM 4.0: Verification of Probabilistic Real-Time Systems in COMPUTER AIDED VERIFICATION
  • 2014. Family-Based Performance Analysis of Variant-Rich Software Systems in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING
  • Book

    TITLE

    Leveraging Applications of Formal Methods, Verification and Validation. Modeling

    ISBN

    978-3-030-03417-7
    978-3-030-03418-4

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/978-3-030-03418-4_27

    DOI

    http://dx.doi.org/10.1007/978-3-030-03418-4_27

    DIMENSIONS

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


    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": "IMT Institute for Advanced Studies Lucca", 
              "id": "https://www.grid.ac/institutes/grid.462365.0", 
              "name": [
                "IMT School for Advanced Studies, Lucca, Italy"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Tribastone", 
            "givenName": "Mirco", 
            "id": "sg:person.012051311303.91", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012051311303.91"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "https://doi.org/10.1145/2897053.2897060", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1000221940"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-72522-0_4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1004899784", 
              "https://doi.org/10.1007/978-3-540-72522-0_4"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.peva.2015.07.005", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1013158217"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/190.191", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1016344131"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/2580950", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1021821418"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.ic.2016.01.004", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1027852812"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-22110-1_47", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1027900693", 
              "https://doi.org/10.1007/978-3-642-22110-1_47"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-22110-1_47", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1027900693", 
              "https://doi.org/10.1007/978-3-642-22110-1_47"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-54804-8_7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1044143547", 
              "https://doi.org/10.1007/978-3-642-54804-8_7"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/1811039.1811041", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1046733571"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/1383559.1383569", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1049571051"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/ms.2003.1231150", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061420338"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/tac.2015.2457172", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061479663"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/tse.2004.9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061788426"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/tse.2008.74", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061788711"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/tse.2012.66", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061788988"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/3030207.3030208", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1085048338"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/dsn.2016.34", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1093645274"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/fose.2007.32", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1094758900"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/icse.2013.6606639", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1094925148"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/ase.2015.16", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1095304870"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/qest.2008.18", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1095305422"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.jss.2018.01.010", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1100270010"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/mascots.2018.00040", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1109821336"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2018-10-29", 
        "datePublishedReg": "2018-10-29", 
        "description": "Performance is an important extra-functional factor that directly impacts on the quality of a software system as perceived by its users. It indicates how well the software behaves, thus complementing functional properties that concern what the software does. Its ever-increasing relevance cannot be underestimated.", 
        "editor": [
          {
            "familyName": "Margaria", 
            "givenName": "Tiziana", 
            "type": "Person"
          }, 
          {
            "familyName": "Steffen", 
            "givenName": "Bernhard", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/978-3-030-03418-4_27", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isPartOf": {
          "isbn": [
            "978-3-030-03417-7", 
            "978-3-030-03418-4"
          ], 
          "name": "Leveraging Applications of Formal Methods, Verification and Validation. Modeling", 
          "type": "Book"
        }, 
        "name": "Towards Software Performance by Construction", 
        "pagination": "466-470", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/978-3-030-03418-4_27"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "4224d825815bb6086e590de6b2b2719d63209e15ea0b1244548549053ca95c98"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1107888530"
            ]
          }
        ], 
        "publisher": {
          "location": "Cham", 
          "name": "Springer International Publishing", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/978-3-030-03418-4_27", 
          "https://app.dimensions.ai/details/publication/pub.1107888530"
        ], 
        "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-03418-4_27"
      }
    ]
     

    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-03418-4_27'

    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-03418-4_27'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-030-03418-4_27'

    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-03418-4_27'


     

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

    142 TRIPLES      23 PREDICATES      49 URIs      19 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/978-3-030-03418-4_27 schema:about anzsrc-for:08
    2 anzsrc-for:0803
    3 schema:author N4e58e994be924bcf90bd9ab99d41fd25
    4 schema:citation sg:pub.10.1007/978-3-540-72522-0_4
    5 sg:pub.10.1007/978-3-642-22110-1_47
    6 sg:pub.10.1007/978-3-642-54804-8_7
    7 https://doi.org/10.1016/j.ic.2016.01.004
    8 https://doi.org/10.1016/j.jss.2018.01.010
    9 https://doi.org/10.1016/j.peva.2015.07.005
    10 https://doi.org/10.1109/ase.2015.16
    11 https://doi.org/10.1109/dsn.2016.34
    12 https://doi.org/10.1109/fose.2007.32
    13 https://doi.org/10.1109/icse.2013.6606639
    14 https://doi.org/10.1109/mascots.2018.00040
    15 https://doi.org/10.1109/ms.2003.1231150
    16 https://doi.org/10.1109/qest.2008.18
    17 https://doi.org/10.1109/tac.2015.2457172
    18 https://doi.org/10.1109/tse.2004.9
    19 https://doi.org/10.1109/tse.2008.74
    20 https://doi.org/10.1109/tse.2012.66
    21 https://doi.org/10.1145/1383559.1383569
    22 https://doi.org/10.1145/1811039.1811041
    23 https://doi.org/10.1145/190.191
    24 https://doi.org/10.1145/2580950
    25 https://doi.org/10.1145/2897053.2897060
    26 https://doi.org/10.1145/3030207.3030208
    27 schema:datePublished 2018-10-29
    28 schema:datePublishedReg 2018-10-29
    29 schema:description Performance is an important extra-functional factor that directly impacts on the quality of a software system as perceived by its users. It indicates how well the software behaves, thus complementing functional properties that concern what the software does. Its ever-increasing relevance cannot be underestimated.
    30 schema:editor N4aefb4fe12104e809419e409d64b2c4b
    31 schema:genre chapter
    32 schema:inLanguage en
    33 schema:isAccessibleForFree false
    34 schema:isPartOf N49cb9dda1f9441208072ef5c9f58e8f4
    35 schema:name Towards Software Performance by Construction
    36 schema:pagination 466-470
    37 schema:productId N31d07e63622e4beca19a1456138c8690
    38 N4e7d4a622f3f46868462d702eb5927d7
    39 N951ac9acf5af4c3585a0a8583330b071
    40 schema:publisher N834395da409c4225be70d633c94abf9e
    41 schema:sameAs https://app.dimensions.ai/details/publication/pub.1107888530
    42 https://doi.org/10.1007/978-3-030-03418-4_27
    43 schema:sdDatePublished 2019-04-16T04:40
    44 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    45 schema:sdPublisher N04fdb76fadf440e7959e02c27afb6ae7
    46 schema:url https://link.springer.com/10.1007%2F978-3-030-03418-4_27
    47 sgo:license sg:explorer/license/
    48 sgo:sdDataset chapters
    49 rdf:type schema:Chapter
    50 N04fdb76fadf440e7959e02c27afb6ae7 schema:name Springer Nature - SN SciGraph project
    51 rdf:type schema:Organization
    52 N31d07e63622e4beca19a1456138c8690 schema:name doi
    53 schema:value 10.1007/978-3-030-03418-4_27
    54 rdf:type schema:PropertyValue
    55 N49cb9dda1f9441208072ef5c9f58e8f4 schema:isbn 978-3-030-03417-7
    56 978-3-030-03418-4
    57 schema:name Leveraging Applications of Formal Methods, Verification and Validation. Modeling
    58 rdf:type schema:Book
    59 N4aefb4fe12104e809419e409d64b2c4b rdf:first Nba58ec3f3980433690aa00e8962bc181
    60 rdf:rest N5aefdd42e33843c3ba864b8e06f32ec5
    61 N4e58e994be924bcf90bd9ab99d41fd25 rdf:first sg:person.012051311303.91
    62 rdf:rest rdf:nil
    63 N4e7d4a622f3f46868462d702eb5927d7 schema:name readcube_id
    64 schema:value 4224d825815bb6086e590de6b2b2719d63209e15ea0b1244548549053ca95c98
    65 rdf:type schema:PropertyValue
    66 N5aefdd42e33843c3ba864b8e06f32ec5 rdf:first Nb7c6d0e2897f413292d68cf303a60d28
    67 rdf:rest rdf:nil
    68 N834395da409c4225be70d633c94abf9e schema:location Cham
    69 schema:name Springer International Publishing
    70 rdf:type schema:Organisation
    71 N951ac9acf5af4c3585a0a8583330b071 schema:name dimensions_id
    72 schema:value pub.1107888530
    73 rdf:type schema:PropertyValue
    74 Nb7c6d0e2897f413292d68cf303a60d28 schema:familyName Steffen
    75 schema:givenName Bernhard
    76 rdf:type schema:Person
    77 Nba58ec3f3980433690aa00e8962bc181 schema:familyName Margaria
    78 schema:givenName Tiziana
    79 rdf:type schema:Person
    80 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    81 schema:name Information and Computing Sciences
    82 rdf:type schema:DefinedTerm
    83 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
    84 schema:name Computer Software
    85 rdf:type schema:DefinedTerm
    86 sg:person.012051311303.91 schema:affiliation https://www.grid.ac/institutes/grid.462365.0
    87 schema:familyName Tribastone
    88 schema:givenName Mirco
    89 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012051311303.91
    90 rdf:type schema:Person
    91 sg:pub.10.1007/978-3-540-72522-0_4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1004899784
    92 https://doi.org/10.1007/978-3-540-72522-0_4
    93 rdf:type schema:CreativeWork
    94 sg:pub.10.1007/978-3-642-22110-1_47 schema:sameAs https://app.dimensions.ai/details/publication/pub.1027900693
    95 https://doi.org/10.1007/978-3-642-22110-1_47
    96 rdf:type schema:CreativeWork
    97 sg:pub.10.1007/978-3-642-54804-8_7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1044143547
    98 https://doi.org/10.1007/978-3-642-54804-8_7
    99 rdf:type schema:CreativeWork
    100 https://doi.org/10.1016/j.ic.2016.01.004 schema:sameAs https://app.dimensions.ai/details/publication/pub.1027852812
    101 rdf:type schema:CreativeWork
    102 https://doi.org/10.1016/j.jss.2018.01.010 schema:sameAs https://app.dimensions.ai/details/publication/pub.1100270010
    103 rdf:type schema:CreativeWork
    104 https://doi.org/10.1016/j.peva.2015.07.005 schema:sameAs https://app.dimensions.ai/details/publication/pub.1013158217
    105 rdf:type schema:CreativeWork
    106 https://doi.org/10.1109/ase.2015.16 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095304870
    107 rdf:type schema:CreativeWork
    108 https://doi.org/10.1109/dsn.2016.34 schema:sameAs https://app.dimensions.ai/details/publication/pub.1093645274
    109 rdf:type schema:CreativeWork
    110 https://doi.org/10.1109/fose.2007.32 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094758900
    111 rdf:type schema:CreativeWork
    112 https://doi.org/10.1109/icse.2013.6606639 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094925148
    113 rdf:type schema:CreativeWork
    114 https://doi.org/10.1109/mascots.2018.00040 schema:sameAs https://app.dimensions.ai/details/publication/pub.1109821336
    115 rdf:type schema:CreativeWork
    116 https://doi.org/10.1109/ms.2003.1231150 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061420338
    117 rdf:type schema:CreativeWork
    118 https://doi.org/10.1109/qest.2008.18 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095305422
    119 rdf:type schema:CreativeWork
    120 https://doi.org/10.1109/tac.2015.2457172 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061479663
    121 rdf:type schema:CreativeWork
    122 https://doi.org/10.1109/tse.2004.9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061788426
    123 rdf:type schema:CreativeWork
    124 https://doi.org/10.1109/tse.2008.74 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061788711
    125 rdf:type schema:CreativeWork
    126 https://doi.org/10.1109/tse.2012.66 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061788988
    127 rdf:type schema:CreativeWork
    128 https://doi.org/10.1145/1383559.1383569 schema:sameAs https://app.dimensions.ai/details/publication/pub.1049571051
    129 rdf:type schema:CreativeWork
    130 https://doi.org/10.1145/1811039.1811041 schema:sameAs https://app.dimensions.ai/details/publication/pub.1046733571
    131 rdf:type schema:CreativeWork
    132 https://doi.org/10.1145/190.191 schema:sameAs https://app.dimensions.ai/details/publication/pub.1016344131
    133 rdf:type schema:CreativeWork
    134 https://doi.org/10.1145/2580950 schema:sameAs https://app.dimensions.ai/details/publication/pub.1021821418
    135 rdf:type schema:CreativeWork
    136 https://doi.org/10.1145/2897053.2897060 schema:sameAs https://app.dimensions.ai/details/publication/pub.1000221940
    137 rdf:type schema:CreativeWork
    138 https://doi.org/10.1145/3030207.3030208 schema:sameAs https://app.dimensions.ai/details/publication/pub.1085048338
    139 rdf:type schema:CreativeWork
    140 https://www.grid.ac/institutes/grid.462365.0 schema:alternateName IMT Institute for Advanced Studies Lucca
    141 schema:name IMT School for Advanced Studies, Lucca, Italy
    142 rdf:type schema:Organization
     




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


    ...