95 search results - page 13 / 19 » Formal Support for QVT-Relations with Coloured Petri Nets |
RE
2002
Springer
13 years 7 months ago
2002
Springer
Requirements analysis for an Intrusion Detection System (IDS) involves deriving requirements for the IDS from analysis of the intrusion domain. When the IDS is, as here, a collecti...
APSEC
1997
IEEE
13 years 11 months ago
1997
IEEE
SOFL (Structured-Object-Based-Formal Language) is a formal language and method for practical systems development. As a language, it integrates data ow diagrams, VDM-SL, and Petri ...
VL
1996
IEEE
13 years 11 months ago
1996
IEEE
We describe the object-oriented editor GenEd supporting the design of specifications for visual notations. Prominent features of GenEd are (1) it is generic, i.e. domain-specific ...
SFM
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. As systems become more service oriented and processes increasingly cross organizational boundaries, interaction becomes more important. New technologies support the devel...
BPM
2008
Springer
13 years 9 months ago
2008
Springer
Business Process Redesign (BPR) is a process oriented methodology to improve organizations. Although literature on BPR is available in abundance, little concrete support on how to ...