Formal Sprecification Techniques in IS
Recently Added Items
| Title | Added By | Updated On |
|---|---|---|
| An experience in the formal verification of industrial software | MPDJHB | Mar 16, 2010 5:03:34 AM |
| Seven Myths of Formal Methods | MPDJHB | Mar 16, 2010 4:59:36 AM |
| A rejustification of formal methods | MPDJHB | Mar 16, 2010 4:59:16 AM |
| Applications of Formal Methods | MPDJHB | Mar 16, 2010 4:59:16 AM |
| Formal Methods - Specification Methods | MPDJHB | Mar 16, 2010 4:55:58 AM |
| Ten Commandments of Formal Methods ...Ten Years Later | MPDJHB | Mar 16, 2010 4:55:58 AM |
| Ten Commandments of Formal Methods | MPDJHB | Mar 16, 2010 4:55:58 AM |
| An approach to integrating semi-formal and formal notations in software specification | MPDJHB | Mar 16, 2010 4:55:58 AM |
See all 8 items for this group in the Group Library.
Recent Group Discussion
No recent group discussions.
Formal specification techniques, with a focus on Z ( Zed ) formal notation.
Natural Language Specification enthusiasts also welcome!
- Owner: MPDJHB
- Registered: 2010-03-16
- Type: Public
- Membership: Closed
Members (1)
