826 search results - page 70 / 166 » A Pragmatic Approach to Formalizing Object-Oriented Modeling... |
APSEC
2007
IEEE
14 years 5 days ago
2007
IEEE
It is difficult to adopt a simulation technology for simulating a software process because of the difficulty in developing a simulation model. In order to resolve the difficulty, ...
SEFM
2008
IEEE
14 years 2 months ago
2008
IEEE
Formal models of rational user behaviour are essential for user-centred reasoning about interactive systems. At an level, planned behaviour and reactive behaviour are two importan...
DATAMINE
2006
13 years 8 months ago
2006
Effective information systems require the existence of explicit process models. A completely specified process design needs to be developed in order to enact a given business proce...
RE
2001
Springer
14 years 18 days ago
2001
Springer
An essential type of “evidence”of the correctness of the requirements formalization process can be provided by human-based calculation. Human calculation can be significantly ...
DEXAW
2003
IEEE
14 years 1 months ago
2003
IEEE
A challenging task in security engineering concerns the specification and integration of security with other requirements at the top level of requirements engineering. Empirical ...