- Research Article
4- 10.3899/jrheum.121065
Transitions
- Oct 01, 2012
- The Journal of Rheumatology
- Arthur A.m Bookman
Ontario Rheumatology Association
Recent publications and citations
Top Concepts
Top subject area publications in last 5 years
Collaboration Analysis
Publications from 2021 to 2026
Latest Publications
Filter Showing 7 of 7 papers
- Book Chapter
- 10.1016/b978-0-8155-1362-9.50015-9
1 - Structured Systems Analysis and Design Method Toolset (SSADM) (Praxis Systems Ltd.)
- Jan 01, 1995
- Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems
- Dan Craigen + 2 more +2
- Book Chapter
- 10.1016/b978-0-8155-1362-9.50016-0
2 - IBM's Customer Information Control System
- Jan 01, 1995
- Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems
- Dan Craigen + 2 more +2
- Book Chapter
- 10.1016/b978-0-8155-1362-9.50008-1
4 - Methodology
- Jan 01, 1995
- Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems
- Dan Craigen + 2 more +2
- Book Chapter
- 10.1016/b978-0-8155-1362-9.50010-x
6 - Commercial Cluster Analysis
- Jan 01, 1995
- Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems
- Dan Craigen + 2 more +2
- Book Chapter
- 1
- 10.1016/b978-0-8155-1362-9.50011-1
7 - Exploratory Cluster Analysis
- Jan 01, 1995
- Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems
- Dan Craigen + 2 more +2
- Book Chapter
- 24
- 10.1007/bfb0024650
Formal methods reality check: Industrial usage
- Apr 19, 1993
- Dan Craigen + 2 more +2
Based on a systematic survey and analysis of the use of formal methods in the development of a dozen industrial applications, we summarize the methods being used, characterize the styles of industrial usage, and provide recommendations for evolutionary enhancements to the technology base of formal methods.
Read more