Multiple Viewpoint Contract-Based Specification and Design View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2008

AUTHORS

Albert Benveniste , Benoît Caillaud , Alberto Ferrari , Leonardo Mangeruca , Roberto Passerone , Christos Sofronis

ABSTRACT

We present the mathematical foundations and the design methodology of the contract-based model developed in the framework of the SPEEDS project. SPEEDS aims at developing methods and tools to support “speculative design”, a design methodology in which distributed designers develop different aspects of the overall system, in a concurrent but controlled way. Our generic mathematical model of contract supports this style of development. This is achieved by focusing on behaviors, by supporting the notion of “rich component” where diverse (functional and non-functional) aspects of the system can be considered and combined, by representing rich components via their set of associated contracts, and by formalizing the whole process of component composition. More... »

PAGES

200-225

Book

TITLE

Formal Methods for Components and Objects

ISBN

978-3-540-92187-5
978-3-540-92188-2

Author Affiliations

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-540-92188-2_9

DOI

http://dx.doi.org/10.1007/978-3-540-92188-2_9

DIMENSIONS

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


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/0102", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Applied Mathematics", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/01", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Mathematical Sciences", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "name": [
            "IRISA / INRIA, Rennes, France"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Benveniste", 
        "givenName": "Albert", 
        "id": "sg:person.011174600625.42", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011174600625.42"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "name": [
            "IRISA / INRIA, Rennes, France"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Caillaud", 
        "givenName": "Beno\u00eet", 
        "id": "sg:person.015010026051.83", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015010026051.83"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "name": [
            "PARADES GEIE, Rome, Italy"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Ferrari", 
        "givenName": "Alberto", 
        "id": "sg:person.016456610211.54", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016456610211.54"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "name": [
            "PARADES GEIE, Rome, Italy"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Mangeruca", 
        "givenName": "Leonardo", 
        "id": "sg:person.014711135607.52", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014711135607.52"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "University of Trento", 
          "id": "https://www.grid.ac/institutes/grid.11696.39", 
          "name": [
            "PARADES GEIE, Rome, Italy", 
            "University of Trento, Trento, Italy"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Passerone", 
        "givenName": "Roberto", 
        "id": "sg:person.011151257535.89", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011151257535.89"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "name": [
            "PARADES GEIE, Rome, Italy"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Sofronis", 
        "givenName": "Christos", 
        "id": "sg:person.015720307705.77", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015720307705.77"
        ], 
        "type": "Person"
      }
    ], 
    "citation": [
      {
        "id": "https://doi.org/10.1145/1176887.1176888", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1001305568"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bfb0036899", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1006361404", 
          "https://doi.org/10.1007/bfb0036899"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-44618-4_16", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1013907533", 
          "https://doi.org/10.1007/3-540-44618-4_16"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-44618-4_16", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1013907533", 
          "https://doi.org/10.1007/3-540-44618-4_16"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/360933.360975", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1027436553"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1006/inco.1999.2820", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1030571893"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-540-45212-6_9", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1034896734", 
          "https://doi.org/10.1007/978-3-540-45212-6_9"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-540-45212-6_9", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1034896734", 
          "https://doi.org/10.1007/978-3-540-45212-6_9"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://app.dimensions.ai/details/publication/pub.1040691928", 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-1-4612-1674-2", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1040691928", 
          "https://doi.org/10.1007/978-1-4612-1674-2"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-1-4612-1674-2", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1040691928", 
          "https://doi.org/10.1007/978-1-4612-1674-2"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0304-3975(85)90028-3", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1044460973"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0304-3975(85)90028-3", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1044460973"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/503209.503226", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1046197469"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/78969.78970", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1046290080"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/828.833", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1048529830"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/1081706.1081713", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1051236705"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/2.161279", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061105103"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/43.736561", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061173935"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/csd.2001.981761", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1094032232"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/acsd.2005.35", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1094870895"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "2008", 
    "datePublishedReg": "2008-01-01", 
    "description": "We present the mathematical foundations and the design methodology of the contract-based model developed in the framework of the SPEEDS project. SPEEDS aims at developing methods and tools to support \u201cspeculative design\u201d, a design methodology in which distributed designers develop different aspects of the overall system, in a concurrent but controlled way. Our generic mathematical model of contract supports this style of development. This is achieved by focusing on behaviors, by supporting the notion of \u201crich component\u201d where diverse (functional and non-functional) aspects of the system can be considered and combined, by representing rich components via their set of associated contracts, and by formalizing the whole process of component composition.", 
    "editor": [
      {
        "familyName": "de Boer", 
        "givenName": "Frank S.", 
        "type": "Person"
      }, 
      {
        "familyName": "Bonsangue", 
        "givenName": "Marcello M.", 
        "type": "Person"
      }, 
      {
        "familyName": "Graf", 
        "givenName": "Susanne", 
        "type": "Person"
      }, 
      {
        "familyName": "de Roever", 
        "givenName": "Willem-Paul", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-540-92188-2_9", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-92187-5", 
        "978-3-540-92188-2"
      ], 
      "name": "Formal Methods for Components and Objects", 
      "type": "Book"
    }, 
    "name": "Multiple Viewpoint Contract-Based Specification and Design", 
    "pagination": "200-225", 
    "productId": [
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-540-92188-2_9"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "94981c6e46f0b9a0acdd9601b91e9bed323d6c8515564055783a9f77e59e8fe0"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1031191561"
        ]
      }
    ], 
    "publisher": {
      "location": "Berlin, Heidelberg", 
      "name": "Springer Berlin Heidelberg", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-540-92188-2_9", 
      "https://app.dimensions.ai/details/publication/pub.1031191561"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-16T06:16", 
    "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/0000000351_0000000351/records_43266_00000000.jsonl", 
    "type": "Chapter", 
    "url": "https://link.springer.com/10.1007%2F978-3-540-92188-2_9"
  }
]
 

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-540-92188-2_9'

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-540-92188-2_9'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-92188-2_9'

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-540-92188-2_9'


 

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

180 TRIPLES      23 PREDICATES      44 URIs      20 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-540-92188-2_9 schema:about anzsrc-for:01
2 anzsrc-for:0102
3 schema:author N02679ee57815417dac09c5ecf6ab8fb3
4 schema:citation sg:pub.10.1007/3-540-44618-4_16
5 sg:pub.10.1007/978-1-4612-1674-2
6 sg:pub.10.1007/978-3-540-45212-6_9
7 sg:pub.10.1007/bfb0036899
8 https://app.dimensions.ai/details/publication/pub.1040691928
9 https://doi.org/10.1006/inco.1999.2820
10 https://doi.org/10.1016/0304-3975(85)90028-3
11 https://doi.org/10.1109/2.161279
12 https://doi.org/10.1109/43.736561
13 https://doi.org/10.1109/acsd.2005.35
14 https://doi.org/10.1109/csd.2001.981761
15 https://doi.org/10.1145/1081706.1081713
16 https://doi.org/10.1145/1176887.1176888
17 https://doi.org/10.1145/360933.360975
18 https://doi.org/10.1145/503209.503226
19 https://doi.org/10.1145/78969.78970
20 https://doi.org/10.1145/828.833
21 schema:datePublished 2008
22 schema:datePublishedReg 2008-01-01
23 schema:description We present the mathematical foundations and the design methodology of the contract-based model developed in the framework of the SPEEDS project. SPEEDS aims at developing methods and tools to support “speculative design”, a design methodology in which distributed designers develop different aspects of the overall system, in a concurrent but controlled way. Our generic mathematical model of contract supports this style of development. This is achieved by focusing on behaviors, by supporting the notion of “rich component” where diverse (functional and non-functional) aspects of the system can be considered and combined, by representing rich components via their set of associated contracts, and by formalizing the whole process of component composition.
24 schema:editor Ncf0128445a0c4ce48b279fe073b6b77b
25 schema:genre chapter
26 schema:inLanguage en
27 schema:isAccessibleForFree false
28 schema:isPartOf N7a58a3bcd7d240328e881e63c7207896
29 schema:name Multiple Viewpoint Contract-Based Specification and Design
30 schema:pagination 200-225
31 schema:productId N372610454a1b42418b1a3fc0c759b9b5
32 N7c596827747a4b81982b1f47d33bd717
33 Nf77763a5b64f45f58d9b2778de4271df
34 schema:publisher Nd5d16489ce1241dbad96c2b30bd776d0
35 schema:sameAs https://app.dimensions.ai/details/publication/pub.1031191561
36 https://doi.org/10.1007/978-3-540-92188-2_9
37 schema:sdDatePublished 2019-04-16T06:16
38 schema:sdLicense https://scigraph.springernature.com/explorer/license/
39 schema:sdPublisher N0fff458706b14bba9568e3f92b21afc3
40 schema:url https://link.springer.com/10.1007%2F978-3-540-92188-2_9
41 sgo:license sg:explorer/license/
42 sgo:sdDataset chapters
43 rdf:type schema:Chapter
44 N02679ee57815417dac09c5ecf6ab8fb3 rdf:first sg:person.011174600625.42
45 rdf:rest N87b0c685efb0480882bdaee0622d4bb3
46 N0fff458706b14bba9568e3f92b21afc3 schema:name Springer Nature - SN SciGraph project
47 rdf:type schema:Organization
48 N1e209c31e45b447dbabea1173cde3385 schema:name IRISA / INRIA, Rennes, France
49 rdf:type schema:Organization
50 N2c73037218c145cfa718b9a86d17afd4 schema:name PARADES GEIE, Rome, Italy
51 rdf:type schema:Organization
52 N372610454a1b42418b1a3fc0c759b9b5 schema:name doi
53 schema:value 10.1007/978-3-540-92188-2_9
54 rdf:type schema:PropertyValue
55 N49690ff6d7f349ffb523e46800b98831 rdf:first sg:person.014711135607.52
56 rdf:rest N725445024bf84b04b8ed70400f2fb869
57 N49a7f889f6e347129dfe5664c551049d schema:familyName Graf
58 schema:givenName Susanne
59 rdf:type schema:Person
60 N4a69fe592d364b90b3bd66740ac349e7 rdf:first sg:person.016456610211.54
61 rdf:rest N49690ff6d7f349ffb523e46800b98831
62 N5d02ddf641044009ac3d4b7155a0af9e schema:name PARADES GEIE, Rome, Italy
63 rdf:type schema:Organization
64 N725445024bf84b04b8ed70400f2fb869 rdf:first sg:person.011151257535.89
65 rdf:rest N7799be4cbb8848558ce1988d17023312
66 N7799be4cbb8848558ce1988d17023312 rdf:first sg:person.015720307705.77
67 rdf:rest rdf:nil
68 N7a58a3bcd7d240328e881e63c7207896 schema:isbn 978-3-540-92187-5
69 978-3-540-92188-2
70 schema:name Formal Methods for Components and Objects
71 rdf:type schema:Book
72 N7c596827747a4b81982b1f47d33bd717 schema:name readcube_id
73 schema:value 94981c6e46f0b9a0acdd9601b91e9bed323d6c8515564055783a9f77e59e8fe0
74 rdf:type schema:PropertyValue
75 N87b0c685efb0480882bdaee0622d4bb3 rdf:first sg:person.015010026051.83
76 rdf:rest N4a69fe592d364b90b3bd66740ac349e7
77 N8cfeda1a977f47d5a4cfd9cf9cca6dfd rdf:first Na206ec7e6cf24719b7ba59b1f3f74ab2
78 rdf:rest Nfab96f5f53b14511a21072eb3491b205
79 Na206ec7e6cf24719b7ba59b1f3f74ab2 schema:familyName Bonsangue
80 schema:givenName Marcello M.
81 rdf:type schema:Person
82 Nae9bb974ff014649b2d58a5254b7a5aa rdf:first Ncf5734c9dda846d2bdab25cddc4f5b90
83 rdf:rest rdf:nil
84 Nbadc25f265914407a5d00a982c3e2865 schema:name IRISA / INRIA, Rennes, France
85 rdf:type schema:Organization
86 Ncf0128445a0c4ce48b279fe073b6b77b rdf:first Nd5a9d2a347494788a85e3058337e236f
87 rdf:rest N8cfeda1a977f47d5a4cfd9cf9cca6dfd
88 Ncf5734c9dda846d2bdab25cddc4f5b90 schema:familyName de Roever
89 schema:givenName Willem-Paul
90 rdf:type schema:Person
91 Nd07c2997572d4560acfe7f4e6ae89ea6 schema:name PARADES GEIE, Rome, Italy
92 rdf:type schema:Organization
93 Nd5a9d2a347494788a85e3058337e236f schema:familyName de Boer
94 schema:givenName Frank S.
95 rdf:type schema:Person
96 Nd5d16489ce1241dbad96c2b30bd776d0 schema:location Berlin, Heidelberg
97 schema:name Springer Berlin Heidelberg
98 rdf:type schema:Organisation
99 Nf77763a5b64f45f58d9b2778de4271df schema:name dimensions_id
100 schema:value pub.1031191561
101 rdf:type schema:PropertyValue
102 Nfab96f5f53b14511a21072eb3491b205 rdf:first N49a7f889f6e347129dfe5664c551049d
103 rdf:rest Nae9bb974ff014649b2d58a5254b7a5aa
104 anzsrc-for:01 schema:inDefinedTermSet anzsrc-for:
105 schema:name Mathematical Sciences
106 rdf:type schema:DefinedTerm
107 anzsrc-for:0102 schema:inDefinedTermSet anzsrc-for:
108 schema:name Applied Mathematics
109 rdf:type schema:DefinedTerm
110 sg:person.011151257535.89 schema:affiliation https://www.grid.ac/institutes/grid.11696.39
111 schema:familyName Passerone
112 schema:givenName Roberto
113 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011151257535.89
114 rdf:type schema:Person
115 sg:person.011174600625.42 schema:affiliation Nbadc25f265914407a5d00a982c3e2865
116 schema:familyName Benveniste
117 schema:givenName Albert
118 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011174600625.42
119 rdf:type schema:Person
120 sg:person.014711135607.52 schema:affiliation N2c73037218c145cfa718b9a86d17afd4
121 schema:familyName Mangeruca
122 schema:givenName Leonardo
123 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014711135607.52
124 rdf:type schema:Person
125 sg:person.015010026051.83 schema:affiliation N1e209c31e45b447dbabea1173cde3385
126 schema:familyName Caillaud
127 schema:givenName Benoît
128 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015010026051.83
129 rdf:type schema:Person
130 sg:person.015720307705.77 schema:affiliation N5d02ddf641044009ac3d4b7155a0af9e
131 schema:familyName Sofronis
132 schema:givenName Christos
133 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015720307705.77
134 rdf:type schema:Person
135 sg:person.016456610211.54 schema:affiliation Nd07c2997572d4560acfe7f4e6ae89ea6
136 schema:familyName Ferrari
137 schema:givenName Alberto
138 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016456610211.54
139 rdf:type schema:Person
140 sg:pub.10.1007/3-540-44618-4_16 schema:sameAs https://app.dimensions.ai/details/publication/pub.1013907533
141 https://doi.org/10.1007/3-540-44618-4_16
142 rdf:type schema:CreativeWork
143 sg:pub.10.1007/978-1-4612-1674-2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1040691928
144 https://doi.org/10.1007/978-1-4612-1674-2
145 rdf:type schema:CreativeWork
146 sg:pub.10.1007/978-3-540-45212-6_9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1034896734
147 https://doi.org/10.1007/978-3-540-45212-6_9
148 rdf:type schema:CreativeWork
149 sg:pub.10.1007/bfb0036899 schema:sameAs https://app.dimensions.ai/details/publication/pub.1006361404
150 https://doi.org/10.1007/bfb0036899
151 rdf:type schema:CreativeWork
152 https://app.dimensions.ai/details/publication/pub.1040691928 schema:CreativeWork
153 https://doi.org/10.1006/inco.1999.2820 schema:sameAs https://app.dimensions.ai/details/publication/pub.1030571893
154 rdf:type schema:CreativeWork
155 https://doi.org/10.1016/0304-3975(85)90028-3 schema:sameAs https://app.dimensions.ai/details/publication/pub.1044460973
156 rdf:type schema:CreativeWork
157 https://doi.org/10.1109/2.161279 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061105103
158 rdf:type schema:CreativeWork
159 https://doi.org/10.1109/43.736561 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061173935
160 rdf:type schema:CreativeWork
161 https://doi.org/10.1109/acsd.2005.35 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094870895
162 rdf:type schema:CreativeWork
163 https://doi.org/10.1109/csd.2001.981761 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094032232
164 rdf:type schema:CreativeWork
165 https://doi.org/10.1145/1081706.1081713 schema:sameAs https://app.dimensions.ai/details/publication/pub.1051236705
166 rdf:type schema:CreativeWork
167 https://doi.org/10.1145/1176887.1176888 schema:sameAs https://app.dimensions.ai/details/publication/pub.1001305568
168 rdf:type schema:CreativeWork
169 https://doi.org/10.1145/360933.360975 schema:sameAs https://app.dimensions.ai/details/publication/pub.1027436553
170 rdf:type schema:CreativeWork
171 https://doi.org/10.1145/503209.503226 schema:sameAs https://app.dimensions.ai/details/publication/pub.1046197469
172 rdf:type schema:CreativeWork
173 https://doi.org/10.1145/78969.78970 schema:sameAs https://app.dimensions.ai/details/publication/pub.1046290080
174 rdf:type schema:CreativeWork
175 https://doi.org/10.1145/828.833 schema:sameAs https://app.dimensions.ai/details/publication/pub.1048529830
176 rdf:type schema:CreativeWork
177 https://www.grid.ac/institutes/grid.11696.39 schema:alternateName University of Trento
178 schema:name PARADES GEIE, Rome, Italy
179 University of Trento, Trento, Italy
180 rdf:type schema:Organization
 




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


...