Sciweavers

6253 search results - page 325 / 1251
» Use Case Modeling Guidelines
Sort
View
ER
2000
Springer
134views Database» more  ER 2000»
15 years 7 months ago
Data Warehouse Scenarios for Model Management
Model management is a framework for supporting meta-data related applications where models and mappings are manipulated as first class objects using operations such as Match, Merge...
Philip A. Bernstein, Erhard Rahm
CASE
2011
102views more  CASE 2011»
14 years 4 months ago
Towards an automated verification process for industrial safety applications
— Legacy systems that do not conform to the norms and regulations imposed by recent safety standards have to be upgraded to meet safety requirements. In this paper, we describe a...
Kleanthis Thramboulidis, Doaa Soliman, Georg Frey
129
Voted
AIED
2005
Springer
15 years 9 months ago
Generating Reports of Graphical Modelling Processes for Authoring and Presentation
Today's computer supported modelling environments could provide much more information about the users’ actions and problem solving processes than they usually store for late...
Lars Bollen
FORTE
2004
15 years 5 months ago
Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing
Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaust...
Antonio Bucchiarone, Henry Muccini, Patrizio Pelli...
DAIS
2009
15 years 5 months ago
D-Praxis : A Peer-to-Peer Collaborative Model Editing Framework
Large-scale industrial systems involve nowadays hundreds of developers working on hundreds of models representing parts of the whole system specification. Unfortunately, few tool s...
Alix Mougenot, Xavier Blanc, Marie-Pierre Gervais