default search action

combined dblp search
author search
venue search
publication search

ask others

Stephen J. Goldsack

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

1996
[b1]
- view
  authority control:
- export record
  dblp key:
  - books/daglib/0083672
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0083672
Stephen J. Goldsack, Stuart J. H. Kent:
Formal Methods and Object Technology. FACIT : formal approaches to computing and information technology, Springer 1996, ISBN 978-3-540-19977-9

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

1996
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/sigplan/GoldsackLD96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigplan/GoldsackLD96
Stephen J. Goldsack, Kevin Lano, Eugène Dürr:
Annealing and Data Decomposition in VDM++. ACM SIGPLAN Notices 31(4): 32-38 (1996)
1994
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/dse/GargaroGHVWW94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dse/GargaroGHVWW94
Anthony B. Gargaro, Stephen J. Goldsack, A. A. Holzbacher-Valero, Richard A. Volz, Raymond Waldrop, Andy J. Wellings:
Supporting distribution and dynamic reconfiguration in AdaPT. Distributed Syst. Eng. 1(3): 145-161 (1994)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/dse/VolzTWGH94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dse/VolzTWGH94
Richard A. Volz, Ron Theriault, Raymond Waldrop, Stephen J. Goldsack, A. A. Holzbacher-Valero:
Distributed and parallel Ada and the Ada 9X recommendations. Distributed Syst. Eng. 1(4): 224-241 (1994)
1991
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/iee/GoldsackF91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iee/GoldsackF91
Stephen J. Goldsack, A. C. W. Finkelstein:
Requirements engineering for real-time systems. Softw. Eng. J. 6(3): 101-115 (1991)
1982
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/automatica/GoldsackK82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/automatica/GoldsackK82
Stephen J. Goldsack, Jeff Kramer:
Invariants in the application-oriented specification of control systems. Autom. 18(1): 71-76 (1982)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c16]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/lmo/GoldsackL99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lmo/GoldsackL99
Stephen J. Goldsack, Kevin Lano:
Models Involving Multiple Instances of a Component. LMO 1999: 245-260
1997
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/arts/GoldsackLD97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arts/GoldsackLD97
Stephen J. Goldsack, Kevin Lano, Eugène Dürr:
Specification and Refinement of Continuous Real-Time Systems. ARTS 1997: 310-324
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoopw/LanoG97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoopw/LanoG97
Kevin Lano, Stephen J. Goldsack:
Formalizing Real-Time System Design. ECOOP Workshops 1997: 436-445
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/KatwijkDG97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/KatwijkDG97
Jan van Katwijk, Eugène Dürr, Stephen J. Goldsack:
Hybrid Object-Oriented Real-Time Software Development with VDM⁺⁺. ICFEM 1997: 17-27
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/zum/LanoGBK97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/zum/LanoGBK97
Kevin Lano, Stephen J. Goldsack, Juan Bicarregui, Stuart Kent:
Integrating VDM++ and Real-Time System Design. ZUM 1997: 188-219
1996
[c11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/sbes/DurrGK96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbes/DurrGK96
Eugène Dürr, Stephen J. Goldsack, Jan van Katwijk:
Real Time Formal Specification using VDM++. SBES 1996: 57-72
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/words/KatwijkDG96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/words/KatwijkDG96
Jan van Katwijk, Eugène Dürr, Stephen J. Goldsack:
Real time formal specification using VDM⁺⁺. WORDS 1996: 17-24
1995
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/LanoG95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/LanoG95
Kevin Lano, Stephen J. Goldsack:
Discrete event process controller synthesis using VDM⁺⁺. ICECCS 1995: 129-136
1994
[c8]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/imperial/LanoG94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/imperial/LanoG94
Kevin Lano, Stephen J. Goldsack:
Refinement, Subtyping and Subclassing in VDM++. Theory and Formal Methods 1994: 341-363
[c7]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/tools/DurrG94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/DurrG94
Eugène Dürr, Stephen J. Goldsack:
Rigorous Development of Concurrent O-O Systems. TOOLS (13) 1994: 515
1992
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/GoldsackHVW92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/GoldsackHVW92
Stephen J. Goldsack, A. A. Holzbacher-Valero, Richard A. Volz, Raymond Waldrop:
AdaPT and Ada 9X. TRI-Ada 1992: 493-503
1991
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/Goldsack091
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/Goldsack091
Stephen J. Goldsack, Colin Atkinson:
DRAGOON: a tool for the Ada programmer. TRI-Ada 1991: 348-359
1990
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/irtaw/GargaroGPVW90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/irtaw/GargaroGPVW90
Anthony B. Gargaro, Stephen J. Goldsack, R. K. Powers, Richard A. Volz, Andy J. Wellings:
Adapting Ada distribution and fault tolerance. IRTAW 1990: 111-117
1989
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/irtaw/GoldsackA89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/irtaw/GoldsackA89
Stephen J. Goldsack, C. Alkinson:
An object oriented approach to virtual nodes: are package types an answer? IRTAW 1989: 78-84
1988
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/Goldsack88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Goldsack88
Stephen J. Goldsack:
Specification of an Operating System Kernel FOREST and VDM compared. VDM Europe 1988: 88-100
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/irtaw/0002G88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/irtaw/0002G88
Colin Atkinson, Stephen J. Goldsack:
Communication between Ada programs in DIADEM. IRTAW 1988: 86-96

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.