Sciweavers

1368 search results - page 163 / 274
» Recursive modules for programming
Sort
View
AGP
2003
IEEE
14 years 2 months ago
Solving Hard Disjunctive Logic Programs Faster (Sometimes)
Disjunctive Logic Programming (DLP) under the consistent answer set semantics is an advanced formalism for knowledge representation and reasoning. It is, under widely believed assu...
Gerald Pfeifer
ISSRE
2010
IEEE
13 years 7 months ago
The Impact of Coupling on the Fault-Proneness of Aspect-Oriented Programs: An Empirical Study
—Coupling in software applications is often used as an indicator of external quality attributes such as fault-proneness. In fact, the correlation of coupling metrics and faults i...
Rachel Burrows, Fabiano Cutigi Ferrari, Otá...
EMSOFT
2011
Springer
12 years 9 months ago
Model-checking behavioral programs
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
David Harel, Robby Lampert, Assaf Marron, Gera Wei...
WWW
2005
ACM
14 years 10 months ago
Using XForms to simplify Web programming
The difficulty of developing and deploying commercial web applications increases as the number of technologies they use increases and as the interactions between these technologie...
Richard Cardone, Danny Soroker, Alpana Tiwari
AOSD
2007
ACM
14 years 1 months ago
Using natural language program analysis to locate and understand action-oriented concerns
Most current software systems contain undocumented high-level ideas implemented across multiple files and modules. When developers perform program maintenance tasks, they often wa...
David Shepherd, Zachary P. Fry, Emily Hill, Lori L...