📄 http:^^www.ics.uci.edu^~artreyes^index.html
字号:
Date: Thu, 21 Nov 1996 22:51:20 GMT
Server: Apache/1.0.5
Content-type: text/html
Content-length: 5525
Last-modified: Tue, 08 Oct 1996 18:57:10 GMT
<HTML><head><title> Arthur Alexander Reyes</title></head><body><h1> Arthur Alexander Reyes </h1><i> </i><br><!WA0><A HREF="http://www.ics.uci.edu/~artreyes/Multimedia/Images/poohgang_small.gif"><!WA1><img src="http://www.ics.uci.edu/~artreyes/Multimedia/Images/poohgang_small.gif"></A><ul><LI> Area: <!WA2><A HREF="http://www.ics.uci.edu/~taylor/software/soft.html">Software</A><LI> Advisor: <!WA3><A HREF="http://www.ics.uci.edu/~djr">Debra Jane Richardson</A><LI><!WA4><A HREF="mailto:artreyes@ics.uci.edu"> Electronic Mail: artreyes@ics.uci.edu</A></ul><H2> Research Area: </H2><P>DOMAIN THEORY EVOLUTION <P>A domain theory is a formal representation of application domainknowledge with declarative semantics. A domain theory is representedby an algebraic specification. A domain theory can serve as anorganizational centerpiece in a domain-oriented software developmentenvironment, providing a collection of languages for specifying andimplementing application programs within the domain, along with axiomsproviding semantics for those languages. <P>As the application domain itself evolves with the adoption of newtechnologies, obsolescence of old technologies, and extension ofsoftware artifacts, the domain theory must evolve in parallel. If thedomain theory does not evolve in parallel, there is a risk that thetools which rely on the domain theory will become obsolete. Becausedomain theories are mathematical objects, it may be impossible fordomain experts to evolve the domain theory without significanttraining in knowledge representation and artificial intelligence. Suchtraining may not be practical. Hence knowledge engineers, whoinitially constructed the domain theory in consultation with domainexperts, may become a bottleneck in the evolution of the domaintheory. <P>The discipline of knowledge acquisition has sought to provide domainexperts with tools by which they can evolve domain models(distinguished from domain theories by not having the requirement fordeclarative semantics) without assistance from knowledgeengineers. The discipline of algebraic specification has sought toprovide mechanisms to structure formal objects in a manner independentof the syntax and semantics of the languages used to represent thoseobjects. <P>Domain Theory Evolution is the application of algebraic specificationresearch results to the problems of knowledge acquisition. Thisapplication has illuminated the space of possible ways in which domaintheories can be evolved and consequently shown how existing knowledgeacquisition tools address only tiny portions of that space. Researchin domain theory evolution seeks to establish a synergy between thedisciplines of knowledge acquisition and algebraic specification. Itis hoped that this synergy will lead to the discover of powerful andinteresting new tools for knowledge acquisition. <P>This work takes place within the context of the <!WA5><AHREF="http://ic-www.arc.nasa.gov/ic/projects/amphion">AmphionProject</A>.<H2>Publications:</H2>Arthur A. Reyes, "<!WA6><AHREF="http://www.ics.uci.edu/~artreyes/papers/CSS96/Text/proceedings.ps">AnApproach to Automatic Generation of Domain Theories from Intuitive,Semiformal Domain Models</A>" <I>Proceedings of the California SoftwareSymposium CSS'96</I>, W. Scacchi & R. Taylor, eds., 17 April 1996,University of Southern California, Los Angeles, CA. USC Center forSoftware Engineering, UCI Irvine Research Unit in Software. <P>David R. Britton, Jr., Arthur A. Reyes,"<!WA7><AHREF="http://www.ics.uci.edu/~artreyes/Mosaic_report/Mosaic_report.ps">DiscoveringUsability Improvements for Mosaic: Application of The ContextualInquiry Technique with an Expert User</A>," <I>Second InternationalWorld-Wide Web Conference: Mosaic and the Web</I>, Chicago, IL, USA, 17-20Oct. 1994.<!WA8><AHREF="http://www.ics.uci.edu/~artreyes/Mosaic_report/Mosaic_report.html">(HTMLversion)</A><H2>Other Writings:</H2><P>Arthur A. Reyes, "<!WA9><AHREF="http://www.ics.uci.edu/TR/UCI:ICS-TR-95-23?abstract">StructuringLanguages as Algebraic Specifications: A Framework for MultilingualSystem Representation</A>," 23 June 1995, University ofCalifornia-Irvine, Department of Information and Computer ScienceTechnical Report 95-23. <P>Arthur A. Reyes, "<!WA10><AHREF="http://www.ics.uci.edu/~artreyes/papers/courses/ics280-1993-w-term-paper-implementing-testing-theory.ps.Z">AMethodology to Implement Gourlay's Mathematical Framework for theInvestigation of Testing</A>," University of California-Irvine,Department of Information and Computer Science, Course ICS280F<I>Specification-Based Testing and Analysis Techniques</I>, ProfessorDebra J. Richardson, Winter Quarter 1993.<!--<H2> Technical Abilities: </H2><UL><LI> Abstract algebra<LI> logic and proof systems<LI> automated deduction<LI> Z specification language</UL><H2> Super Powers: </H2><UL><LI> Establishing life priorities<LI> Accomplishing significant personal goals<LI> Raising kids<LI> Cutting expenses<LI> Breaking software<LI> And a teensy little bit about computers (just enough to get this information here)</UL><H2> Other Interests: </H2><UL><LI> Aerospace<LI> Electric/hybrid road vehicles<LI> Nanotechnology<LI> Cold fusion<LI> Making people laugh<LI> Eating (especially ANIMAL PRODUCTS)<LI> And other high-demand career fields</UL>--><HR><ADDRESS> <!WA11><A HREF="http://www.ics.uci.edu/"> Department of Information and Computer Science</A>, <BR>University of California, Irvine CA 92717-3425</ADDRESS></BODY></HTML>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -