Sciweavers

2232 search results - page 5 / 447
» Formal Modeling and Analysis of Organizations
Sort
View
SAS
1998
Springer
13 years 11 months ago
Program Analysis as Model Checking of Abstract Interpretations
David A. Schmidt, Bernhard Steffen
FMSD
2011
236views Formal Methods» more  FMSD 2011»
12 years 11 months ago
Automatic analysis of DMA races using model checking and k-induction
Alastair F. Donaldson, Daniel Kroening, Philipp R&...
ER
2007
Springer
237views Database» more  ER 2007»
14 years 1 months ago
Business Process and Business Rule Modeling Languages for Compliance Management: A Representational Analysis
Organizations are under increasing scrutiny to document their compliance to regulatory requirements. To this end, they have to formally document their operating procedures to supp...
Michael zur Muehlen, Marta Indulska, Gerrit Kamp
CMOT
2007
87views more  CMOT 2007»
13 years 7 months ago
Modeling centralized organization of organizational change
Organizations change with the dynamics of the world. To enable organizations to change, certain structures and capabilities are needed. As all processes, a change process has an or...
Mark Hoogendoorn, Catholijn M. Jonker, Martijn C. ...