home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / pdx / general / 1326 < prev    next >
Encoding:
Internet Message Format  |  1992-11-10  |  2.2 KB

  1. Xref: sparky pdx.general:1326 or.general:706
  2. Path: sparky!uunet!ogicse!pdxgate!polaris.cs.pdx.edu!li
  3. From: li@polaris.cs.pdx.edu (Jingke Li)
  4. Newsgroups: pdx.general,or.general
  5. Subject: PSU Computer Science Colloquium
  6. Message-ID: <6299@pdxgate.UUCP>
  7. Date: 10 Nov 92 18:52:15 GMT
  8. Article-I.D.: pdxgate.6299
  9. Sender: news@pdxgate.UUCP
  10. Reply-To: li@polaris.cs.pdx.edu (Jingke Li)
  11. Distribution: pdx
  12. Organization: Computer Science Dept., Portland State University, Portland, OR
  13. Lines: 42
  14.  
  15.  
  16.            PSU Computer Science Colloquium
  17.                    ===============================
  18.  
  19.  
  20.             Monday, November 16, 1992, 4PM
  21.            -------------------------------
  22.            SBA 290, SW 6th and SW Harrison
  23.           (For parking info, call 725-4036)
  24.  
  25.  
  26.            TOOLS FOR SPECIFICATION AND DEVELOPMENT
  27.  
  28.                   James Hook
  29.            Pacific Software Research Center
  30.               Oregon Graduate Institute
  31.  
  32.  
  33. ABSTRACT: 
  34. Starting from the premise that current approaches to software
  35. development are deficient because they produce unreliable and
  36. unmaintainable software systems with virtually no reusable components,
  37. the talk outlines a new approach to software development being
  38. explored by the Pacific Software Research Center.  This approach
  39. includes tools for formal specification, automatic generation of
  40. program components, partial evaluation, and program transformation.
  41. The talk will discuss the tools we have now and outline how they need
  42. to be integrated to achieve our vision of the future.
  43.  
  44. BIOGRAPHY:
  45. James Hook began his undergraduate education at Willamette University.
  46. After two years, he transferred to the University of Washington, where
  47. he received the degree of Bachelor of Science with distinction in
  48. Computer Science in 1980.  He received his Ph.D. from Cornell
  49. University in 1988.  His thesis was titled "Abstract Types and
  50. Dependence in Programming Languages"; it was supervised by Alan
  51. Demers.  Dr. Hook has worked at Bell Laboratories in Murray Hill, New
  52. Jersey, and at Odyssey Research in Ithaca, New York.  He has had
  53. extended visits to the University of Edinburgh and the Xerox Palo Alto
  54. Research Center.  He joined the faculty at Oregon Graduate Institute
  55. in 1989, where he is currently an Assistant Professor in the Computer
  56. Science and Engineering department.
  57.