B. L. Di Vito. High-automation proofs for properties of requirements models. Software Tools for Technology Transfer, 3(1):20--31, Sept. 2000. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
From Reviews to Analysis: Challenge and Opportunity Converge - Rushby (Correct)
....and the actual software code is too large and at too low a level of abstraction. Technology transfer experiments have successfully translated requirements or specification documents into the formal languages supported by various tools and have demonstrated the utility of formal analyses (e.g. [2]) but practitioners have shown little enthusiasm for adopting those languages. Recently, however, something of a paradigm shift has occurred as industry has adopted methods based on modelbased development at a surprisingly rapid pace. Modelbased development uses a single model of the system (and ....
B. L. Di Vito. High-automation proofs for properties of requirements models. Software Tools for Technology Transfer, 3(1):20--31, Sept. 2000.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC