| 2004 |
|---|
| 13 | EE | Jonathan Jacky:
Model-Based Testing with Spec#.
ICFEM 2004: 5-6 |
| 2003 |
|---|
| 12 | EE | Ira J. Kalet,
Robert S. Giansiracusa,
Jonathan Jacky,
Drora Avitan:
A declarative implementation of the DICOM-3 network protocol.
Journal of Biomedical Informatics 36(3): 159-176 (2003) |
| 1998 |
|---|
| 11 | | Jonathan Jacky:
Analyzing a Real-Time Program with Z.
ZUM 1998: 136-153 |
| 1997 |
|---|
| 10 | | Jonathan Jacky,
Jonathan Unger,
Michael Patrick,
David Reid,
Ruedi Risler:
Experience with Z Developing a Control Program for a Radiation Therapy Machine.
ZUM 1997: 317-328 |
| 1995 |
|---|
| 9 | | Jonathan Jacky,
Jonathan Unger:
From Z to Code: A Graphical User Interface for a Radiostation Therapy Machine.
ZUM 1995: 315-333 |
| 8 | EE | Jonathan Jacky:
Specifying a Safety-Critical Control System in Z.
IEEE Trans. Software Eng. 21(2): 99-106 (1995) |
| 1993 |
|---|
| 7 | | Jonathan Jacky:
Specifying a Safety-Critical Control System in Z.
FME 1993: 388-402 |
| 1992 |
|---|
| 6 | | Jonathan Jacky:
Formal Specification and Development of Control System Input/Output.
Z User Workshop 1992: 95-108 |
| 1990 |
|---|
| 5 | | Jonathan Jacky:
Inside Risks: Risks in Medical Electronics.
Commun. ACM 33(12): 138 (1990) |
| 1989 |
|---|
| 4 | | Doug Schuler,
Jonathan Jacky:
Introduction - Computing and Social Responsibilities.
Commun. ACM 32(8): 925-927 (1989) |
| 1987 |
|---|
| 3 | | Jonathan Jacky,
Ira Kalet:
An Object-Oriented Programming Discipline for Standard Pascal.
Commun. ACM 30(9): 772-776 (1987) |
| 1986 |
|---|
| 2 | | Jonathan Jacky,
Ira Kalet:
An Object-Oriented Approach to a Large Scientific Application.
OOPSLA 1986: 368-376 |
| 1983 |
|---|
| 1 | | Jonathan Jacky,
Ira Kalet:
A General Purpose Data Entry Program.
Commun. ACM 26(6): 409-417 (1983) |
