✦ LIBER ✦

Validating specifications: a contract-based approach

✍ Scribed by Nellore, R.

Book ID: 114539457
Publisher: IEEE
Year: 2001
Tongue: English
Weight: 247 KB
Volume: 48
Category: Article
ISSN: 0018-9391
DOI: 10.1109/17.969426

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A contract-based approach to adaptivity

✍ Andreas Schroeder; Sebastian S. Bauer; Martin Wirsing 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 481 KB

A concern-based approach to generating f

A concern-based approach to generating formal requirements specifications

✍ Jin, Ying ;Zhang, Jing ;Hao, Weiping ;Ma, Pengfei ;Zhang, Yan ;Zhao, Haiyan ;Mei 📂 Article 📅 2010 🏛 Higher Education Press and Springer 🌐 English ⚖ 641 KB

Industrial Organisation, a Contract Base

Industrial Organisation, a Contract Based Approach - by Nicolas Boccard

✍ Nicolas De Roos 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 48 KB

Validating crash locations for quantitat

Validating crash locations for quantitative spatial analysis: A GIS-based approach

✍ Becky P.Y. Loo 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 263 KB

Validating OCL Specifications with the U

Validating OCL Specifications with the USE Tool: An Example Based on the BART Case Study

✍ Paul Ziemann; Martin Gogolla 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 234 KB

Closing the Organ Gap: A Reciprocity-Bas

Closing the Organ Gap: A Reciprocity-Based Social Contract Approach

✍ Gil Siegal; Richard J. Bonnie 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 110 KB