home *** CD-ROM | disk | FTP | other *** search
- Xref: sparky pdx.general:1326 or.general:706
- Path: sparky!uunet!ogicse!pdxgate!polaris.cs.pdx.edu!li
- From: li@polaris.cs.pdx.edu (Jingke Li)
- Newsgroups: pdx.general,or.general
- Subject: PSU Computer Science Colloquium
- Message-ID: <6299@pdxgate.UUCP>
- Date: 10 Nov 92 18:52:15 GMT
- Article-I.D.: pdxgate.6299
- Sender: news@pdxgate.UUCP
- Reply-To: li@polaris.cs.pdx.edu (Jingke Li)
- Distribution: pdx
- Organization: Computer Science Dept., Portland State University, Portland, OR
- Lines: 42
-
-
- PSU Computer Science Colloquium
- ===============================
-
-
- Monday, November 16, 1992, 4PM
- -------------------------------
- SBA 290, SW 6th and SW Harrison
- (For parking info, call 725-4036)
-
-
- TOOLS FOR SPECIFICATION AND DEVELOPMENT
-
- James Hook
- Pacific Software Research Center
- Oregon Graduate Institute
-
-
- ABSTRACT:
- Starting from the premise that current approaches to software
- development are deficient because they produce unreliable and
- unmaintainable software systems with virtually no reusable components,
- the talk outlines a new approach to software development being
- explored by the Pacific Software Research Center. This approach
- includes tools for formal specification, automatic generation of
- program components, partial evaluation, and program transformation.
- The talk will discuss the tools we have now and outline how they need
- to be integrated to achieve our vision of the future.
-
- BIOGRAPHY:
- James Hook began his undergraduate education at Willamette University.
- After two years, he transferred to the University of Washington, where
- he received the degree of Bachelor of Science with distinction in
- Computer Science in 1980. He received his Ph.D. from Cornell
- University in 1988. His thesis was titled "Abstract Types and
- Dependence in Programming Languages"; it was supervised by Alan
- Demers. Dr. Hook has worked at Bell Laboratories in Murray Hill, New
- Jersey, and at Odyssey Research in Ithaca, New York. He has had
- extended visits to the University of Edinburgh and the Xerox Palo Alto
- Research Center. He joined the faculty at Oregon Graduate Institute
- in 1989, where he is currently an Assistant Professor in the Computer
- Science and Engineering department.
-