Sciweavers

5718 search results - page 55 / 1144
» Modeling Rule Precision
Sort
View
ICSE
1993
IEEE-ACM
15 years 6 months ago
Rule-Based Approach to Computing Module Cohesion
Stevens, Myers, and Constantine introduced the notion of cohesion, an ordinal scale of seven levels that describes the degree to which the actions performed by a module contribute...
Arun Lakhotia
MOMM
2009
ACM
163views Communications» more  MOMM 2009»
15 years 7 months ago
Aspect-oriented modeling of adaptive web applications with HiLA
Modeling adaptivity is a challenging task for two reasons: 1) adaptation is usually strongly interwoven with the general functionality of the web application, separation of concer...
Gefei Zhang
105
Voted
APAL
2007
78views more  APAL 2007»
15 years 2 months ago
Partial Horn logic and cartesian categories
A logic is developed in which function symbols are allowed to represent partial functions. It has the usual rules of logic (in the form of a sequent calculus) except that the subs...
Erik Palmgren, Steven J. Vickers
99
Voted
ERSHOV
2006
Springer
15 years 6 months ago
Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method
In the equivalent transformation (ET) computation model, a specification provides background knowledge in a problem domain, a program is a set of prioritized rewriting rules, and c...
Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu K...
RULEML
2010
Springer
15 years 24 days ago
Visualizing Logical Dependencies in SWRL Rule Bases
Rule bases are common in many business rule applications, clinical decision support programs, and other types of intelligent systems. As the size of the rule bases grows and the in...
Saeed Hassanpour, Martin J. O'Connor, Amar K. Das