Background. This research group has been working towards building an environment which helps software development, providing support to some activities mainly based on use case mo...
Abstract. Errors in a requirements model have prolonged detrimental effects on reliability, cost, and safety of a software system. It is very costly to fix these errors in later ...
The security policy of an information system may include a wide range of different requirements. The literature has primarily focused on access and information flow control require...
Spatial information requires models which allow us to answer ‘maybe’ to questions asking whether a location lies within a region. At the same time, models must account for data...
Proving termination of, or generating efficient control for Constraint Handling Rules (CHR) programs requires information about the kinds of constraints that can show up in the CHR...