[IEEE 2006 30th Annual IEEE/NASA Software Engineering Workshop - Columbia, MD, USA (2006.04.24-2006.04.28)] 2006 30th Annual IEEE/NASA Software Engineering Workshop - A Reverse-Engineering Approach to Understanding B Specifications with UML Diagrams
Idani, Akram; Ledru, Yves; Bert, Didier
- 作者Idani, Akram; Ledru, Yves; Bert, Didier
- 文件大小241.98KB
- 发表时间2006
- DOI10.1109/SEW.2006.6
- 页码97-106