896 search results - page 18 / 180 » Stepwise Refinement of Processes |
APAQS
2001
IEEE
14 years 4 days ago
2001
IEEE
With the increasing emphasis on dependability in complex, distributed systems, it is essential that system development can be done gradually and at different levels of detail. In ...
UML
2004
Springer
14 years 1 months ago
2004
Springer
FDL
2003
IEEE
14 years 1 months ago
2003
IEEE
IEEEARES
2006
IEEE
14 years 2 months ago
2006
IEEE
— The security of corporate business processes is crucial for the business success of companies. Existing Business Process Management methodologies barely consider security and d...
ICCS
2005
Springer
14 years 2 months ago
2005
Springer
We describe a visual interactive framework that supports the computation of syntactic unifiers of expressions with variables. Unification is specified via built-in transformatio...