Quality Dependencies Among Use Case Models and Sequence Diagrams Developed by Novice Systems Analysts
Capturing and representing information systems requirements using quality artifacts is an important step in successful systems development process. Better...
Role and Request Based Conceptual Modeling – A Methodology and a CASE Tool
This paper contains a brief description of the R2M (Role and Request Modeling) method and its supporting visual modeling...
M-BPSec: A Method for Security Requirement Elicitation from a UML 2.0 Business Process Specification
The early attainment of requirements in a software development process allows us to improve the quality of the product....
AutoMed Model Management
Model ManagementMM is a way of raising the level of abstraction in metadata intensive application areas. The key idea...
Applying Model Transformation By-Example on Business Process Modeling Languages
Model transformations are playing a vital role in the field of model engineering. However, for non-trivial transformation issues most...
QUINST: A Metamodeling Tool
We present a metamodeling tool to support a modeling methodology which we have succesfully applied in the field of...
Extending OCL to Ensure Model Transformations
Effective use of model transformations in a MDA development relies on complex model generation scenarios. Their correct realizations require...
An Implementation of a Query Language with Generalized Quantifiers
Read the full paper here: https://link.springer.com/chapter/10.1007/978-3-540-87877-3_54
Preface to CMLSA 2007
Read the full paper here: https://link.springer.com/chapter/10.1007/978-3-540-76292-8_1
Pattern Recognition of Single-Molecule Force Spectroscopy Data
Motivation: Misfolding of membrane proteins plays an important role in many human diseases such as retinitis pigmentosa, hereditary deafness,...





