ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
17
views
0
references
Top references
cited by
4
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
5,066
similar
All similar
Record
: found
Abstract
: not found
Conference Proceedings
: not found
Querying UML Models using OCL and Prolog: A Performance Study
proceedings-article
Author(s):
Joanna Chimiak_Opoka
,
Michael Felderer
,
Chris Lenz
,
Christian Lange
Publication date
(Print):
2008
Publisher:
IEEE
Conference name:
2008 IEEE International Conference on Software Testing Verification and Validation Workshop
Conference date:
May 9, 2008 - May 11, 2008
Read this article at
ScienceOpen
Publisher
Review
Review article
Invite someone to review
Bookmark
Cite as...
There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
iGEM
Author and article information
Conference
Publisher:
IEEE
Publication date:
April 2008
Publication date (Print):
2008
Pages
: 81-88
Article
DOI:
10.1109/ICSTW.2008.33
SO-VID:
86641ae1-d8d9-430a-b55f-79db5fe836f9
Copyright ©
© 2008
Conference name:
2008 IEEE International Conference on Software Testing Verification and Validation Workshop
Conference location:
Lillehammer, Norway
Conference date:
May 9, 2008 - May 11, 2008
History
ScienceOpen disciplines:
Quantitative & Systems biology
,
Biophysics
Data availability:
ScienceOpen disciplines:
Quantitative & Systems biology
,
Biophysics
Comments
Comment on this article
Sign in to comment
scite_
Similar content
5,066
Thermodynamics of OHgX, XHgOH, XHgOCl, XHgOBr, and HOHgY Gaseous Oxidized Mercury Molecules from Isodesmic, Isogyric, and Atomization Work Reactions (X = Halogen, Y = OH, OCl, OBr)
Authors:
Francisco Guzman
,
Joseph Bozzelli
From UML/OCL to SBVR specifications: A challenging transformation
Authors:
Jordi Cabot
,
Raquel Pau
,
Ruth Raventós
Oxidative cleavage of α-diols, α-diones, α-hydroxy-ketones and α-hydroxy- and α-keto acids with calcium hypochlorite [Ca(OCl)2].
Authors:
Philip M. Keehn
,
Stephen Nwaukwa
See all similar
Cited by
4
OCLLib, OCLUnit, OCLDoc: Pragmatic Extensions for the Object Constraint Language
Authors:
Joanna Chimiak-Opoka
Querying UML Class Diagrams
Authors:
Andrea Cali
,
Georg Gottlob
,
Giorgio Orsi
…
A Model Transformation Language Based on Logic Programming
Authors:
Jesús M. Almendros-Jiménez
,
Luis Iribarne
See all cited by