Using Alloy in Introductory Courses of Formal Methods

2015 ◽  
pp. 97-110 ◽  
Author(s):  
Shin Nakajima
Keyword(s):  
Formal Methods ◽  
Introductory Courses

Application of formal methods to the VIPER microprocessor

1987 ◽  
Vol 134 (3) ◽  
pp. 133 ◽  
Author(s):  
W.J. Cullyer ◽  
C.H. Pygott
Keyword(s):  
Formal Methods

A Prototype Formal Methods Environment

2001 ◽  
Author(s):  
Ray Teitelbaum
Keyword(s):  
Formal Methods

Theory, Method, and Social Reproduction in Social Science History: A Short Jeremiad

1999 ◽  
Vol 23 (4) ◽  
pp. 491-499
Author(s):  
Charles Wetherell
Keyword(s):  
Social Science ◽  
Formal Methods ◽  
Social Theory ◽  
Social Reproduction ◽  
Historical Research ◽  
Theory Method ◽  
Next Generation ◽  
Science History ◽  
Social Science History ◽  
Collective Enterprise

Let me begin with a simple theme, repentance, and a simple message: repent from complacency in the practice and defense of social science history (SSH). I say this because I do not see social science historians meeting three major challenges that must be overcome if the larger, collective enterprise is to survive with the same vitality it had a decade ago. Those challenges are, first, to bring social theory forcefully back into historical research; second, to take formal methods to a new, higher level; and, third, to seek to train the next generation of social science historians in the theory and methods they will need in the next century.

Sign in / Sign up

Export Citation Format

Share Document