-
1
المؤلفون: J. Kelly, Steve Easterbrook, R. Covington, Robyn R. Lutz, David O Hamilton, Yoko Ampo
المصدر: IEEE Transactions on Software Engineering. 24:4-14
مصطلحات موضوعية: business.industry, Computer science, Fault tolerance, Application software, computer.software_genre, Formal methods, Embedded software, Formal specification, Systems engineering, Needs analysis, Software requirements, Software engineering, business, computer, Software, Verification and validation