From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

OASIS: An Object-Oriented Specification Language.

O. Pastor, F. Hayes, и S. Bear. CAiSE, том 593 из Lecture Notes in Computer Science, стр. 348-363. Springer, (1992)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Towards a Formal Semantics of the BS/VDM Specification Language.P. Larsen, M. Arentoft, B. Monahan, и S. Bear. IFIP Congress, стр. 95-100. North-Holland/IFIP, (1989)OASIS: An Object-Oriented Specification Language.O. Pastor, F. Hayes, и S. Bear. CAiSE, том 593 из Lecture Notes in Computer Science, стр. 348-363. Springer, (1992)OASIS: An Object-Oriented Specification Language.O. Lopez, F. Hayes, и S. Bear. том 593 из Lecture Notes in Computer Science, стр. 348--363. Springer, Berlin, Heidelberg, (января 1992)An Overview of HP-SL.S. Bear. VDM Europe (1), том 551 из Lecture Notes in Computer Science, стр. 571-587. Springer, (1991)Introducing Objectcharts or how to use Statecharts in object-oriented designD. Coleman, F. Hayes, и S. Bear. Software Engineering, IEEE Transactions on, 18 (1): 8--18 (1992)Specifying medical software.T. Rush, и S. Bear. CBMS, стр. 438-441. IEEE Computer Society, (1992)Graphical Specification of Object-Oriented Systems.S. Bear, P. Allen, D. Coleman, и F. Hayes. OOPSLA/ECOOP, стр. 28-37. ACM, (1990)SIGPLAN Notices 25(10).Structuring for the VDM Specification Language.S. Bear. VDM Europe, том 328 из Lecture Notes in Computer Science, стр. 2-25. Springer, (1988)