Stephen J. Goldsack

22 papers B 1C 1Journal 5Unranked 14
YearRankTypeTitle / Venue / Authors
1999 — conf
Models Involving Multiple Instances of a Component.
LMO
Stephen J. Goldsack, Kevin Lano
1997 — conf
Formalizing Real-Time System Design.
ECOOP Workshops
Kevin Lano, Stephen J. Goldsack
1997 C conf
Hybrid Object-Oriented Real-Time Software Development with VDM
ICFEM
Jan van Katwijk, Eugène Dürr, Stephen J. Goldsack
1997 — conf
Integrating VDM++ and Real-Time System Design.
ZUM
Kevin Lano, Stephen J. Goldsack, Juan Bicarregui, Stuart Kent
1997 — conf
Specification and Refinement of Continuous Real-Time Systems.
ARTS
Stephen J. Goldsack, Kevin Lano, Eugène Dürr
1996 J jnl
Annealing and Data Decomposition in VDM++.
ACM SIGPLAN Notices
Stephen J. Goldsack, Kevin Lano, Eugène Dürr
1996 — book
Formal Methods and Object Technology
Formal Methods and Object Technology
Stephen J. Goldsack, Stuart J. H. Kent
1996 — conf
Real Time Formal Specification using VDM++.
SBES
Eugène Dürr, Stephen J. Goldsack, Jan van Katwijk
1996 — conf
Real time formal specification using VDM
WORDS
Jan van Katwijk, Eugène Dürr, Stephen J. Goldsack
1995 B conf
Discrete event process controller synthesis using VDM
ICECCS
Kevin Lano, Stephen J. Goldsack
1994 J jnl
Distributed and parallel Ada and the Ada 9X recommendations.
Distributed Syst. Eng.
Richard A. Volz, Ron Theriault, Raymond Waldrop, Stephen J. Goldsack, A. A. Holzbacher-Valero
1994 — conf
Refinement, Subtyping and Subclassing in VDM++.
Theory and Formal Methods
Kevin Lano, Stephen J. Goldsack
1994 — conf
Rigorous Development of Concurrent O-O Systems.
TOOLS (13)
Eugène Dürr, Stephen J. Goldsack
1994 J jnl
Supporting distribution and dynamic reconfiguration in AdaPT.
Distributed Syst. Eng.
Anthony B. Gargaro, Stephen J. Goldsack, A. A. Holzbacher-Valero, Richard A. Volz, Raymond Waldrop, Andy J. Wellings
1992 — conf
AdaPT and Ada 9X.
TRI-Ada
Stephen J. Goldsack, A. A. Holzbacher-Valero, Richard A. Volz, Raymond Waldrop
1991 — conf
DRAGOON: a tool for the Ada programmer.
TRI-Ada
Stephen J. Goldsack, Colin Atkinson
1991 J jnl
Requirements engineering for real-time systems.
Softw. Eng. J.
Stephen J. Goldsack, A. C. W. Finkelstein
1990 — conf
Adapting Ada distribution and fault tolerance.
IRTAW
Anthony B. Gargaro, Stephen J. Goldsack, R. K. Powers, Richard A. Volz, Andy J. Wellings
1989 — conf
An object oriented approach to virtual nodes: are package types an answer?
IRTAW
Stephen J. Goldsack, C. Alkinson
1988 — conf
Communication between Ada programs in DIADEM.
IRTAW
Colin Atkinson, Stephen J. Goldsack
1988 — conf
Specification of an Operating System Kernel FOREST and VDM compared.
VDM Europe
Stephen J. Goldsack
1982 J jnl
Invariants in the application-oriented specification of control systems.
Autom.
Stephen J. Goldsack, Jeff Kramer