共 50 条
- [41] Process improvement in large-scale industrial environments based on SCM SERP'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2003, : 246 - 249
- [46] Industrial workshop on requirements for R&D in requirements engineering RE '97 - PROCEEDINGS OF THE THIRD IEEE INTERNATIONAL SYMPOSIUM ON REQUIREMENTS ENGINEERING, 1997, : 41 - 41
- [48] RAT: A tool for the formal analysis of requirements - (Tool paper) COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2007, 4590 : 263 - +