miun.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
From First-Order Logic to Automated Word Generation for Lyee
Mittuniversitetet, Fakulteten för naturvetenskap, teknik och medier, Institutionen för informationsteknologi och medier.ORCID-id: 0000-0002-0665-1889
Vise andre og tillknytning
2003 (engelsk)Inngår i: Knowledge-Based Systems, ISSN 0950-7051, Vol. 16, nr 7/8, s. 249-262Artikkel i tidsskrift (Fagfellevurdert) Published
Abstract [en]

A conceptual schema can be viewed as a language to describe the phenomena in a system to be modelled, i.e. a set of derivation rules and integrity constraints as well as a set of event-rules describing the behaviour of an object system. In this paper, we investigate the relationship between the Lyee software requirements concepts with various constructs in conceptual modelling. Within our work we choose the Unified Modelling Language (UML) as a modelling notation for explaining conceptual models. The result obtained models a fully expressive set of UML and First Order Logic constructs mapped into Lyee concepts.

sted, utgiver, år, opplag, sider
2003. Vol. 16, nr 7/8, s. 249-262
HSV kategori
Identifikatorer
URN: urn:nbn:se:miun:diva-1628DOI: 10.1016/j.knosys.2003.08.009Lokal ID: 596OAI: oai:DiVA.org:miun-1628DiVA, id: diva2:26660
Tilgjengelig fra: 2008-09-30 Laget: 2008-09-30 Sist oppdatert: 2018-01-12bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekst

Personposter BETA

Ekenberg, Love

Søk i DiVA

Av forfatter/redaktør
Ekenberg, Love
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric

doi
urn-nbn
Totalt: 120 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf