Sciweavers

128 search results - page 5 / 26
» AceRules: Executing Rules in Controlled Natural Language
Sort
View
FDL
2005
IEEE
14 years 2 months ago
Executable Specification of Novel Display Controllers
To address performance limitations and expand their applications range, emerging and mature display technologies rely on the design of novel display controllers. Under current mod...
David Antonio-Torres, Paul F. Newbury, Paul F. Lis...
MDAFA
2004
Springer
111views Hardware» more  MDAFA 2004»
14 years 1 months ago
Model Transformation Language MOLA
The paper describes a new graphical model transformation language MOLA. The basic idea of MOLA is to merge traditional structured programming as a control structure with pattern-ba...
Audris Kalnins, Janis Barzdins, Edgars Celms
JLP
2006
111views more  JLP 2006»
13 years 8 months ago
Executable structural operational semantics in Maude
This paper describes in detail how to bridge the gap between theory and practice when implementing in Maude structural operational semantics described in rewriting logic, where tr...
Alberto Verdejo, Narciso Martí-Oliet
SAC
2010
ACM
14 years 1 months ago
Of mice and terms: clustering algorithms on ambiguous terms in folksonomies
Developed using the principles of the Model-View-Controller architectural pattern, FolksEngine is a parametric search engine for folksonomies that allows us to test arbitrary sear...
Nicola Raffaele Di Matteo, Silvio Peroni, Fabio Ta...
ESEM
2007
ACM
14 years 13 days ago
An Estimation Model for Test Execution Effort
It is important for test managers to be able to estimate the effort required to execute the test suites requested by development teams, as well to estimate its capacity for attend...
Eduardo Aranha, Paulo Borba