Umeå universitets logga

umu.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
The logic of DSM
Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.ORCID-id: 0000-0003-3965-2834
Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
South-Eastern Finland University of Applied Sciences, Finland.
Häme University of Applied Sciences, Finland.
2017 (Engelska)Ingår i: Understand, Innovate, and Manage your Complex System!: Proceedings of the 19th International DSM Conference / [ed] Katja Hölttä-Otto; Tyson R. Browning; Steven D. Eppinger; Lucía Becerril, 2017, s. 25-31Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

In this paper we propose a logical enrichment DSM so that design structure is described in a logical language rather than as an unstructured relation. We further show how DSM potentially can embrace languages and notations that support modelling of information and process.

Ort, förlag, år, upplaga, sidor
2017. s. 25-31
Nyckelord [en]
Category theory, Lative Logic, Modules
Nationell ämneskategori
Datavetenskap (datalogi)
Identifikatorer
URN: urn:nbn:se:umu:diva-206117Scopus ID: 2-s2.0-85040128440ISBN: 9783000574795 (digital)OAI: oai:DiVA.org:umu-206117DiVA, id: diva2:1746774
Konferens
19th International Dependency and Structure Modeling Conference, DSM 2017, Espoo, Finland, September 11-13, 2017
Tillgänglig från: 2023-03-29 Skapad: 2023-03-29 Senast uppdaterad: 2023-03-29Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Scopus

Person

Eklund, PatrikJohansson, Mats

Sök vidare i DiVA

Av författaren/redaktören
Eklund, PatrikJohansson, Mats
Av organisationen
Institutionen för datavetenskap
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetricpoäng

isbn
urn-nbn
Totalt: 263 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf