Design transformation and abstract design prototyping

Friel, G.; Budgen, D.

Abstract

In the process of software design, both 'structured' diagrams as well as mathematical formalisms can provide useful ways of expressing a designer's ideas about a solution to a problem. The paper describes a transformation tool that generates executable specifications in the CSP/me too notation, taking as its input a high-level MASCOT design. The resulting specifications can then be used to 'execute' the design, so that the designer can explore the dynamic behaviour of the intended system. The design modelling strategies of the two forms are discussed and the ways in which their use can be combined to support the development of a system design examined. © 1991.

Citation

Friel, G., & Budgen, D. (1991). Design transformation and abstract design prototyping. Information and Software Technology, 33(9), 707-719. https://doi.org/10.1016/0950-5849%2891%2990044-C

• Journal Article Type: Article
• Publication Date: Jan 1, 1991
• Deposit Date: Feb 23, 2025
• Journal: Information and Software Technology
• Print ISSN: 0950-5849
• Electronic ISSN: 1873-6025
• Publisher: Elsevier
• Peer Reviewed: Peer Reviewed
• Volume: 33
• Issue: 9
• Pages: 707-719
• DOI: https://doi.org/10.1016/0950-5849%2891%2990044-C
• Public URL: https://durham-repository.worktribe.com/output/3501167