Many software applications have a component based on database management systems in which information is generally handled through SQL queries embedded in the application code. Wh...
We propose a novel testing approach that combines information from UML sequence models and state machine models. Current approaches that rely solely on sequence models do not cons...
This article presents an experience report on using MERODE as the business modeling method for the development of a web application. MERODE has several advantages as improving the...
Despite several research studies, the effective analysis of policy based systems remains a significant challenge. Policy analysis should at least (i) be expressive (ii) take accou...
Robert Craven, Jorge Lobo, Jiefei Ma, Alessandra R...
Web search engines consistently collect information about users interaction with the system: they record the query they issued, the URL of presented and selected documents along w...