The SCEAS System
Navigation Menu

Conferences in DBLP

IEEE International Conference on Formal Engineering Methods (icfem)
2000 (conf/icfem/2000)

  1. David Lorge Parnas
    The Use of Mathematics in Software Engineering. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2000, pp:1- [Conf]
  2. Toomas P. Plaks
    Formal Derivation of Multilayered Hardware/Software Structures. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2000, pp:5-14 [Conf]
  3. Antoine Requet, Gaëlle Bossu
    Embedding Formally Proved Code in a Smart Card: Converting B to C. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2000, pp:15-0 [Conf]
  4. Kevin Lano, Kelly Androutsopoulos, Pauline Kan
    Structuring Reactive Systems in B AMN. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2000, pp:25-34 [Conf]
  5. Michihiro Matsumoto, Kokichi Futatsugi
    Highly Reliable Component-Based Software Development by Using Algebraic Behavioral Specification. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2000, pp:35-44 [Conf]
  6. Arun Venkataraman, Murali Rangarajan, Perry Alexander
    Composing Specifications in VSPEC. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2000, pp:45-0 [Conf]
  7. Mohamed Jmaiel
    A Unified Algebraic Framework for Specifying Communication Protocols. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2000, pp:57-66 [Conf]
  8. Tetsuo Tamai
    Formal Treatment of a Family of Fixed-Point Problems on Graphs by CafeOBJ. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2000, pp:67-0 [Conf]
  9. C. A. R. Hoare
    Legacy Code. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2000, pp:75- [Conf]
  10. Hong Peng, Sofiène Tahar, Ferhat Khendek
    SPIN vs. VIS: A Case Study on the Formal Verification of the ATMR Protocol. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2000, pp:79-88 [Conf]
  11. Dmitri Chkliaev, Jozef Hooman, Peter van der Stok
    Mechanical Verification of Transaction Processing Systems. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2000, pp:89-0 [Conf]
  12. Claudia Pons, Gabriel Baum
    Formal Foundations of Object-Oriented Modeling Notations. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2000, pp:101-110 [Conf]
  13. Wolfgang Grieskamp, Markus Lepper
    Using Use Cases in Executable Z. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2000, pp:111-120 [Conf]
  14. Ian MacColl, David A. Carrington
    Translating UAN into CSP. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2000, pp:121-0 [Conf]
  15. Richard Banach
    Maximally Abstract Retrenchments. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2000, pp:133-142 [Conf]
  16. Richard Banach, Michael Poppleton
    Fragmented Retrenchment, Concurrency and Fairness. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2000, pp:143-0 [Conf]
  17. Werner Damm
    Offering Formal Verification Capabilities for Industry Standard Case Tools: Challenges and Results. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2000, pp:153- [Conf]
  18. Ali E. Abdallah
    Filter Promotion Transformation Strategies for Deriving Efficient Programs from Z Specifications. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2000, pp:157-168 [Conf]
  19. R. D. Arthan, P. Caseley, Colin O'Halloran, Alf Smith
    ClawZ: Control Laws in Z. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2000, pp:169-176 [Conf]
  20. Chris Taylor, John Derrick, Eerke A. Boiten
    A Case Study in Partial Specification: Consistency and Refinement for Object-Z. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2000, pp:177-0 [Conf]
  21. Ali E. Abdallah, Mark Green
    An Integrated CSP-Based Tool for the Visualisation, Animation and Performance Evaluation of Message Passing Algorithms. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2000, pp:189-0 [Conf]
  22. Jonathan P. Bowen, Jifeng He, Qiwen Xu
    An Animatable Operational Semantics of the Verilog Hardware Description Language. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2000, pp:199-208 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002