Documents Related by Co-Citation

631 Bandera: Extracting Finite-state Models from Java Source Code – James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Hongjun Zheng - 2000
1448 The model checker SPIN – Gerard J. Holzmann - 1997
553 The Object Constraint Language: Precise Modeling with UML – Jos Warmer, Anneke Kleppe - 1999
1221 A Computing Procedure for Quantification Theory – M Davis, H Putnam - 1960
1436 Symbolic Model Checking – K L McMillan - 1993
1224 The Z notation: A reference manual – J M Spivey - 1992
492 The design and implementation of an intentional naming system – William Adjie-Winoto, Elliot Schwartz, Hari Balakrishnan, Jeremy Lilley - 1999
6547 Design Patterns: Elements of Reusable Object-Oriented Software. Reading MA – E H Gamma, R Helm, Johnson, R Vlissides, J - 1994
1043 The Unified Modeling Language Reference Manual – James Rumbaugh, Ivar Jacobson, Grady Booch - 1999