International Journal on Software Tools for Technology Transfer View Homepage


Ontology type: schema:Periodical     


Journal Info

START YEAR

1997

PUBLISHER

Springer Berlin Heidelberg

LANGUAGE

en

HOMEPAGE

https://link.springer.com/journal/10009

Recent publications latest 20 shown

  • 2022-05-02 Envelopes and waves: safe multivehicle collision avoidance for horizontal non-deterministic turns
  • 2022-04-21 Formal verification of OIL component specifications using mCRL2
  • 2022-04-11 Formal modeling and verification for amplification timing anomalies in the superscalar TriCore architecture
  • 2022-04-10 Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods
  • 2022-04-07 Approximate verification of concurrent systems using token structures and invariants
  • 2022-04-05 DFT modeling approach for operational risk assessment of railway infrastructure
  • 2022-04-05 Temporal-logic query checking over finite data streams
  • 2022-04-04 Formal methods and tools for industrial critical systems
  • 2022-04-01 DivSIM , an interactive simulator for LLVM bitcode
  • 2022-03-30 Verifiable strategy synthesis for multiple autonomous agents: a scalable approach
  • 2022-03-15 Learning of behavioural models and dependency graphs for communicating systems with CkTailv2
  • 2022-03-03 Generating test as a web service (TaaWS) through a method-based attribute grammar
  • 2022-02-26 Parameterized verification of systems with component identities, using view abstraction
  • 2022-02-21 Correction to: Reliable benchmarking: requirements and solutions
  • 2022-02-18 Software test results exploration and visualization with continuous integration and nightly testing
  • 2022-02-04 Interface control document modeling with Citrus (avionics systems interfaces)
  • 2022-02-03 Supporting safe metamodel evolution with edelta
  • 2022-02-02 CESRBDDs: binary decision diagrams with complemented edges and edge-specified reductions
  • 2022-01-21 SaBRe: load-time selective binary rewriting
  • 2021-10-01 Correction to: How to model and prove hybrid systems with KeYmaera: a tutorial on safety
  • 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", 
        "contentRating": [
          {
            "author": "snip", 
            "ratingValue": "1.4420000314712524", 
            "type": "Rating"
          }, 
          {
            "author": "sjr", 
            "ratingValue": "0.3970000147819519", 
            "type": "Rating"
          }
        ], 
        "description": "

    The International Journal on Software Tools for Technology Transfer (STTT) provides a forum discussing all aspects of tools that aid in the development of computer systems. In particular, it offers a tool-oriented link between academic research and industrial practice.

    STTT publishes accessible papers that introduce researchers and practitioners to state-of-the-art tools and techniques. It channels comments, queries, and feedback on tools and papers to its Online Forum, publishing highlights electronically. It enables even non-experts to experiment with the integrated tools via the Electronic Tool Integration (ETI) platform. STTT addresses a heterogeneous audience, emphasizing clear, jargon-free exposition.

    STTT focuses on three major technical themes: construction and analysis issues; practicality issues; and generic tool issues.

    ", "editor": [ { "familyName": "Steffen", "givenName": "Bernhard", "type": "Person" } ], "id": "sg:journal.1052641", "inLanguage": [ "en" ], "isAccessibleForFree": false, "issn": [ "1433-2779", "1433-2787" ], "license": "Hybrid", "name": "International Journal on Software Tools for Technology Transfer", "productId": [ { "name": "dimensions_id", "type": "PropertyValue", "value": [ "52641" ] }, { "name": "lccn_id", "type": "PropertyValue", "value": [ "2009223276" ] }, { "name": "nlm_unique_id", "type": "PropertyValue", "value": [ "101670423" ] }, { "name": "nsd_ids_id", "type": "PropertyValue", "value": [ "442072" ] }, { "name": "era_ids_id", "type": "PropertyValue", "value": [ "18130" ] } ], "publisher": { "name": "Springer Berlin Heidelberg", "type": "Organization" }, "publisherImprint": "Springer", "sameAs": [ "https://app.dimensions.ai/discover/publication?and_facet_source_title=jour.1052641" ], "sdDataset": "journals", "sdDatePublished": "2022-06-01T22:39", "sdLicense": "https://scigraph.springernature.com/explorer/license/", "sdPublisher": { "name": "Springer Nature - SN SciGraph project", "type": "Organization" }, "sdSource": "s3://com-springernature-scigraph/baseset/20220601/entities/gbq_results/journal/journal_0.jsonl", "startYear": "1997", "type": "Periodical", "url": "https://link.springer.com/journal/10009" } ]
     

    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/journal.1052641'

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

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/journal.1052641'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/journal.1052641'

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

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/journal.1052641'


     

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

    60 TRIPLES      20 PREDICATES      27 URIs      23 LITERALS      10 BLANK NODES

    Subject Predicate Object
    1 sg:journal.1052641 schema:contentRating N146c075868304f0989b77a583aed2057
    2 Nb8bf02b7b96445d48efc85cbf4482848
    3 schema:description <p>The International Journal on Software Tools for Technology Transfer (STTT) provides a forum discussing all aspects of tools that aid in the development of computer systems. In particular, it offers a tool-oriented link between academic research and industrial practice.</p><p>STTT publishes accessible papers that introduce researchers and practitioners to state-of-the-art tools and techniques. It channels comments, queries, and feedback on tools and papers to its Online Forum, publishing highlights electronically. It enables even non-experts to experiment with the integrated tools via the Electronic Tool Integration (ETI) platform. STTT addresses a heterogeneous audience, emphasizing clear, jargon-free exposition. </p><p>STTT focuses on three major technical themes: construction and analysis issues; practicality issues; and generic tool issues.</p>
    4 schema:editor N6215311b388949bb814e907cecb2b776
    5 schema:inLanguage en
    6 schema:isAccessibleForFree false
    7 schema:issn 1433-2779
    8 1433-2787
    9 schema:license Hybrid
    10 schema:name International Journal on Software Tools for Technology Transfer
    11 schema:productId N3364344225ee494eb57bbe8bec989652
    12 N387b45777d784a1692ea2b9751e5ae19
    13 N52445bdaf92a43e894224c19b7de7739
    14 N82539364ccd74d8db92ffc95e4d0e9eb
    15 Nc3c0e35c5647475394f08fd4e2492d46
    16 schema:publisher Nd30bf4d7b33c49f9a2cb4e678723e48b
    17 schema:publisherImprint Springer
    18 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_source_title=jour.1052641
    19 schema:sdDatePublished 2022-06-01T22:39
    20 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    21 schema:sdPublisher Ncd2f573262be4dd8bc72b7d01d2c70f8
    22 schema:startYear 1997
    23 schema:url https://link.springer.com/journal/10009
    24 sgo:license sg:explorer/license/
    25 sgo:sdDataset journals
    26 rdf:type schema:Periodical
    27 N146c075868304f0989b77a583aed2057 schema:author N2d345eda148e45f1b6e393d8d8f4d838
    28 schema:ratingValue 1.4420000314712524
    29 rdf:type schema:Rating
    30 N2d345eda148e45f1b6e393d8d8f4d838 rdf:first snip
    31 rdf:rest rdf:nil
    32 N3364344225ee494eb57bbe8bec989652 schema:name nlm_unique_id
    33 schema:value 101670423
    34 rdf:type schema:PropertyValue
    35 N387b45777d784a1692ea2b9751e5ae19 schema:name dimensions_id
    36 schema:value 52641
    37 rdf:type schema:PropertyValue
    38 N38e78c3a5d1a414aa626c8602d65148f rdf:first sjr
    39 rdf:rest rdf:nil
    40 N52445bdaf92a43e894224c19b7de7739 schema:name era_ids_id
    41 schema:value 18130
    42 rdf:type schema:PropertyValue
    43 N6215311b388949bb814e907cecb2b776 rdf:first N88b86db80a0840e198c93d5457d1a0d5
    44 rdf:rest rdf:nil
    45 N82539364ccd74d8db92ffc95e4d0e9eb schema:name lccn_id
    46 schema:value 2009223276
    47 rdf:type schema:PropertyValue
    48 N88b86db80a0840e198c93d5457d1a0d5 schema:familyName Steffen
    49 schema:givenName Bernhard
    50 rdf:type schema:Person
    51 Nb8bf02b7b96445d48efc85cbf4482848 schema:author N38e78c3a5d1a414aa626c8602d65148f
    52 schema:ratingValue 0.3970000147819519
    53 rdf:type schema:Rating
    54 Nc3c0e35c5647475394f08fd4e2492d46 schema:name nsd_ids_id
    55 schema:value 442072
    56 rdf:type schema:PropertyValue
    57 Ncd2f573262be4dd8bc72b7d01d2c70f8 schema:name Springer Nature - SN SciGraph project
    58 rdf:type schema:Organization
    59 Nd30bf4d7b33c49f9a2cb4e678723e48b schema:name Springer Berlin Heidelberg
    60 rdf:type schema:Organization
     




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


    ...