Sciweavers

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

38

AMAST
1997
Springer

favoriteEmaildiscussreport

315views Software Engineering» more AMAST 1997»

Case Studies in Using a Meta-Method for Formal Method Integration

13 years 8 months ago

Case Studies in Using a Meta-Method for Formal Method Integration

Download www.cse.yorku.ca

Abstract. We summarize the results of several experiments in applying a metamethod for formal method integration [18, 19]. We provide a small example of using an instance of integrated formal methods, and discuss properties and difficulties associated with applying the meta-method to combining and using several formal and semiformal methods.

Richard F. Paige

Real-time Traffic

AMAST 1997 | Formal Method Integration | Formal Methods | Integrated Formal Methods | Software Engineering |

claim paper

Related Content

» A MetaMethod for Formal Method Integration

» Pragmatic Formal Design A Case Study in Integrating Formal Methods into the HCI Developmen...

» Using formal models to design user interfaces a case study

» Formally Justifying UserCentred Design Rules A Case Study on Postcompletion Errors

» The Village Telephone System A Case Study in Formal Software Engineering

» Specification and Verification of Model Transformations Using UMLRSDS

» Improving Safety Assessment of Complex Systems An Industrial Case Study

» System Architecture Evaluation Using Modular Performance Analysis A Case Study

» On the Application of Formal Principles to Life Science Data a Case Study in the Gene Onto...

Post Info
More Details (n/a)

Added	25 Aug 2010
Updated	25 Aug 2010
Type	Conference
Year	1997
Where	AMAST
Authors	Richard F. Paige

Comments (0)