Вы здесь

Главная

Bowen J. P.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics 2002 Huibiao Z., Bowen J. P., Jifeng H. Lecture Notes in Computer Science 20.11.2002
СТ Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing 2002 Vilkomir S. A., Bowen J. P. Lecture Notes in Computer Science 02.03.2002
СТ An Animatable Operational Semantics of the Verilog Hardware Description Language 2000 Bowen J. P., Jifeng H., Qiwen X. Proc. of Third IEEE Intern Conf. on Formal Engineering Methods - ICFEM 2000 26.12.2000
СТ Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language 2000 Bowen J. P. Lecture Notes in Computer Science 30.11.2000
СТ Z on the Web Using Java 1998 Bowen J. P., Chippington D. Lecture Notes in Computer Science 08.12.1998
СТ Comp.specification.z and Z FORUM Frequently Asked Questions 1998 Bowen J. P. Lecture Notes in Computer Science 08.12.1998
СТ Select Z Bibliography 1995 Bowen J. P. Lecture Notes in Computer Science ZUM 95: The Z Formal Specification Notation 06.10.1995
СТ Seven More Myths of Formal Methods: Dispelling Industrial Prejudices 1994 Bowen J. P., Hinchey M. G. Lecture Notes in Computer Science 09.12.1994
СТ Decompilation is the Efficient Enumeration of Types 1992 Breuer P. T., Bowen J. P. BIGRE 11.11.1992

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Abstract State Machines, B and Z: Proc./First International Conference, ABZ 2008. London, UK, September 2008 2008 Lecture Notes in Computer Science
  1. Boerger E.
  2. Butler M.
  3. Bowen J. P.
  4. Boca P.
 16.12.2008
СБ Formal Methods and Testing: Revised Selected Papers/An Outcome of the FOREST Network 2008 Lecture Notes in Computer Science
  1. Hierons R. M.
  2. Bowen J. P.
  3. Harmann M.
 07.06.2008
СБ ZB 2003 - Formal Specification and Development in Z and B: Proc./Third Intern. Conf. of B and Z Users, Turku, Finland, June 2003 2003 Lecture Notes in Computer Science
  1. Bert D.
  2. Bowen J. P.
  3. King S.
  4. Walden M.
 20.06.2003
СБ ZB 2002 - Formal Specification and Development in Z and B: Proc./2nd Intern. Conf. of B and Z Users, Grenoble, France, January 2002 2002 Lecture Notes in Computer Science
  1. Bert D.
  2. Bowen J. P.
  3. Henson M. C.
  4. Robinson K.
 02.03.2002
СБ ZB 2000: Formal Specification and Development in Z and B: Proc./First Intern. Conf. of B and Z Users, York, UK, August-September 2000 2000 Lecture Notes in Computer Science
  1. Bowen J. P.
  2. Dunne S.
  3. Galloway A.
  4. King S.
 21.10.2000
СБ ZUM 98: The Z Formal Specification Notation: Proc./11th Intern. Conf. of Z Users. Berlin, Germany, September 1998 1998 Lecture Notes in Computer Science
  1. Bowen J. P.
  2. Fett A.
  3. Hinchey M. G.
 08.12.1998
СБ ZUM 97: The Z Formal Specification Nonation: Proc./10th Intern. Conf. of Z Users. Reading, UK, April 1997 1997 Lecture Notes in Computer Science
  1. Bowen J. P.
  2. Hinchey M. G.
  3. Till D.
 15.04.1997