Formally Specifying Engineering Design Rationale

DOI 10.1109/ase.1997.632863 dblp

Abstract

This paper briefly describes our initial experiences in applied research of formal approaches to the generation and maintenance of software systems supporting structural engineering tasks. We describe the business context giving rise to this activity, and give an example of the type of engineering problem we have focused on. We briefly describe our approach to software generation and maintenance, and point out the challenges that we appear to face in transferring this technology into actual practice.

BibTeX

@inproceedings{Williamson-Healy:ASE97,
  author    = {Keith E. Williamson and
               Michael Healy},
  title     = {Formally Specifying Engineering Design Rationale},
  booktitle = {ASE},
  pages     = {317--318},
  publisher = {{IEEE} Computer Society},
  year      = {1997},
}

Formally Specifying Engineering Design Rationale

Abstract

Related papers