H. Li, S. Krishnamurthi, and K. Fisler, "Interfaces for Modular Feature Verification," Proc. Conf. Automated Software Eng., 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
The Road to Utopia: A Future for Generative Programming - Batory (Correct)
....is important work on verifying programs using features. Most properties that are to be preserved in compositions are local properties of features. What you want to do is to prove that feature properties are not violated by composition. I recommend reading the Li, Krishmurthi, and Fisler paper [17] to get a flavor of this important line of work. So is this Utopia No, its on the road. 2.12 Technology Transfer How do we make our concepts accessible to Joe Parallel Programmer , who knows Fortran C MPI Threads and is no so unhappy with these Murray Cole We need to reduce the ....
H.C. Li, S. Krishnamurthi, and K. Fisler, "Interfaces for Modular Feature Verification", Automated Software Engineering Conference 2002, 195-204.
Scaling Step-Wise Refinement - Batory, Sarvela, Rauschmayer (2003) (24 citations) (Correct)
....step wise refinement. 7 Future Work AHEAD raises many interesting questions including: The ability to analyze designs using tools such as model checkers will be critical to future design technologies. How do such tools fit with refinements and AHEAD designs Preliminary results are encouraging [19]. There are many operators on collectives and units, besides the and, operators. javac, for example, is an operator that compiles the Java files in a collective. javadoc is an operator that generates HTML documentation for the Java files in a collective. By equating standard tools with operators ....
H. Li, S. Krishnamurthi, and K. Fisler, "Interfaces for Modular Feature Verification", Conf Automated Software Engineering, 2002.
Verifying Cross-Cutting Features as Open Systems - Li, Krishnamurthi, Fisler (2002) (4 citations) Self-citation (Li Krishnamurthi Fisler) (Correct)
No context found.
H. Li, S. Krishnamurthi, and K. Fisler. Interfaces for modular feature verification. In IEEE International Symposium on Automated Software Engineering, 2002.
Scaling Step-Wise Refinement - Batory, Sarvela, Rauschmayer (2004) (24 citations) (Correct)
No context found.
H. Li, S. Krishnamurthi, and K. Fisler, "Interfaces for Modular Feature Verification," Proc. Conf. Automated Software Eng., 2002.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC