S. J. Goldsack

According to our database1, S. J. Goldsack authored at least 17 papers between 1982 and 1999.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1999
Models Involving Multiple Instances of a Component.
Proceedings of the Actes des journées Langages et Modèles à Objets, 1999

1997
Integrating VDM++ and Real-Time System Design.
Proceedings of the ZUM '97: The Z Formal Specification Notation, 1997

Hybrid Object-Oriented Real-Time Software Development with VDM<sup>++</sup>.
Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997

Formalizing Real-Time System Design.
Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

Specification and Refinement of Continuous Real-Time Systems.
Proceedings of the Transformation-Based Reactive Systems Development, 1997

1996
Annealing and Data Decomposition in VDM++.
ACM SIGPLAN Notices, 1996

Real time formal specification using VDM<sup>++</sup>.
Proceedings of WORDS'96. The Second Workshop on Object-Oriented Real-Time Dependable Systems, 1996

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

1995
Discrete event process controller synthesis using VDM/sup ++/.
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.
Distributed Syst. Eng., 1994

Supporting distribution and dynamic reconfiguration in AdaPT.
Distributed Syst. Eng., 1994

Rigorous Development of Concurrent O-O Systems.
Proceedings of the TOOLS 1994: 13th International Conference on Technology of Object-Oriented Languages and Systems, 1994

Refinement, Subtyping and Subclassing in VDM++.
Proceedings of the Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, 1994

1992
AdaPT and Ada 9X.
Proceedings of the Conference Proceedings on TRI-Ada 1992, 1992

1991
Requirements engineering for real-time systems.
Softw. Eng. J., 1991

1988
Specification of an Operating System Kernel FOREST and VDM compared.
Proceedings of the VDM '88, 1988

1982
Invariants in the application-oriented specification of control systems.
Autom., 1982


  Loading...