4919 search results - page 121 / 984 » A Process-Ontological Model for Software Engineering |
SEKE
1992
Springer
15 years 2 months ago
1992
Springer
The current state of traditional software development is surveyed and essential problems are investigated on the basis of system theoretical considerations. The concept of optimis...
COMPSAC
2008
IEEE
15 years 4 months ago
2008
IEEE
Research shows that most agent-based collaborations suffer from lack of flexibility. This is due to the fact that most agent-based applications assume pre-defined knowledge of age...
COMPSAC
2000
IEEE
15 years 2 months ago
2000
IEEE
Scenario analysis is a vehicle of separating concerns in the elicitation of users' requirements. It is also a means of requirements validation and verification. In the practi...
KBSE
2007
IEEE
15 years 4 months ago
2007
IEEE
We describe EUREKA, a symbolic model checker for Linear Programs with arrays, i.e. programs where variables and array elements range over a numeric domain and expressions involve ...
RE
2002
Springer
14 years 9 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...