Skip to main content

Semi Formal Process Model for Technology Transfer

Publisher page dblp

No abstract available.

BibTeX

@inproceedings{Glynn:ICSE90,
  author    = {Garth Glynn},
  title     = {Semi Formal Process Model for Technology Transfer},
  booktitle = {ICSE},
  pages     = {334--335},
  publisher = {{IEEE} Computer Society},
  year      = {1990},
}

Related papers

Formalising oblivious transfer in the semi-honest and malicious model in CryptHOL CPP 2020
Fraunhofer: the German model for applied research and technology transfer ICSE 2000
Experience in Using Defined Processes for Technology Transfer (Panel Overview) ICSE 1990
Technology transfer macro-process: a practical guide for the effective introduction of technology ICSE 2000
From MCC and CMM: technology transfers bright and dim ICSE 2000
Semi-Automatic Fault Localization and Behavior Verification for Physical System Simulation Models ASE 2003
Transformation of a semi-formal specification to VDM ASE 1992
An empirical study on the utility of formal routines to transfer knowledge and experience FSE 2001