Sciweavers

2027 search results - page 184 / 406
» Process Support for Tools Interoperability
Sort
View
CAISE
2007
Springer
15 years 8 months ago
Negotiating Models
We investigate the process of collaborative modeling by analyzing conversations and loud thinking during modeling sessions and the resulting models themselves. We discovered the ba...
Peter Rittgen
QEST
2007
IEEE
15 years 9 months ago
The PEPA Plug-in Project
We present a GUI-based tool supporting the stochastic process algebra PEPA with modules for performance evaluation through Markovian steady-state analysis, fluid flow analysis, ...
Mirco Tribastone
110
Voted
ICSM
2005
IEEE
15 years 8 months ago
Toward Documentation of Program Evolution
The documentation of a program often falls behind the evolution of the program source files. When this happens it may be attractive to shift the documentation mode from updating ...
Thomas Vestdam, Kurt Nørmark
133
Voted
ITS
2000
Springer
108views Multimedia» more  ITS 2000»
15 years 6 months ago
Is What You Write What You Get?: An Operational Model of Training Scenario
To meet the needs for large-scale, high-quality learning contents, needless to say, we have to sharpen authoring tools. Authoring process can be roughly divided into two phases, a ...
Yusuke Hayashi, Mitsuru Ikeda, Kazuhisa Seta, Osam...
116
Voted
CAISE
2006
Springer
15 years 6 months ago
Modelling and Verifying of e-Commerce Systems
Static function hierarchies and models of the dynamic behaviour are typically used in e-commerce systems. Issues to be verifies are the completeness and correctness of the static f...
Andreas Speck