𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc ASE 2000 15th IEEE International Automated Software Engineering Conference - Grenoble, France (11-15 Sept. 2000)] Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering - An overview of a method and its support tool for generating B specifications from UML notations

✍ Scribed by Laleau, R.; Mammar, A.

Book ID: 121652213
Publisher: IEEE
Year: 2000
Weight: 358 KB
Edition: 2000
Category: Article
ISBN-13: 9780769507101
DOI: 10.1109/ASE.2000.873675

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc ASE 2000 15th IEEE Int

[IEEE Comput. Soc ASE 2000 15th IEEE International Automated Software Engineering Conference - Grenoble, France (11-15 Sept. 2000)] Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering - Test sequences generation from LUSTRE descriptions: GATEL

✍ Marre, B.; Arnould, A. 📂 Article 📅 2000 🏛 IEEE ⚖ 763 KB

[IEEE Comput. Soc ASE 2000 15th IEEE Int

[IEEE Comput. Soc ASE 2000 15th IEEE International Automated Software Engineering Conference - Grenoble, France (11-15 Sept. 2000)] Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering - Combining the best attributes of qualitative and quantitative risk management tool support

✍ Feather, M.S.; Cornford, S.L.; Larson, T.W. 📂 Article 📅 2000 🏛 IEEE ⚖ 415 KB

[IEEE Comput. Soc ASE 2000 15th IEEE Int

[IEEE Comput. Soc ASE 2000 15th IEEE International Automated Software Engineering Conference - Grenoble, France (11-15 Sept. 2000)] Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering - π-SPACE: a formal architecture description language based on process algebra for evolving software systems

✍ Chaudet, C.; Oquendo, F. 📂 Article 📅 2000 🏛 IEEE ⚖ 392 KB