Russell, Dan (2001) FAD: A Functional Analysis and Design Methodology. Doctor of Philosophy (PhD) thesis, Computing Laboratory, University of Kent at Canterbury. (KAR id:13634)
PDF
Language: English |
|
Download this file (PDF/3MB) |
![]() |
Postscript
Language: English |
|
Download this file (Postscript/11MB) |
Preview |
Abstract
This thesis presents the functional analysis and design methodology FAD. By functional we mean that it naturally supports software development within the functional programming paradigm (FP). Every popular methodology has a graphical modelling language whcih presents various pictorial representations of a system. FAD's modelling language provides the typical elements of functional programming, types and functions, plus elements to support modular development such as modules, subsystems and two forms of signature which specify and interface or a behavioural requirement. The language also includes relationships and associations between these elements, and provides simple representations of functional designs. The methodology has an integrated set of techniques which guide the development of an implementable solution from the deliverables of requirements engineering. FAD's data dictionary provides an organised repository for entities during and after development. The thesis thus provides a development medium which has hitherto been absent from the functional programming paradigm.
Item Type: | Thesis (Doctor of Philosophy (PhD)) |
---|---|
Uncontrolled keywords: | functional programming, software engineering, design, analysis, methodology, graphical, diagram |
Subjects: | Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, |
Divisions: | Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing |
Depositing User: | Mark Wheadon |
Date Deposited: | 24 Nov 2008 17:59 UTC |
Last Modified: | 16 Nov 2021 09:51 UTC |
Resource URI: | https://kar.kent.ac.uk/id/eprint/13634 (The current URI for this page, for reference purposes) |
- Link to SensusAccess
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):