Article

CICS Project Report: Experiences and Results from the use of Z in IBM

Authors:

VDM '91: Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I

Pages 588 - 596

Published: 21 October 1991 Publication History

Abstract

No abstract available.

Cited By

View all

Chen YSanders J(2010)UTP and sustainabilityProceedings of the Third international conference on Unifying theories of programming10.5555/1939848.1939850(46-73)Online publication date: 15-Nov-2010
https://dl.acm.org/doi/10.5555/1939848.1939850
Woodcock JLarsen PBicarregui JFitzgerald J(2009)Formal methodsACM Computing Surveys10.1145/1592434.159243641:4(1-36)Online publication date: 9-Oct-2009
https://dl.acm.org/doi/10.1145/1592434.1592436
Jia X(1997)A Pragmatic Approach to Formalizing Object-Oriented Modeling and DevelopmentProceedings of the 21st International Computer Software and Applications Conference10.5555/645979.673826(240-245)Online publication date: 11-Aug-1997
https://dl.acm.org/doi/10.5555/645979.673826
Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

VDM '91: Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I

October 1991

695 pages

ISBN:3540548343

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 21 October 1991

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 04 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Chen YSanders J(2010)UTP and sustainabilityProceedings of the Third international conference on Unifying theories of programming10.5555/1939848.1939850(46-73)Online publication date: 15-Nov-2010
https://dl.acm.org/doi/10.5555/1939848.1939850
Woodcock JLarsen PBicarregui JFitzgerald J(2009)Formal methodsACM Computing Surveys10.1145/1592434.159243641:4(1-36)Online publication date: 9-Oct-2009
https://dl.acm.org/doi/10.1145/1592434.1592436
Jia X(1997)A Pragmatic Approach to Formalizing Object-Oriented Modeling and DevelopmentProceedings of the 21st International Computer Software and Applications Conference10.5555/645979.673826(240-245)Online publication date: 11-Aug-1997
https://dl.acm.org/doi/10.5555/645979.673826
Gaudel MFadini BOsterweil Lvan Lamsweerde A(1994)Formal specification techniques (extended abstract)Proceedings of the 16th international conference on Software engineering10.5555/257734.257771(223-227)Online publication date: 21-May-1994
https://dl.acm.org/doi/10.5555/257734.257771

Cited By

Recommendations

Cics transaction gateway v5 the websphere connector for cics

Threadsafe Considerations for Cics

Exploring systems monitoring for cics transaction gateway v7.1 for z/os

Comments

Published In

Publisher

Publication History

Qualifiers

Other Metrics

Article Metrics

Other Metrics

Cited By

Abstract

Cited By

Recommendations

Cics transaction gateway v5 the websphere connector for cics

Threadsafe Considerations for Cics

Exploring systems monitoring for cics transaction gateway v7.1 for z/os

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Share

Share this Publication link

Share on social media

Affiliations