مؤتمر
Property-driven development
العنوان: | Property-driven development |
---|---|
المؤلفون: | Baumeister, H., Knapp, A., Wirsing, M. |
المصدر: | Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004. Software engineering and formal methods Software Engineering and Formal Methods, 2004. SEFM 2004. Proceedings of the Second International Conference on. :96-102 2004 |
Relation: | Proceedings of the Second International Conference on Software Engineering and Formal Methods |
قاعدة البيانات: | IEEE Xplore Digital Library |
ردمك: | 076952222X 9780769522227 |
---|---|
DOI: | 10.1109/SEFM.2004.1347507 |