Umeå University's logo

umu.sePublications
EnglishSvenskaNorsk
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
The logic of DSM
Umeå University, Faculty of Science and Technology, Department of Computing Science.ORCID iD: 0000-0003-3965-2834
Umeå University, Faculty of Science and Technology, Department of Computing Science.
South-Eastern Finland University of Applied Sciences, Finland.
Häme University of Applied Sciences, Finland.
2017 (English)In: 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, p. 25-31Conference paper, Published paper (Refereed)
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.
Place, publisher, year, edition, pages
2017. p. 25-31
Keywords [en]
Category theory, Lative Logic, Modules
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:umu:diva-206117Scopus ID: 2-s2.0-85040128440ISBN: 9783000574795 (electronic)OAI: oai:DiVA.org:umu-206117DiVA, id: diva2:1746774
Conference
19th International Dependency and Structure Modeling Conference, DSM 2017, Espoo, Finland, September 11-13, 2017
Available from: 2023-03-29 Created: 2023-03-29 Last updated: 2023-03-29Bibliographically approved

Open Access in DiVA

No full text in DiVA

Scopus

Authority records

Eklund, PatrikJohansson, Mats

Search in DiVA

By author/editor
Eklund, PatrikJohansson, Mats
By organisation
Department of Computing Science
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 232 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
v. 2.47.0
|
WCAG
|
Log in
|
Manuals
|
Contact the Library