Conferences in DBLP

Birthday ... (birthday)
2009 (conf/birthday/2009borger)

1. 
   Relaxing Restrictions on Invariant Composition in the B Method by Ownership Control a laSpec#. [Citation Graph (, )][DBLP]
   
   
2. 
   Designing Old and New Distributed Algorithms by Replaying an Incremental Proof-Based Development. [Citation Graph (, )][DBLP]
   
   
3. 
   Ten Reasons to Metamodel ASMs. [Citation Graph (, )][DBLP]
   
   
4. 
   An ASM-Characterization of a Class of Distributed Algorithms. [Citation Graph (, )][DBLP]
   
   
5. 
   Using Abstract State Machines for the Design of Multi-level Transaction Schedulers. [Citation Graph (, )][DBLP]
   
   
6. 
   Validating and Animating Higher-Order Recursive Functions in B. [Citation Graph (, )][DBLP]
   
   
7. 
   A Systematic Verification Approach for Mondex Electronic Purses Using ASMs. [Citation Graph (, )][DBLP]
   
   
8. 
   Management of UML Clusters. [Citation Graph (, )][DBLP]
   
   
9. 
   A Step towards Merging xUML and CSP || {\| \ }B. [Citation Graph (, )][DBLP]
   
   
10. 
    CoreASM Plug-In Architecture. [Citation Graph (, )][DBLP]
    
    
11. 
    JASMine: Accessing Java Code from CoreASM. [Citation Graph (, )][DBLP]
    
    
12. 
    A Modular Verification Methodology for C# Delegates. [Citation Graph (, )][DBLP]
    
    
13. 
    On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages. [Citation Graph (, )][DBLP]
    
    
14. 
    Ten Commandments Ten Years On: Lessons for ASM, B, Z and VSR-net. [Citation Graph (, )][DBLP]