Zobrazeno 1 - 10
of 77
pro vyhledávání: '"S. J. Goldsack"'
Autor:
S. J. Goldsack, K. Lano
Publikováno v:
ACM SIGPLAN Notices. 31:32-38
VDM ++ is a formal specification language derived from VDMSL and incorporating object-oriented structuring based on language extensions which owe much to SmallTalk (though features have been added to cater for specifying reactive real-time systems).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6c2612e8fc41ceb329eae9d27bab0e4e
https://doi.org/10.1145/249118.249124
https://doi.org/10.1145/249118.249124
Publikováno v:
Distributed Systems Engineering. 1:224-241
Recently, the DoD has sponsored work towards a new version of Ada, intended to support the construction of distributed systems. The revised version, often called Ada 9X, will become the new standard sometimes in the 1990s. It is intended that Ada 9X
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ba69f1507f1f1f3ad28ef903ab0c2241
https://doi.org/10.1088/0967-1846/1/4/004
https://doi.org/10.1088/0967-1846/1/4/004
Publikováno v:
ACM SIGAda Ada Letters. :80-92
Following an initial proposal developed at the 4th Ada Real Time Programming Workshop, Nemacolin Woodlands, 1989, and further meetings to pursue the ideas, a series of papers were published [1][2][3] describing and discussing possible Ada language ex
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::696ef14a381cee352a23d8bc35d23d74
https://doi.org/10.1145/181485.181491
https://doi.org/10.1145/181485.181491
Autor:
A. A. Holzbacher-Valero, Andy J. Wellings, Richard A. Volz, Anthony Gargaro, R. Waldrop, S. J. Goldsack
Publikováno v:
Distributed Systems Engineering. 1:145-161
It is widely accepted that Ada83 provides inadequate support for the programming of distributed systems. Ada9X has introduced a unit of distribution called a partition. Partitions comprise aggregations of library units that collectively may execute i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ecefbc63859f91b65cd8da6da4bde3d8
https://doi.org/10.1088/0967-1846/1/3/003
https://doi.org/10.1088/0967-1846/1/3/003
Publikováno v:
ACM SIGAda Ada Letters. :78-90
This paper shows how the concept of Partitions introduced in the work of an earlier workshop [Gargaro 90a] as a possible feature to support the development of secure distributed systems in Ada9x is closely related to the abstract data type packages i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a57d5fcf7409713bd3f38d8efa5a370e
https://doi.org/10.1145/152827.152833
https://doi.org/10.1145/152827.152833
Publikováno v:
ACM SIGAda Ada Letters. :111-117
During the Third International Real Time Ada Workshop held at Nemacolin Woodlands, Pennsylvania, in June 1989, the present authors formed a study group to review the changes in the Ada standard which would make the language more suitable for programm
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d24b920481680e3493d34e19b1241e13
https://doi.org/10.1145/102456.102480
https://doi.org/10.1145/102456.102480
Publikováno v:
Formal Aspects of Computing. 2:196-202
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a728b16d08457c956e8bb1dd225fc6d7
https://doi.org/10.1007/bf01888223
https://doi.org/10.1007/bf01888223
Autor:
S. J. Goldsack
Publikováno v:
Real Time Control of Large Scale Systems ISBN: 3540150331
This paper presents a short summary of part of the work of a study group, supported by the Commission of the European Communities, into the use of Ada for system specification. The work was carried out by the team of members from industry and the uni
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::158ffef7086161a460d4a6a150ec150f
https://doi.org/10.1007/bfb0008324
https://doi.org/10.1007/bfb0008324
Publikováno v:
Industrial-Strength Formal Methods in Practice ISBN: 9781852336400
This chapter shows the combined use of formal methods with techniques developed in control engineering for the design and development of automation systems for discrete-event processes. On the one hand, formal methods guarantee the correct implementa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::911f5e35a74120a874e0277ec8d2a149
https://doi.org/10.1007/978-1-4471-0523-7_4
https://doi.org/10.1007/978-1-4471-0523-7_4
Autor:
Kevin Lano, S. J. Goldsack
This paper describes how object-oriented design patterns can be used within a formal development process, and how the structure of formal requirements specifications, as expressed in their invariant properties, may serve to suggest suitable patterns
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::18f9540a556894f53205bdf685effb7c
https://doi.org/10.1533/9781782420613.17
https://doi.org/10.1533/9781782420613.17