timeline editor | Sciweavers

warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.

RE
2001
Springer

142views Software Engineering» more RE 2001»

Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs

12 years 8 months ago

A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...

Margaret H. Smith, Gerard J. Holzmann, Kousha Etes...

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers