Alf-Verifier: An Eclipse Plugin for Verifying Alf/UML Executable Models
In this demonstration we present an Eclipse plugin that implements a lightweight method for verifying fine-grained operations at design...
A Web-Based Filtering Engine for Understanding Event Specifications in Large Conceptual Schemas
A complete conceptual schema must include all relevant general static and dynamic aspects of an information system. Event types...
An Eclipse Plugin for Improving the Quality of UML Conceptual Schemas
The development of an information system requires its conceptual schema to be of high quality. Classically, this quality comprises...
Requirement-Driven Creation and Deployment of Multidimensional and ETL Designs
We present our tool, GEM, for assisting designers in the error-prone and time-consuming tasks carried out at the early...
STS-Tool: Using Commitments to Specify Socio-Technical Security Requirements
In this paper, we present STS-Tool, the modelling and analysis support tool for STS-ml, an actor- and goal-oriented security...
Towards Scalable Information Modeling of Requirements Architectures
The amount of data in large-scale software engineering contexts continues to grow and challenges efficiency of software engineering efforts....
Preface to MORE-BI 2012
Read the full paper here: https://link.springer.com/chapter/10.1007/978-3-642-33999-8_18
OLAP-Like Analysis of Time Point-Based Sequential Data
Nowadays business intelligence technologies allow to analyze mainly set oriented data, without considering order dependencies between data. Few approaches...
Multi-dimensional Navigation Modeling Using BI Analysis Graphs
To solve analysis tasks in business intelligence, business analysts frequently apply a step-by-step approach. Using their expert knowledge they...
Ontology Alignment for Semantic Data Integration through Foundational Ontologies
Ontology alignment is the process of finding corresponding entities with the same intended meaning in different ontologies. In scenarios...
