A tool for visual and formal modelling of software designs
نویسندگان
چکیده
منابع مشابه
a new algorithm and software of individual life insurance and annuity computation
چکیده ندارد.
15 صفحه اولReveal: A Formal Verification Tool for Verilog Designs
We describe the Reveal formal functional verification system and its application to four representative hardware test cases. Reveal employs counterexample-guided abstraction refinement, or CEGAR, and is suitable for verifying the complex control logic of designs with wide datapaths. Reveal performs automatic datapath abstraction yielding an approximation of the original design with a much small...
متن کاملA Tool for Modelling Software Product Families
OF THE MASTER’S THESIS Author: Hanna Koivu Name of the thesis: A Tool for Modelling Software Product Families — User-Centred Prototype Implementation Date: February 13th, 2007 Number of Pages: 82 + appendices Department: Computer Science and Engineering Professorship: T-121 User Interfaces and Usability Supervisor: Professor Marko Nieminen Instructor: M. Sc. (Tech) Mikko Raatikainen Software pr...
متن کاملA Management Tool For Evaluation of Software Designs
The development of quality software depends upon making appropriate decisions at every stage of the life cycle. Given a design, many techniques have been developed to produce quality code from that design. However, ignored so far have been formal models to help the software manager to make appropriate implementation decisions. A model for evaluating software designs has been proposed and is bas...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2015
ISSN: 0167-6423
DOI: 10.1016/j.scico.2014.05.002