Stephen J. Goldsack

According to our database, Stephen J. Goldsack authored at least 22 papers between 1982 and 1999.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1999

Models Involving Multiple Instances of a Component.

Stephen J. Goldsack, Kevin Lano

Proceedings of the Actes des journées Langages et Modèles à Objets, 1999

1997

Integrating VDM++ and Real-Time System Design.

Kevin Lano, Stephen J. Goldsack, Juan Bicarregui, Stuart Kent

Proceedings of the ZUM '97: The Z Formal Specification Notation, 1997

Hybrid Object-Oriented Real-Time Software Development with VDM⁺⁺.

Jan van Katwijk, Eugène Dürr, Stephen J. Goldsack

Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997

Formalizing Real-Time System Design.

Kevin Lano, Stephen J. Goldsack

Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

Specification and Refinement of Continuous Real-Time Systems.

Stephen J. Goldsack, Kevin Lano, Eugène Dürr

Proceedings of the Transformation-Based Reactive Systems Development, 1997

1996

Annealing and Data Decomposition in VDM++.

Stephen J. Goldsack, Kevin Lano, Eugène Dürr

ACM SIGPLAN Notices, 1996

Real time formal specification using VDM⁺⁺.

Jan van Katwijk, Eugène Dürr, Stephen J. Goldsack

Proceedings of WORDS'96. The Second Workshop on Object-Oriented Real-Time Dependable Systems, 1996

Real Time Formal Specification using VDM++.

Eugène Dürr, Stephen J. Goldsack, Jan van Katwijk

Proceedings of the 10th Brazilian Symposium on Software Engineering, 1996

Formal Methods and Object Technology

Stephen J. Goldsack, Stuart J. H. Kent

FACIT : formal approaches to computing and information technology, Springer, ISBN: 978-3-540-19977-9, 1996

1995

Discrete event process controller synthesis using VDM⁺⁺.

Kevin Lano, Stephen J. Goldsack

Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), 1995

1994

Distributed and parallel Ada and the Ada 9X recommendations.

Richard A. Volz, Ron Theriault, Raymond Waldrop, Stephen J. Goldsack, A. A. Holzbacher-Valero

Distributed Syst. Eng., 1994

Supporting distribution and dynamic reconfiguration in AdaPT.

Anthony B. Gargaro, Stephen J. Goldsack, A. A. Holzbacher-Valero, Richard A. Volz, Raymond Waldrop, Andy J. Wellings

Distributed Syst. Eng., 1994

Rigorous Development of Concurrent O-O Systems.

Eugène Dürr, Stephen J. Goldsack

Proceedings of the TOOLS 1994: 13th International Conference on Technology of Object-Oriented Languages and Systems, 1994

Refinement, Subtyping and Subclassing in VDM++.

Kevin Lano, Stephen J. Goldsack

Proceedings of the Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, 1994

1992

AdaPT and Ada 9X.

Stephen J. Goldsack, A. A. Holzbacher-Valero, Richard A. Volz, Raymond Waldrop

Proceedings of the Conference Proceedings on TRI-Ada 1992, 1992

1991

Requirements engineering for real-time systems.

Stephen J. Goldsack, A. C. W. Finkelstein

Softw. Eng. J., 1991

DRAGOON: a tool for the Ada programmer.

Stephen J. Goldsack, Colin Atkinson

Proceedings of the Conference on TRI-Ada 1991, 1991

1990

Adapting Ada distribution and fault tolerance.

Anthony B. Gargaro, Stephen J. Goldsack, R. K. Powers, Richard A. Volz, Andy J. Wellings

Proceedings of the Fourth International Workshop on Real-Time Ada Issues, 1990

1989

An object oriented approach to virtual nodes: are package types an answer?

Stephen J. Goldsack, C. Alkinson

Proceedings of the Third International Workshop on Real-Time Ada Issues, 1989

1988

Communication between Ada programs in DIADEM.

Colin Atkinson, Stephen J. Goldsack

Proceedings of the Second International Workshop on Real-Time Ada Issues, 1988

Specification of an Operating System Kernel FOREST and VDM compared.

Stephen J. Goldsack

Proceedings of the VDM '88, 1988

1982

Invariants in the application-oriented specification of control systems.

Stephen J. Goldsack, Jeff Kramer

Autom., 1982