2232 search results - page 115 / 447 » Formal Modeling and Analysis of Organizations |
189
click to vote
MODELS
2010
Springer
15 years 4 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...
153
click to vote
ICSE
2004
IEEE-ACM
16 years 6 months ago
2004
IEEE-ACM
Caring for security at requirements engineering time is a message that has finally received some attention recently. However, it is not yet very clear how to achieve this systemat...
189
click to vote
HICSS
2007
IEEE
16 years 24 days ago
2007
IEEE
Many organizations pursue knowledge management (KM) initiatives, with different degrees of success. One key aspect of KM often neglected in practice is that it not only concerns t...
215
click to vote
ROOM
2000
15 years 7 months ago
2000
We describe a language which can be used to model business processes (both technical and nontechnical). It has a formal semantics, so as to enable formal analysis and prediction o...
146
click to vote
ECBS
2006
IEEE
16 years 15 days ago
2006
IEEE
The Adviser Portal (AP) is a new IT system for 15 Danish banks. The main goal of AP is to increase the efficiency and quality of bank advisers’ work. Requirements engineering fo...