346 search results - page 44 / 70 » COMA: A Tool for Collaborative Modeling |
118
Voted
BPM
2008
Springer
15 years 2 months ago
2008
Springer
The need to involve business users in process modeling is largely perceived in the context of Business Process Management systems. This can facilitate the elaboration of consistent...
129
Voted
JOT
2010
14 years 11 months ago
2010
Nowadays, UML is considered to be the standardized language for object-oriented modeling and analysis. However, UML cannot be used for automatic analyses and simulation. In this pa...
121
click to vote
MODELS
2010
Springer
14 years 11 months ago
2010
Springer
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...
110
Voted
UML
2000
Springer
15 years 4 months ago
2000
Springer
User interfaces (UIs) are essential components of most software systems, and significantly affect the effectiveness of installed applications. In addition, UIs often represent a s...
118
Voted
ECIR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Social tagging systems provide methods for users to categorise resources using their own choice of keywords (or "tags") without being bound to a restrictive set...