Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| OOSZ: An Integration of Bailin's Object-Oriented Analysis and Formal Specifications | 1 | 0.36 | 1997 |
| A Fuzzy Petri Nets Based Mechanism for Fuzzy Rules Reasoning | 6 | 0.70 | 1997 |
| Task-Based Specifications Through Conceptual Graphs | 15 | 4.91 | 1996 |
| A Task-Based Approach to Verifying Conceptual Models | 0 | 0.34 | 1996 |
| Expressing JSD in Z | 0 | 0.34 | 1995 |