Division of Informatics
Forrest Hill & 80 South Bridge
|
Please note that only papers and publications recorded in this departments database are shown here. An author may have many other papers and publications produced while working elsewhere which are not listed here. This page does not therefore represent a definitive list of this authors work. | ||
Chapter in Edited Book | ||
| CB915 | 1995 Chapter in Edited Book | Funk,P; Robertson,DS |
|---|---|---|
| Case-Based Support for the Design of Dynamic System Requirements | ||
MSc Thesis | ||
| MT93113 | 1993 MSc Thesis | Funk,P |
| Development and Maintenance of Large Formal Specifications Supported by Case-Based Reasoning | ||
Paper in Conference Proceedings | ||
| PP726 | 1994 Paper in Conference Proceedings | Funk,P; Robertson,DS |
| Case-Based Selection of Requirements Specification for Telecommunication Systems | ||
Research Paper | ||
| RP698 | 1994 Research Paper | Funk,P; Robertson,DS |
| Case-Based Selection of Requirements Specifications for Telecommunication Systems | ||
Technical Paper | ||
| TP26 | 1993 Technical Paper | Funk,P |
| Development and Maintenance of Large Formal Specifications Supported by Case-Based Reasoning | ||
![[Search These Pages]](http://www.dai.ed.ac.uk/icons/dai_search.gif){kind=icon}
![[DAI Home Page]](http://www.dai.ed.ac.uk/icons/dai_home.gif){kind=icon}
![[Comment]](http://www.dai.ed.ac.uk/icons/dai_comment.gif){kind=icon}