S. J. Goldsack

Publication Activity (10 Years)

Years Active: 1982-1999
Publications (10 Years): 0

Publications

S. J. Goldsack, Kevin Lano
Models Involving Multiple Instances of a Component. LMO (1999)
S. J. Goldsack, Kevin Lano, Eugène Dürr
Specification and Refinement of Continuous Real-Time Systems. ARTS (1997)
Kevin Lano, S. J. Goldsack
Formalizing Real-Time System Design. ECOOP Workshops (1997)
Kevin Lano, S. J. Goldsack, Juan Bicarregui, Stuart Kent
Integrating VDM++ and Real-Time System Design. ZUM (1997)
Jan van Katwijk, Eugène Dürr, S. J. Goldsack
. ICFEM (1997)
S. J. Goldsack, Kevin Lano, Eugène Dürr
Annealing and Data Decomposition in VDM++. ACM SIGPLAN Notices 31 (4) (1996)
Jan van Katwijk, Eugène Dürr, S. J. Goldsack
. WORDS (1996)
Kevin Lano, S. J. Goldsack
. ICECCS (1995)
Kevin Lano, S. J. Goldsack
Refinement, Subtyping and Subclassing in VDM++. Theory and Formal Methods (1994)
Eugène Dürr, S. J. Goldsack
Rigorous Development of Concurrent O-O Systems. TOOLS (13) (1994)
Richard A. Volz, Ron Theriault, R. Waldrop, S. J. Goldsack, A. A. Holzbacher-Valero
Distributed and parallel Ada and the Ada 9X recommendations. Distributed Syst. Eng. 1 (4) (1994)
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 Syst. Eng. 1 (3) (1994)
S. J. Goldsack, A. A. Holzbacher-Valero, Richard A. Volz, R. Waldrop
AdaPT and Ada 9X. TRI-Ada (1992)
S. J. Goldsack, A. C. W. Finkelstein
Requirements engineering for real-time systems. Softw. Eng. J. 6 (3) (1991)
S. J. Goldsack
Specification of an Operating System Kernel FOREST and VDM compared. VDM Europe (1988)
S. J. Goldsack, Jeff Kramer
Invariants in the application-oriented specification of control systems. Autom. 18 (1) (1982)