Sciweavers

133 search results - page 7 / 27
» A new approach to fuzzy goal programming
Sort
View
ATAL
2006
Springer
14 years 5 days ago
Goal-oriented modularity in agent programming
Modularization is widely recognized as a central issue in software engineering. In this paper we address the issue of modularization in cognitive agent programming languages. We d...
M. Birna van Riemsdijk, Mehdi Dastani, John-Jules ...
AAAI
2008
13 years 10 months ago
Credulous Resolution for Answer Set Programming
The paper presents a calculus based on resolution for credulous reasoning in Answer Set Programming. The new approach allows a top-down and goal directed resolution, in the same s...
Piero A. Bonatti, Enrico Pontelli, Tran Cao Son
KDD
2003
ACM
205views Data Mining» more  KDD 2003»
14 years 8 months ago
The data mining approach to automated software testing
In today's industry, the design of software tests is mostly based on the testers' expertise, while test automation tools are limited to execution of pre-planned tests on...
Mark Last, Menahem Friedman, Abraham Kandel
ER
2009
Springer
130views Database» more  ER 2009»
14 years 3 months ago
Designing Law-Compliant Software Requirements
New laws, such as HIPAA and SOX, are increasingly impacting the design of software systems, as business organisations strive to comply. This paper studies the problem of generating...
Alberto Siena, John Mylopoulos, Anna Perini, Angel...
IWPC
2000
IEEE
14 years 24 days ago
Requirements for an Elucidative Programming Environment
The main goal with this paper is to motivate and coin a variation of literate programming which we call elucidative programming. Elucidative programming is oriented towards progra...
Kurt Nørmark