✦ LIBER ✦

Making changes to formal specifications: requirements and an example

✍ Scribed by Bustard, D.W.; Winstanley, A.C.

Book ID: 117872045
Publisher: IEEE
Year: 1994
Tongue: English
Weight: 746 KB
Volume: 20
Category: Article
ISSN: 0098-5589
DOI: 10.1109/32.310666

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Pushing requirements changes through to

Pushing requirements changes through to changes in specifications

✍ Lin, Lan ;Poore, Jesse H. 📂 Article 📅 2008 🏛 Higher Education Press and Springer 🌐 English ⚖ 177 KB

Resource Reappraisal And Resistance To C

Resource Reappraisal And Resistance To Change: An Australian Example

✍ John J. J. Pigram 📂 Article 📅 1972 🏛 John Wiley and Sons 🌐 English ⚖ 380 KB

An approach to formal specification and

An approach to formal specification and verification of map-centered applications

✍ M.A.V Nelson; P.S.C Alencar; D.D Cowan 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 150 KB

Late anastomotic colonic dehiscence due

Late anastomotic colonic dehiscence due to antiangiogenic treatment, a specific drug-class complication requiring specific treatment: An example of pazopanib complication

✍ Clarisse Eveno; Christine le Maignan; Philippe Soyer; Marine Camus; Emmanuel Bar 📂 Article 📅 2011 🏛 Elsevier 🌐 French ⚖ 234 KB

Elevate your game: Adapting to change an

Elevate your game: Adapting to change and making an impact

✍ Rhoda Wynn; Brent Senior; Karen Calhoun; Richard Rosenfeld; Michael Setzen; Mich 📂 Article 📅 2009 🏛 SAGE Publications 🌐 English ⚖ 77 KB