| Document Date: 2012-08-05 17:30:05
Open Document File Size: 334,64 KBShare Result on Facebook
Company Guest0 / / IndustryTerm software abstractions / Lightweight tools / similar applications / concurrent algorithms / proof tools / cartesian product / well known telephone switching specification / / Person Peter Gorm Larsen / Carroll Morgan / Michael Butler / Martin Gogolla / John Fitzgerald / Jean-Raymond Abrial / Jim Woodcock / / Position second model / Butler / /
SocialTag |
Appendix E: Alternative Approaches The models in this appendix were contributed by Michael Butler, John Fitzgerald, Martin Gogolla, Peter Gorm Larsen, and Jim Woodcock, and are included here with their permission. Alloy