Object-oriented logical specification of time-critical systems

被引：38

作者：

Morzenti, Angelo ^{[1
]}

San Pietro, Pierluigi ^{[1
]}

机构：

[1] Politecnico di Milano, Milano, Italy

来源：

ACM Transactions on Software Engineering and Methodology | 1994年 / 3卷 / 01期

关键词：

D O I：

10.1145/174634.174636

中图分类号：

学科分类号：

摘要：

引用

页码：56 / 98

共 50 条

[21] LOGICAL COMPOSITION OF OBJECT-ORIENTED INTERFACES
GROSSMAN, M
EGE, R
SIGPLAN NOTICES, 1987, 22 (12): : 295 - 306
[22] Bunches for object-oriented, concurrent, and real-time specification
Paige, RF
Hehner, ECR
FM'99-FORMAL METHODS, 1999, 1708 : 530 - 550
[23] Object-oriented specification of hybrid systems using UMLh and ZimOO
Friesen, V
Nordwig, A
Weber, M
ZUM '98: THE Z FORMAL SPECIFICATION NOTATION, 1998, 1493 : 328 - 346
[24] EXECUTABLE SPECIFICATION AND ANALYSIS FOR THE DESIGN OF CONCURRENT OBJECT-ORIENTED SYSTEMS
DENG, Y
CHANG, SK
LIN, XL
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1994, 4 (04) : 427 - 450
[25] OBJECT-ORIENTED SPECIFICATION IN LOTOS AND Z, OR MY CAT REALLY IS OBJECT-ORIENTED
CUSACK, E
LAI, M
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 489 : 179 - 202
[26] Using Deep Learning and Object-Oriented Metrics to Identify Critical Components in Object-Oriented Systems
Tete, Akpedje
Touré, Fadel
Badri, Mourad
ACM International Conference Proceeding Series, 2023, : 48 - 54
[27] Process algebra for object-oriented specification
Liebert, SJ
ADVANCES IN THEORY AND FORMAL METHODS OF COMPUTING, 1996, : 145 - 155
[28] AN OBJECT-ORIENTED REQUIREMENTS SPECIFICATION METHOD
BAILIN, SC
COMMUNICATIONS OF THE ACM, 1989, 32 (05) : 608 - 623
[29] Object-oriented specification of protocols for reusability
Prinz, A
Schwarz, M
TELECOMMUNICATIONS AND BEYOND: THE BROADER APPLICABILITY OF SDL AND MSC, 2003, 2599 : 90 - 102
[30] Object-oriented software specification language
Quan, Bingzhe
Jin, Chunzhao
Ruan Jian Xue Bao/Journal of Software, 1995, 6 (12):

← 1 2 3 4 5 →