K. Araki, A. Galloway, and K. Taguchi, editors. IFM'99: Integrated Formal Methods, York, UK. Springer-Verlag, June 1999. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
State, Event, Time and Diagram in System Modeling - Jin Song Dong (Correct)
....An XML web environment for projecting integrated formal models to UML diagrams will also be demonstrated. 1. Overview In recent years, integration has been a popular approach in unifying programming theories [5] standardizing diagramatic notations [10] and combining formal design methods [1, 4]. The aims and objectives of this tutorial are to learn ffl the state based and event based formal modeling techniques, Z Object Z [3, 12] and CSP Timed CSP [11] ffl the powerful semantic integration of state based and event based formalisms TCOZ [9, 8, 2, 7] ffl the transformation techniques ....
K. Araki, A. Galloway, and K. Taguchi, editors. IFM'99: Integrated Formal Methods, York, UK. Springer-Verlag, June 1999.
Relating π-calculus to Object-Z - Taguchi, Dong, al. (2004) Self-citation (Taguchi) (Correct)
No context found.
K. Araki, A. Galloway, and K. Taguchi, editors. IFM'99: Integrated Formal Methods, York, UK. Springer-Verlag, June 1999.
Relating π-calculus to Object-Z - Taguchi, Dong, Ciobanu Self-citation (Taguchi) (Correct)
No context found.
K. Araki, A. Galloway, and K. Taguchi, editors. IFM'99: Integrated Formal Methods, York, UK. Springer-Verlag, June 1999.
Knowledge, State, Event and Time in System Modeling -.. - Dong, Duke, Sun (2006) (Correct)
No context found.
K. Araki, A. Galloway, and K. Taguchi, editors. IFM'99: Integrated Formal Methods, York, UK. Springer-Verlag, June 1999.
Capturing Concurrent Interactions of Mission Computer Tasks - Jin Song Dong (Correct)
No context found.
K. Araki, A. Galloway, and K. Taguchi, editors. IFM'99: Integrated Formal Methods, York, UK. Springer-Verlag, June 1999.
Sensors and Actuators in TCOZ - Brendan Mahony Jin (Correct)
No context found.
K. Araki, A. Galloway, and K. Taguchi, editors. IFM'99: Integrated Formal Methods, York, UK. Springer-Verlag, June 1999.
A XML/XSL Approach to Visualize and Animate TCOZ - Jing Sun Jin (Correct)
No context found.
K. Araki, A. Galloway, and K. Taguchi, editors. IFM'99: Integrated Formal Methods, York, UK. Springer-Verlag, June 1999.
Integrating Object-Z with Timed Automata - Dong Duke National (Correct)
No context found.
K. Araki, A. Galloway, and K. Taguchi, editors. IFM'99: Integrated Formal Methods, York, UK. Springer-Verlag, June 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