Sciweavers

1700 search results - page 255 / 340
» Specifying and implementing refactorings
Sort
View
CASCON
2006
107views Education» more  CASCON 2006»
15 years 7 months ago
Tailoring UML activities to use case modeling for web application development
UML activity models (activities, for short) have become widely accepted for specifying the dynamic behavior of use cases. For an adequate specification of use cases in the context...
Alexander Lorenz, Hans-Werner Six
FORTE
2004
15 years 7 months ago
A Temporal Logic Based Framework for Intrusion Detection
Abstract. We propose a framework for intrusion detection that is based on runtime monitoring of temporal logic specifications. We specify intrusion patterns as formulas in an expre...
Prasad Naldurg, Koushik Sen, Prasanna Thati
IADIS
2004
15 years 7 months ago
A Generic Framework for Assessment in Adaptive Educational Hypermedia
An important concern in web based educational environment is the task of designing and preparing learner assessment, which would enhance the learning process. Currently the majori...
Lilia Cheniti-Belcadhi, Rafik Braham, Nicola Henze...
EUMAS
2006
15 years 7 months ago
Goal-Oriented Agent Patterns with the PRACTIONIST Framework
When developing BDI agent-based systems, some design patterns such as incompatible intentions, multiple strategies, intention decomposition, etc. would be very useful for specifyi...
Vito Morreale, Giuseppe Francaviglia, Fabio Centin...
EUROPLOP
2006
15 years 7 months ago
Meta-Specification and Cataloging of Software Patterns with Domain Specific Languages and Adaptive Object Models
Writing patterns is a very important task for leveraging knowledge within an organization or in the software engineering community as a whole. Patterns are more than text, diagram...
León Welicki, Juan Manuel Cueva Lovelle, Lu...