Object-oriented analysis and design

相关论文数: 1

顶级研究者

Natasha Sharygina

研究机构: —

James C. Browne

研究机构: —

Robert P. Kurshan

研究机构: —

最高引用论文

A Formal Object-Oriented Analysis for Software Reliability: Design for Verification

Natasha Sharygina, James C. Browne, Robert P. Kurshan

引用数: 39 • 2001

相关技术

Computer scienceTheoretical computer scienceProgramming languageSoftwareSoftware engineeringSoftware developmentModel checkingAutomatonFormal verificationExecutable