The RAISE Language Group. The RAISE Specification Language. Prentice Hall International, 1992. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Software Technology UNU/IIST Report No. 106 T - May Unu Iist (Correct)
Formal Development of a Toll Way Control System - Indrika (1995) (Correct)
Software Technology - Unu Iist Report (Correct)
Developing an XML-Enabled Serials Management System Using RAISE - Bhutto, al. (2002) (1 citation) (Correct)
Software Technology - Unu Iist Report (Correct)
GoF Behavioural Patterns: A Formal Specification - Reynoso, Moore (2000) (2 citations) (Correct)
Software Technology - Unu Iist Report (Correct)
Software Technology - Unu Iist Report (Correct)
Component-Based Tool for Verifying Applications.. - REYNOSO, ARANDA.. (2002) (Correct)
Intra-Modular Structuring in Model-Oriented Specification.. - Bicarregui (1995) (1 citation) (Correct)
Linking DC together with TRSL - Haxthausen, Yong (1999) (2 citations) (Correct)
Port Management: Domain Analysis - Prakash (1998) (Correct)
Formal Modelling of Future Demand Forecasting and Frequent.. - Dang, Moore (1999) (3 citations) (Correct)
Proving Safety of Authentication Protocols: A Minimal Approach - George (1999) (1 citation) (Correct)
Integrating Enterprise Models and Models for Marketing.. - Janowski, Atienza, Lugo (1998) (2 citations) (Correct)
September 1996 (Revised Version) UNU/IIST - Enables Developing Countries (Correct)
Flight Effectiveness Analysis in Airline Business: A Formal.. - Thang, Viet, Moore (1998) (Correct)
The Use of Industrial-Strength Formal Methods - Bowen, Hinchey (1997) (1 citation) (Correct)
Software Technology - Unu Iist Report (Correct)
Formal Methods and the Certification of Critical Systems - Rushby (1993) (50 citations) (Correct)
On Refinement of Generic Software Components - Meng, Barbosa (2003) Self-citation (International) (Correct)
Towards a Coalgebraic Semantics of UML: Class Diagrams and Use .. - Meng, Aichernig (2003) (3 citations) Self-citation (International) (Correct)
Coalg_{KPF}: Towards a Coalgebraic Calculus for.. - Meng, Aichernig Self-citation (International) (Correct)
Component-Based Coalgebraic Specification and Verification in.. - Meng, Aichernig (2002) (3 citations) Self-citation (International) (Correct)
A Course on Formal Methods Using RAISE - Dasso (1997) (1 citation) Self-citation (International) (Correct)
First 50 documents Next 50
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