مؤتمر
A dynamic logic model for the formal foundation of object-oriented analysis and design
| العنوان: | A dynamic logic model for the formal foundation of object-oriented analysis and design |
|---|---|
| المؤلفون: | Pons, C., Baum, G., Felder, M. |
| المصدر: | Proceedings SCCC'98. 18th International Conference of the Chilean Society of Computer Science (Cat. No.98EX212) Computer science Computer Science, 1998. SCCC '98. XVIII International Conference of the Chilean Society of. :130-139 1998 |
| Relation: | Proceedings SCCC'98/ 18th International Conference of the Chilean Society of Computer Science |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 0818686162 9780818686160 |
|---|---|
| DOI: | 10.1109/SCCC.1998.730792 |