Jonathan Jacky

发表

The Way of Z: Formal methods and project management

Jonathan Jacky, 1996 .

Clinical Neutron Therapy System Installation and Operations

Jonathan Jacky, 2002 .

The Way of Z: Program derivation and formal verification

Jonathan Jacky, 1996 .

The Way of Z: Further reading

Jonathan Jacky, J. Jacky, 1996 .

Model-Based Software Testing and Analysis with C#: Command Reference

Jonathan Jacky, Margus Veanes, Wolfram Schulte, 2007 .

Formal Specification and Development of Control System Input/Output

Jonathan Jacky, 1992, Z User Workshop.

Analyzing a Real-Time Program with Z

Jonathan Jacky, 1998, ZUM.

Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers

Xi Wang, Michael D. Ernst, Emina Torlak, 2016, CAV.

An object-oriented approach to a large scientific application

Jonathan Jacky, Ira J. Kalet, 1986, OOPSLA 1986.

The Way of Z: Introducing schemas: text editor

Jonathan Jacky, 1996 .

Jonathan Jacky, 1996 .

Model-Based Software Testing and Analysis with C#: Structuring Model Programs with Features and Composition

Jonathan Jacky, Margus Veanes, Wolfram Schulte, 2007 .

From Z to Code: A Graphical User Interface for a Radiostation Therapy Machine

Jonathan Jacky, Jonathan Unger, 1995, ZUM.

Model-Based Testing of Web Applications Using NModel

Jonathan Jacky, Margus Veanes, Juhan P. Ernits, 2009, TestCom/FATES.

The Way of Z: Preface

Jonathan Jacky, 1996 .

Experience with Z Developing a Control Program for a Radiation Therapy Machine

Jonathan Jacky, David Reid, Jonathan Unger, 1997, ZUM.

Modeling Systems with Structured State

Jonathan Jacky, Margus Veanes, Colin Campbell, 2007 .

Model-Based Software Testing and Analysis with C#

Jonathan Jacky, Margus Veanes, Wolfram Schulte, 2007 .

Model-Based Software Testing and Analysis with C#: Modeling Objects

Jonathan Jacky, Margus Veanes, Colin Campbell, 2007 .

The Way of Z: Graphical user interface

Jonathan Jacky, 1996 .

Model-Based Software Testing and Analysis with C#: Testing Closed Systems

Jonathan Jacky, Margus Veanes, Wolfram Schulte, 2007 .

The Way of Z: Practical Programming with Formal Methods

Jonathan Jacky, J. Jacky, 1996 .

Model-Based Software Testing and Analysis with C#: Systems with Complex State

Jonathan Jacky, Margus Veanes, Wolfram Schulte, 2007 .

Lessons from the Formal Development of a Radiation Therapy Machine Control Program

Jonathan Jacky, 1999 .

The Way of Z: Eight queens

Jonathan Jacky, 1996 .

The Way of Z: Formal methods

Jonathan Jacky, 1996 .

Specifying a Safety-Critical Control System in Z

Jonathan Jacky, J. Jacky, 1993, IEEE Trans. Software Eng..

A declarative implementation of the DICOM-3 network protocol

Jonathan Jacky, Ira J. Kalet, Robert S. Giansiracusa, 2003, J. Biomed. Informatics.

The Way of Z: Safety-critical protection system

Jonathan Jacky, 1996 .

The Way of Z: From prose to Z: control console

Jonathan Jacky, 1996 .

Model-Based Software Testing and Analysis with C#: Preface

Jonathan Jacky, Margus Veanes, Wolfram Schulte, 2007 .

An Object-Oriented Approach to a Large Scientific Application

Jonathan Jacky, Ira J. Kalet, 1986, OOPSLA.

Model-Based Software Testing and Analysis with C#: Describe, Analyze, Test

Jonathan Jacky, Margus Veanes, Wolfram Schulte, 2007 .

Model-Based Software Testing and Analysis with C#: Analyzing Systems with Complex State

Jonathan Jacky, Margus Veanes, Colin Campbell, 2007 .

Computer Aided Verification

Michael D. Ernst, Emina Torlak, Jonathan Jacky, 2016, Lecture Notes in Computer Science.

A general purpose data entry program

Jonathan Jacky, Ira J. Kalet, 1983, CACM.

Specifying a Safety-Critical Control System in Z

Jonathan Jacky, 1993, FME.

The Way of Z: Concurrency and real time

Jonathan Jacky, 1996 .

Model-Based Software Testing and Analysis with C#: Why We Need Model-Based Testing

Jonathan Jacky, Margus Veanes, Colin Campbell, 2007 .

Inside RISKS: risks in medical electronics

Jonathan Jacky, 1990, CACM.

Prism System Implementation Version 1.3

Jonathan Jacky, Ira J. Kalet, Mark H. Phillips, 2000 .

The Way of Z: Text processing

Jonathan Jacky, 1996 .

Schemas and schema calculus

Jonathan Jacky, 1996 .

Composing model programs for analysis

Jonathan Jacky, Margus Veanes, 2010, J. Log. Algebraic Methods Program..

Model-Based Testing with Spec#

Jonathan Jacky, 2004, ICFEM.

The Way of Z: Object-oriented programming

Jonathan Jacky, J. Jacky, 1996 .

Modeling Library Reference

Jonathan Jacky, Margus Veanes, Colin Campbell, 2007 .

The Way of Z: Document control system

Jonathan Jacky, 1996 .

Why We Need Model-Based Analysis

Jonathan Jacky, Margus Veanes, Colin Campbell, 2007 .

PyModel: Model-based testing in Python

Jonathan Jacky, 2011 .

The Way of Z: Bibliography

Jonathan Jacky, 1996 .

A Control System for a Radiation Therapy Machine

Jonathan Jacky, David Reid, R. Risler, 2001 .

Prism User's Reference Manual Version 1.5

Jonathan Jacky, Ira J. Kalet, Mark H. Phillips, 2005 .

Formal Safety Analysis of the Control Program for a Radiation Therapy Machine

Jonathan Jacky, 2000 .

Safety-Critical Computing: Hazards, Practices, Standards, and Regulation

Jonathan Jacky, J. Jacky, 1991, Computerization and Controversy, 2nd Ed..

Model-Based Software Testing and Analysis with C#: Testing Systems with Complex State

Jonathan Jacky, Margus Veanes, Colin Campbell, 2007 .

Introduction—computing and social responsibilities

Jonathan Jacky, Doug Schuler, 1989, CACM.

Automatic Formal Verification for EPICS

Michael D. Ernst, Emina Torlak, Jonathan Jacky, 2018 .

Model-based Testing Without a Model: Assessing Portability in the Seattle Testbed

Justin Cappos, Jonathan Jacky, 2010, SSV.

Model-Based Software Testing and Analysis with C#: Exploring and Analyzing Finite Model Programs

Jonathan Jacky, Margus Veanes, Wolfram Schulte, 2007 .

Model-Based Software Testing and Analysis with C#: Further Reading

Jonathan Jacky, Margus Veanes, Wolfram Schulte, 2007 .

Clinical Neutron Therapy System Reference Manual

Jonathan Jacky, R. Risler, 2002 .

Formal specification for a clinical cyclotron control system

Jonathan Jacky, J. Jacky, 1990, Formal Methods in Software Development.

The Way of Z: Generic definitions and free types

Jonathan Jacky, 1996 .

Heterodyne Digital Control of a High-Frequency Micromechanical Oscillator

Jonathan Jacky, Joseph L. Garbini, John A. Sidles, 2006 .

The Way of Z: Why Use Formal Methods?

Jonathan Jacky, 1996 .

Relational database: a radiation therapy machine control software development tool

Jonathan Jacky, Ira J. Kalet, R. Risler, 1989, Images of the Twenty-First Century. Proceedings of the Annual International Engineering in Medicine and Biology Society,.

The Way of Z: Other formal notations

Jonathan Jacky, 1996 .

Model-Based Software Testing and Analysis with C#: Model Programs

Jonathan Jacky, Margus Veanes, Wolfram Schulte, 2007 .

Software Design for Interactive Graphic Radiation Treatment Simulation Systems

Jonathan Jacky, Ira J. Kalet, C Sweeney, 1990 .

An object-oriented programming discipline for standard Pascal

Jonathan Jacky, Ira J. Kalet, 1987, CACM.

Directions and implications of advanced computing, (DIAC-87)

Jonathan Jacky, Douglas Schuler, D. Schuler, 1989 .

INSTALLATION OF THE CYCLOTRON BASED CLINICAL NEUTRON THERAPY SYSTEM IN SEATTLE.

Jonathan Jacky, Ira J. Kalet, J. Eenmaa, 1984 .

Clinical Neutron Therapy System Therapist's Guide

Jonathan Jacky, R. Risler, 2002 .

PROGRAMMED FOR DISASTER

Jonathan Jacky, 1989 .