From post

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

Matching and Merging of Statecharts Specifications.

S. Nejati, M. Sabetzadeh, M. Chechik, S. Easterbrook, и P. Zave. ICSE, стр. 54-64. IEEE Computer Society, (2007)

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.

Internet Evolution and the Role of Software Engineering.P. Zave. The Future of Software Engineering, стр. 152-172. Springer, (2010)Festschrift for Bertrand Meyer on the Occasion of His 60th Birthday, November 2010.A Component-Based Approach to Telecommunication Software.P. Zave, и M. Jackson. IEEE Software, 15 (5): 70-78 (1998)Distributed Feature Composition: A Virtual Architecture for Telecommunications Services.M. Jackson, и P. Zave. IEEE Trans. Software Eng., 24 (10): 831-847 (1998)How to Make Chord Correct (Using a Stable Base).P. Zave. CoRR, (2015)Locked or Not?: Mental Models of IoT Feature Interaction.L. Yarosh, и P. Zave. CHI, стр. 2993-2997. ACM, (2017)Understanding SIP through Model-Checking.P. Zave. IPTComm, том 5310 из Lecture Notes in Computer Science, стр. 256-279. Springer, (2008)FAQ sheet on feature interactionP. Zave. (1999)http://www.research.att.com/~pamela/faq.html.A Theory of Networks: In the Beginning . . .P. Zave. Dependable Software Systems Engineering, том 40 из NATO Science for Peace and Security Series, D: Information and Communication Security, IOS Press, (2015)An Operational Approach to Requirements Specification for Embedded Systems.P. Zave. IEEE Trans. Software Eng., 8 (3): 250-269 (1982)Guest Editor's Prologue Special Issue on Software Design Methods.G. Bergland, и P. Zave. IEEE Trans. Software Eng., 12 (2): 185-191 (1986)