𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc. Press 1993 IEEE 7th International Workshop on Software Specification and Design - Redondo Beach, CA, USA (6-7 Dec. 1993)] Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design - Design and validation of a message-passing system

✍ Scribed by Fuyau Lin,

Book ID: 126725554
Publisher: IEEE Comput. Soc. Press
Year: 1993
Weight: 798 KB
Category: Article
ISBN-13: 9780818643606
DOI: 10.1109/IWSSD.1993.315519

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc. Press 1993 IEEE 7th I

[IEEE Comput. Soc. Press 1993 IEEE 7th International Workshop on Software Specification and Design - Redondo Beach, CA, USA (6-7 Dec. 1993)] Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design - Specification and refinement of a message router

✍ Cunningham, H.C.; Yinxiu Cai, 📂 Article 📅 1993 🏛 IEEE Comput. Soc. Press ⚖ 951 KB

[IEEE Comput. Soc. Press 1993 IEEE 7th I

[IEEE Comput. Soc. Press 1993 IEEE 7th International Workshop on Software Specification and Design - Redondo Beach, CA, USA (6-7 Dec. 1993)] Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design - A taxonomy of inheritance semantics

✍ Faulstich-Brady, A. 📂 Article 📅 1993 🏛 IEEE Comput. Soc. Press ⚖ 916 KB

[IEEE Comput. Soc. Press 1993 IEEE 7th I

[IEEE Comput. Soc. Press 1993 IEEE 7th International Workshop on Software Specification and Design - Redondo Beach, CA, USA (6-7 Dec. 1993)] Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design - Towards extensible graphical formalisms

✍ Ghezzi, C.; Pezze, M. 📂 Article 📅 1993 🏛 IEEE Comput. Soc. Press ⚖ 675 KB

[IEEE Comput. Soc. Press 1993 IEEE 7th I

[IEEE Comput. Soc. Press 1993 IEEE 7th International Workshop on Software Specification and Design - Redondo Beach, CA, USA (6-7 Dec. 1993)] Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design - A framework for program development based on schematic proof

✍ Basin, D.; Bundy, A.; Kraan, I.; Matthews, S. 📂 Article 📅 1993 🏛 IEEE Comput. Soc. Press ⚖ 976 KB

[IEEE Comput. Soc. Press 1993 IEEE 7th I

[IEEE Comput. Soc. Press 1993 IEEE 7th International Workshop on Software Specification and Design - Redondo Beach, CA, USA (6-7 Dec. 1993)] Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design - Bridging the requirements gap: policies, goals and domains

✍ Sutcliffe, A.G.; Maiden, N.A.M. 📂 Article 📅 1993 🏛 IEEE Comput. Soc. Press ⚖ 378 KB

[IEEE Comput. Soc. Press 1993 IEEE 7th I

[IEEE Comput. Soc. Press 1993 IEEE 7th International Workshop on Software Specification and Design - Redondo Beach, CA, USA (6-7 Dec. 1993)] Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design - Predicting operational behaviour of abstract programs during formal developments

✍ Ait-Ameur, Y. 📂 Article 📅 1993 🏛 IEEE Comput. Soc. Press ⚖ 958 KB