Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
S. J. Goldsack
1990 – 1999
- 1999
[c11]- 1997
- [c10]S. J. Goldsack, Kevin Lano, Eugène Dürr: Specification and Refinement of Continuous Real-Time Systems. ARTS 1997: 310-324
- [c9]
- [c8]Jan van Katwijk, Eugène Dürr, S. J. Goldsack: Hybrid Object-Oriented Real-Time Software Development with VDM++. ICFEM 1997: 17-
- [c7]Kevin Lano, S. J. Goldsack, Juan Bicarregui, Stuart Kent: Integrating VDM++ and Real-Time System Design. ZUM 1997: 188-219
- 1996
- [j3]S. J. Goldsack, Kevin Lano, Eugène Dürr: Annealing and Data Decomposition in VDM++. SIGPLAN Notices 31(4): 32-38 (1996)
- [c6]Jan van Katwijk, Eugène Dürr, S. J. Goldsack: Real time formal specification using VDM++. WORDS 1996: 17-24
- 1995
- [c5]Kevin Lano, S. J. Goldsack: Discrete event process controller synthesis using VDM/sup ++/. ICECCS 1995: 129-136
- 1994
- [j2]A. B. Gargaro, S. J. Goldsack, A. A. Holzbacher-Valero, Richard A. Volz, R. Waldrop, Andy J. Wellings: Supporting distribution and dynamic reconfiguration in AdaPT. Distributed Systems Engineering 1(3): 145-161 (1994)
- [j1]Richard A. Volz, Ron Theriault, R. Waldrop, S. J. Goldsack, A. A. Holzbacher-Valero: Distributed and parallel Ada and the Ada 9X recommendations. Distributed Systems Engineering 1(4): 224-241 (1994)
- [c4]Kevin Lano, S. J. Goldsack: Refinement, Subtyping and Subclassing in VDM++. Theory and Formal Methods 1994: 341-363
- [c3]
- 1992
- [c2]S. J. Goldsack, A. A. Holzbacher-Valero, Richard A. Volz, R. Waldrop: AdaPT and Ada 9X. TRI-Ada 1992: 493-503
1980 – 1989
- 1988
- [c1]S. J. Goldsack: Specification of an Operating System Kernel FOREST and VDM compared. VDM Europe 1988: 88-100
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 21:32 CET by the dblp team