𝔖 Bobbio Scriptorium

✦ LIBER ✦

[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

✍ Scribed by Du Bois, P.; Dubois, E.; Zeippen, J.-M.

Book ID: 126048406
Publisher: IEEE Comput. Soc. Press
Year: 1997
Tongue: English
Weight: 938 KB
Category: Article
ISBN-13: 9780818677403
DOI: 10.1109/ISRE.1997.566850

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[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 - Requirements models in context

✍ Potts, C. 📂 Article 📅 1997 🏛 IEEE Comput. Soc. Press ⚖ 295 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 - Ten steps towards systematic requirements reuse

✍ Lam, W.; McDermid, T.A.; Vickers, A.J. 📂 Article 📅 1997 🏛 IEEE Comput. Soc. Press 🌐 English ⚖ 988 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 - GRAIL/KAOS: an environment for goal-driven requirements analysis, integration and layout

✍ Darimont, R.; Delor, E.; Massonet, P.; van Lamsweerde, A. 📂 Article 📅 1997 🏛 IEEE Comput. Soc. Press ⚖ 75 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 - 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 - A translation method from natural language specifications into formal specifications using contextual dependencies

✍ Ishihara, Y.; Seki, H.; Kasami, T. 📂 Article 📅 1992 🏛 IEEE Comput. Soc. Press 🌐 English ⚖ 738 KB