Richard F. Paige. Integrating a program design calculus and a subset of UML. The Computer Journal, 42(2):82--99, 1999.  Home/Search   Document Details and Download   Summary   Related Articles

....the untimed model is used to express the system requirements. A normal form for the timed program is used to obtain an untimed program that can be verified to meet its requirements. The framework makes use of a meta method for formal method integration based on heterogenous notations [11, 12, 13]. The meta method describes an informal approach to integration, via combining notations and relating processes. The use of the method consists in selecting a base methods which is to be complemented by the other methods. The invasive methods are chosen to complement the base method. A ....

....the framework and its use in Section 4 and present our conclusions in Section 5. 2 Meta Method for Formal Methods Integration A meta methods for formal methods integration was presented in [12] The methods was used to integrate a subset of UML with a predicative programming design calculus [13]. The metamethod describes an informal approach to intergate, via combining notations and relating processes. The method, as presented by Paige [12, 13, 11] can be summerized in the following steps ffl Fix the base method. A base method provides the basic notation for the main processes that ....

[Article contains additional citation context not shown here]

Richard F. Paige. Integrating a program design calculus and a subset of UML. The Computer Journal, 42(2):82--99, 1999.

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