The system FT/sub /spl les// of ordering constraints over feature trees has been introduced as an extension of the system FT of equality constraints over feature trees. We investigate the first-order theory of FT/sub ...
详细信息
The system FT/sub /spl les// of ordering constraints over feature trees has been introduced as an extension of the system FT of equality constraints over feature trees. We investigate the first-order theory of FT/sub /spl les// and its fragments, both over finite trees and over possibly infinite trees. We prove that the first-order theory of FT/sub /spl les// is undecidable, in contrast to the first-order theory of FT which is well-known to be decidable. We determine the complexity of the entailment problem of FT/sub /spl les// with existential quantification to be PSPACE-complete, by proving its equivalence to the inclusion problem of non-deterministic finite automata. Our reduction from the entailment problem to the inclusion problem is based on a new algorithm that, given an existential formula of FT/sub /spl les//, computes a finite automaton which accepts all its logic consequences.
Whereas it is generally acknowledged that code tangling reduces the quality of software and that aspect-oriented programming (AOP) is a means of addressing this problem, there is — as yet — no clear definition or ch...
详细信息
作者：
Smolka, GProgramming Systems Lab
German Research Center for Artificial Intelligence (DFKI) Universität des Saarlandes Geb. 45 Postfach 15 11 50 Saarbüicken D-66041 Germany
This paper introduces an integrated environment for software reliability modeling. The environment consists of three major components: 1) a software reliability modeling tool SMERFS adapted to fit our development envi...
详细信息
ISBN:
(纸本)0818644400
This paper introduces an integrated environment for software reliability modeling. The environment consists of three major components: 1) a software reliability modeling tool SMERFS adapted to fit our development environment;2) a general data analysis environment in S-PLUS customized for software reliability modeling;and 3) some supporting programs written in C and AWK. This environment has been successfully used in the IBM programmingsystems Toronto lab.
暂无评论