𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc. Press [1993] IEEE International Symposium on Requirements Engineering - San Diego, CA, USA (4-6 Jan. 1993)] [1993] Proceedings of the IEEE International Symposium on Requirements Engineering - A translation method from natural language specifications into formal specifications using contextual dependencies

✍ Scribed by Ishihara, Y.; Seki, H.; Kasami, T.

Book ID: 126766736
Publisher: IEEE Comput. Soc. Press
Year: 1992
Tongue: English
Weight: 738 KB
Category: Article
ISBN-13: 9780818631207
DOI: 10.1109/ISRE.1993.324853

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc. Press [1993] IEEE Int

[IEEE Comput. Soc. Press [1993] IEEE International Symposium on Requirements Engineering - San Diego, CA, USA (4-6 Jan. 1993)] [1993] Proceedings of the IEEE International Symposium on Requirements Engineering - CARD: a software requirements definition environment

✍ Ohnishi, A.; Agusa, K. 📂 Article 📅 1992 🏛 IEEE Comput. Soc. Press 🌐 English ⚖ 340 KB

[IEEE Comput. Soc. Press [1993] IEEE Int

[IEEE Comput. Soc. Press [1993] IEEE International Symposium on Requirements Engineering - San Diego, CA, USA (4-6 Jan. 1993)] [1993] Proceedings of the IEEE International Symposium on Requirements Engineering - Documentation of requirements for computer systems

✍ van Schouwen, A.J.; Parnas, D.L.; Madey, J. 📂 Article 📅 1992 🏛 IEEE Comput. Soc. Press 🌐 English ⚖ 805 KB

[IEEE Comput. Soc. Press [1993] IEEE Int

[IEEE Comput. Soc. Press [1993] IEEE International Symposium on Requirements Engineering - San Diego, CA, USA (4-6 Jan. 1993)] [1993] Proceedings of the IEEE International Symposium on Requirements Engineering - Analyzing software requirements errors in safety-critical, embedded systems

✍ Lutz, R.R. 📂 Article 📅 1992 🏛 IEEE Comput. Soc. Press 🌐 English ⚖ 789 KB

[IEEE Comput. Soc. Press ISRE '97: 3rd I

[IEEE Comput. Soc. Press ISRE '97: 3rd IEEE International Symposium on Requirements Engineering - Annapolis, MD, USA (6-10 Jan. 1997)] Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering - On the use of a formal RE language-the generalized railroad crossing problem

✍ Du Bois, P.; Dubois, E.; Zeippen, J.-M. 📂 Article 📅 1997 🏛 IEEE Comput. Soc. Press 🌐 English ⚖ 938 KB