Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

81

JOT
2002

112views more JOT 2002»

BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning

15 years 2 months ago

BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning

Download www.jot.fm

Richard F. Paige, Liliya Kaminskaya, Jonathan S. O

Real-time Traffic

JOT 2002 |

claim paper

Related Content

» Experience with RTLOTOS a temporal extension of the LOTOS formal description technique

» Encoding Temporal Logics in Executable Z A Case Study for the ZETA System

» The variety of variables in computeraided realtime programming

» A Formal Approach for Automated Reasoning about OffLine and Undetectable OnLine Guessing

» Automatic Derivation of Workflow Specifications from Organizational Structures and Use Cas...

» CASME A CASE Tool for Spatial Data Marts Design and Generation

» Specification and analysis of the AERNCA active network protocol suite in RealTime Maude

» Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framewo...

» Representational Reasoning and Verification

Post Info
More Details (n/a)

Added	22 Dec 2010
Updated	22 Dec 2010
Type	Journal
Year	2002
Where	JOT
Authors	Richard F. Paige, Liliya Kaminskaya, Jonathan S. Ostroff, Jason Lancaric

Comments (0)