Conferences in DBLP

Integrated Formal Methods (IFM) (ifm)
2002 (conf/ifm/2002)

1. Eran Gery, David Harel, Eldad Palachi
   Rhapsody: A Complete Life-Cycle Model-Based Development System. [Citation Graph (0, 0)][DBLP]
   IFM, 2002, pp:1-10 [Conf]
   
2. Sabine Kuske, Martin Gogolla, Ralf Kollmann, Hans-Jörg Kreowski
   An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation. [Citation Graph (0, 0)][DBLP]
   IFM, 2002, pp:11-28 [Conf]
   
3. Natalia López, Manuel Núñez, Fernando Rubio
   Stochastic Process Algebras Meet Eden. [Citation Graph (0, 0)][DBLP]
   IFM, 2002, pp:29-48 [Conf]
   
4. Kevin Lano, David Clark, Kelly Androutsopoulos
   From Implicit Specifications to Explicit Designs in Reactive System Development. [Citation Graph (0, 0)][DBLP]
   IFM, 2002, pp:49-68 [Conf]
   
5. V. A. Nepomniaschy, Nikolay V. Shilov, E. V. Bodin, Vitaly E. Kozura
   Basic-REAL: Integrated Approach for Design, Specification and Verification of Distributed Systems. [Citation Graph (0, 0)][DBLP]
   IFM, 2002, pp:69-88 [Conf]
   
6. Mohammad Zulkernine, Rudolph E. Seviora
   Assume-Guarantee Algorithms for Automatic Detection of Software Failures. [Citation Graph (0, 0)][DBLP]
   IFM, 2002, pp:89-108 [Conf]
   
7. Hung Ledang, Jeanine Souquières
   Contributions for Modelling UML State-Charts in B. [Citation Graph (0, 0)][DBLP]
   IFM, 2002, pp:109-127 [Conf]
   
8. Emil Sekerinski, Rafik Zurob
   Translating Statecharts to B. [Citation Graph (0, 0)][DBLP]
   IFM, 2002, pp:128-144 [Conf]
   
9. Shmuel Katz, Orna Grumberg
   A Framework for Translating Models and Specifications. [Citation Graph (0, 0)][DBLP]
   IFM, 2002, pp:145-164 [Conf]
   
10. Kirsten Winter, Roger Duke
    Model Checking Object-Z Using ASM. [Citation Graph (0, 0)][DBLP]
    IFM, 2002, pp:165-184 [Conf]
    
11. Behzad Akbarpour, Abdelkader Dekdouk, Sofiène Tahar
    Formalization of Cadence SPW Fixed-Point Arithmetic in HOL. [Citation Graph (0, 0)][DBLP]
    IFM, 2002, pp:185-204 [Conf]
    
12. Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford
    Formally Linking MDG and HOL Based on a Verified MDG System. [Citation Graph (0, 0)][DBLP]
    IFM, 2002, pp:205-224 [Conf]
    
13. Christie Bolton, Jim Davies
    Refinement in Object-Z and CSP. [Citation Graph (0, 0)][DBLP]
    IFM, 2002, pp:225-244 [Conf]
    
14. Jochen Hoenicke, Ernst-Rüdiger Olderog
    Combining Specification Techniques for Processes, Data and Time. [Citation Graph (0, 0)][DBLP]
    IFM, 2002, pp:245-266 [Conf]
    
15. Graeme Smith
    An Integration of Real-Time Object-Z and CSP for Specifying Concurrent Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    IFM, 2002, pp:267-285 [Conf]
    
16. Stuart Kent
    Model Driven Engineering. [Citation Graph (0, 0)][DBLP]
    IFM, 2002, pp:286-298 [Conf]
    
17. Phillip J. Brooke, Richard F. Paige
    The Design of a Tool-Supported Graphical Notation for Timed CSP. [Citation Graph (0, 0)][DBLP]
    IFM, 2002, pp:299-318 [Conf]
    
18. Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo
    Combining Graphical and Formal Development of Open Distributed Systems. [Citation Graph (0, 0)][DBLP]
    IFM, 2002, pp:319-338 [Conf]
    
19. Katerina Korenblat, Orna Grumberg, Shmuel Katz
    Translations between Textual Transition Systems and Petri Nets. [Citation Graph (0, 0)][DBLP]
    IFM, 2002, pp:339-359 [Conf]
    
20. Héctor Ruíz Barradas, Didier Bert
    Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems. [Citation Graph (0, 0)][DBLP]
    IFM, 2002, pp:360-379 [Conf]
    
21. Czeslaw Jeske, Richard Banach
    Minimally and Maximally Abstract Retrenchments. [Citation Graph (0, 0)][DBLP]
    IFM, 2002, pp:380-400 [Conf]