𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc. Press Sixth International Workshop on Software Specification and Design - Como, Italy (25-26 Oct. 1991)] Proceedings of the Sixth International Workshop on Software Specification and Design - Advantages and limits of formal approaches for ultra-high dependability

✍ Scribed by Gaudel, M.-C.

Book ID: 126735162
Publisher: IEEE Comput. Soc. Press
Year: 1991
Tongue: English
Weight: 480 KB
Category: Article
ISBN-13: 9780818623202
DOI: 10.1109/IWSSD.1991.213054

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc. Press 8th Internation

[IEEE Comput. Soc. Press 8th International Workshop on Software Specification and Design - Schloss Velen, Germany (22-23 March 1996)] Proceedings of the 8th International Workshop on Software Specification and Design - Supporting the selection of software requirements

✍ Karlsson, J.; Ryan, K. 📂 Article 📅 1996 🏛 IEEE Comput. Soc. Press ⚖ 530 KB

[IEEE Comput. Soc. Press 8th Internation

[IEEE Comput. Soc. Press 8th International Workshop on Software Specification and Design - Schloss Velen, Germany (22-23 March 1996)] Proceedings of the 8th International Workshop on Software Specification and Design - Learning from inconsistency

✍ Easterbrook, S. 📂 Article 📅 1996 🏛 IEEE Comput. Soc. Press ⚖ 584 KB

[IEEE Comput. Soc. Press 8th Internation

[IEEE Comput. Soc. Press 8th International Workshop on Software Specification and Design - Schloss Velen, Germany (22-23 March 1996)] Proceedings of the 8th International Workshop on Software Specification and Design - Formalising system structure

✍ Radestock, M.; Eisenbach, S. 📂 Article 📅 1996 🏛 IEEE Comput. Soc. Press ⚖ 883 KB

[IEEE Comput. Soc. Press 8th Internation

[IEEE Comput. Soc. Press 8th International Workshop on Software Specification and Design - Schloss Velen, Germany (22-23 March 1996)] Proceedings of the 8th International Workshop on Software Specification and Design - Relating CHAM descriptions of software architectures

✍ Inverardi, P.; Yankelevich, D. 📂 Article 📅 1996 🏛 IEEE Comput. Soc. Press ⚖ 728 KB

[IEEE Comput. Soc. Press 8th Internation

[IEEE Comput. Soc. Press 8th International Workshop on Software Specification and Design - Schloss Velen, Germany (22-23 March 1996)] Proceedings of the 8th International Workshop on Software Specification and Design - Concern-driven design for a specification language supporting component-based software engineering

✍ Kozaczynski, W.V.; Ning, J.Q. 📂 Article 📅 1996 🏛 IEEE Comput. Soc. Press ⚖ 497 KB

[IEEE Comput. Soc. Press 8th Internation

[IEEE Comput. Soc. Press 8th International Workshop on Software Specification and Design - Schloss Velen, Germany (22-23 March 1996)] Proceedings of the 8th International Workshop on Software Specification and Design - Specification and verification of real-time properties using LOTOS and SQTL

✍ Lakas, A.; Blair, G.S.; Chetwynd, A. 📂 Article 📅 1996 🏛 IEEE Comput. Soc. Press ⚖ 929 KB