While past research in answer-set programming (ASP) mainly focused on theory, ASP solver technology, and applications, the present work situates itself in the context of a quite recent research trend: development support for ASP. In particular, we propose to augment answer-set programs with additional meta-information formulated in a dedicated annotation language, called LANA. This language all...


 The purpose of this study was to determine (1) the effectiveness zakat, infaq and alms (ZIS) distribution program in form scholarships, (2) challenges faced distributing funds program, (3) efforts made overcoming attacks scholarship program. Data collection used method documentation semi-structured interviews. results indicate that level fund scholarships is ineffective category, because...

background:     objective:     method     the results were reported in ratios (%) averages and standard deviation. t-test was used to examine the association of length of stay and records data adequacy scores. data was analysed by the spss software   data was analysed by the spss software data was analysed by the spss software results:     conclusion:     key words     : documentation , medical...

In this paper, we review experiences with programs to support the deployment of photovoltaics (PV) in new, market-rate homes, drawing upon interviews with program managers around the country, project data, and publiclyavailable documentation on program design, impacts, and experiences. We focus on state clean energy funds, which have been established in 14 U.S. states to build markets for clean...

SUMMARY Amino acid residues are under various kinds of local environmental restraints, which influence substitution patterns. Ulla,(1) a program for calculating environment-specific substitution tables, reads protein sequence alignments and local environment annotations. The program produces a substitution table for every possible combination of environment features. Sparse data is handled usin...

We used literate programming on a team project to write a 33,000line program for the Synthesizer Generator. The program, Penelope, was written using WEB, a tool designed for writing literate programs. Unlike other WEB programs, many of which have been written by WEB's developer or by individuals, Penelope was not intended to be published. We used WEB in the hope that both our team and its nal p...

The scope of software visualization tools which exist for the navigation, analysis and presentation of software information varies widely. One class of tools, which we refer to as software exploration tools, provide graphical representations of software structures linked to textual views of the program source code and documentation. This paper describes a hierarchy of cognitive issues which sho...

This paper describes our experiences with our software visualization tools for web-based visualization of remotely executing object-oriented software. The motivation of this work is to allow developers to browse web-based software repositories to explore existing code components and frameworks by creating visual documentation. Components are test driven to capture their static and run-time info...