Reasoning about UML/OCL class diagrams using constraint logic programming and formula
Year of publication
2019
Authors
Beatriz Pérez; Ivan Porres Paltor
Organizations and authors
Åbo Akademi University
Porres Paltor Ivan 
Publication type
Publication format
Article
Parent publication type
Journal
Article type
Data article
Audience
ScientificPeer-reviewed
Peer-ReviewedMINEDU's publication type classification code
A1 Journal article (refereed), original researchPublication channel information
Journal/Series
Volume
81
Pages
152–177
ISSN
Publication forum
Publication forum level
2
Open access
Open access in the publisher’s service
No
Self-archived
No
Other information
Fields of science
Computer and information sciences
Internationality of the publisher
International
International co-publication
Yes
Co-publication with a company
No
DOI
10.1016/j.is.2018.08.005
The publication is included in the Ministry of Education and Culture’s Publication data collection
Yes