论文信息 - Software Engineering: The Relationship between a Formal System and its Environment - 字舞流文

Software Engineering: The Relationship between a Formal System and its Environment

Frank F. Land | Elizabeth Somogyi

[1] F. T. Baker,et al. Chief Programmer Team Management of Production Programming , 1972, IBM Syst. J..

[2] Rob Kling,et al. The organizational context of user-centered software designs* , 1977 .

[3] Richard J. Lipton,et al. Social processes and proofs of theorems and programs , 1977, POPL.