2274 search results - page 319 / 455 » Qualitative Modeling for Requirements Engineering |
177
click to vote
KCAP
2003
ACM
15 years 11 months ago
2003
ACM
OntoWeaver is our conceptual modelling methodology and a tool that support the specification and implementation of customized web applications. It relies on a number of different ...
155
click to vote
SACMAT
2010
ACM
15 years 11 months ago
2010
ACM
The role-based access control (RBAC) has significantly simplified the management of users and permissions in computing systems. In dynamic environments, systems are usually unde...
166
click to vote
DAWAK
2007
Springer
16 years 18 days ago
2007
Springer
The emerging area of business process intelligence aims at enhancing the analysis power of business process management systems by employing data warehousing and mining technologies...
136
click to vote
SEW
2006
IEEE
16 years 13 days ago
2006
IEEE
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...
174
click to vote
ICFEM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...