𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc Proceedings. Technology of Object-Oriented Languages. TOOLS 24 - Beijing, China (Sept. 1997)] Proceedings. Technology of Object-Oriented Languages. TOOLS 24 (Cat. No.97TB100240) - Finite model generation and formal specification development

✍ Scribed by Jian Zhang,

Book ID: 126605240
Publisher: IEEE Comput. Soc
Year: 1998
Weight: 395 KB
Category: Article
ISBN-13: 9780818685514
DOI: 10.1109/TOOLS.1997.713562

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc Proceedings. Technolog

[IEEE Comput. Soc Proceedings. Technology of Object-Oriented Languages. TOOLS 24 - Beijing, China (Sept. 1997)] Proceedings. Technology of Object-Oriented Languages. TOOLS 24 (Cat. No.97TB100240) - Three-dimensional object-oriented model

✍ Wang Binjun, ; Ge Wei, ; Hao Kegang, 📂 Article 📅 1998 🏛 IEEE Comput. Soc ⚖ 317 KB

[IEEE Comput. Soc Proceedings. Technolog

[IEEE Comput. Soc Proceedings. Technology of Object-Oriented Languages. TOOLS 24 - Beijing, China (Sept. 1997)] Proceedings. Technology of Object-Oriented Languages. TOOLS 24 (Cat. No.97TB100240) - JBCDL: an object-oriented component description language

✍ Wu Qiong, ; Chang Jichuan, ; Mei Hong, ; Yang Fuqing, 📂 Article 📅 1998 🏛 IEEE Comput. Soc ⚖ 461 KB

[IEEE Comput. Soc Proceedings. Technolog

[IEEE Comput. Soc Proceedings. Technology of Object-Oriented Languages. TOOLS 24 - Beijing, China (Sept. 1997)] Proceedings. Technology of Object-Oriented Languages. TOOLS 24 (Cat. No.97TB100240) - OO metrics data gathering environment

✍ Hericko, M.; Rozman, I.; Horvat, R.V.; Domajnko, T.; Gyorkos, J. 📂 Article 📅 1998 🏛 IEEE Comput. Soc 🌐 English ⚖ 426 KB

[IEEE Comput. Soc Proceedings. Technolog

[IEEE Comput. Soc Proceedings. Technology of Object-Oriented Languages. TOOLS 24 - Beijing, China (Sept. 1997)] Proceedings. Technology of Object-Oriented Languages. TOOLS 24 (Cat. No.97TB100240) - An object-oriented dependency graph for program slicing

✍ Jian-Liang Chen, ; Feng-Jian Wang, ; Yung-Lin Chen, 📂 Article 📅 1998 🏛 IEEE Comput. Soc 🌐 English ⚖ 645 KB

[IEEE Comput. Soc Proceedings. Technolog

[IEEE Comput. Soc Proceedings. Technology of Object-Oriented Languages. TOOLS 24 - Beijing, China (Sept. 1997)] Proceedings. Technology of Object-Oriented Languages. TOOLS 24 (Cat. No.97TB100240) - Performance evaluation of objects with roles

✍ Lam, F.M.; Chau, H.L.; Wong, R.K. 📂 Article 📅 1998 🏛 IEEE Comput. Soc ⚖ 627 KB

[IEEE Comput. Soc Proceedings. Technolog

[IEEE Comput. Soc Proceedings. Technology of Object-Oriented Languages. TOOLS 24 - Beijing, China (Sept. 1997)] Proceedings. Technology of Object-Oriented Languages. TOOLS 24 (Cat. No.97TB100240) - An architecture for building reliable distributed object-based systems

✍ Li Wang, ; Wanlei Zhou, 📂 Article 📅 1998 🏛 IEEE Comput. Soc 🌐 English ⚖ 424 KB