Sciweavers

30267 search results - page 48 / 6054
» Process Modelling Languages
Sort
View
126
Voted
UML
2004
Springer
15 years 9 months ago
Automated Verification of UMLsec Models for Security Requirements
Jan Jürjens, Pasha Shabalin
116
Voted
FDL
2003
IEEE
15 years 9 months ago
Combining Formal Refinement and Model Checking for Real-Time Systems Verification
Alexander Krupp, Wolfgang Müller 0003
GIS
1998
ACM
15 years 3 months ago
Natural-Language Spatial Relations Between Linear and Areal Objects: The Topology and Metric of English-Language Terms
Spatial relations are the basis for many selections users perform when they query geographic information systems (GISs). Although such query languages use natural-language-like te...
A. Rashid B. M. Shariff, Max J. Egenhofer, David M...
EDOC
2006
IEEE
15 years 10 months ago
Structural Patterns for Soundness of Business Process Models
The correctness of business process models is of paramount importance for the application on an enterprise level. A severe problem is that several languages for business process m...
Boudewijn F. van Dongen, Jan Mendling, Wil M. P. v...