Author of the publication

Reverse Engineering Concurrent Programs using Formal Modelling and Analysis.

, , , and . ICSM, page 255-264. IEEE Computer Society, (1996)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

New co-editor for journal of software maintenance.. Journal of Software Maintenance, 4 (4): 181 (1992)Formal methods for legacy systems., and . Journal of Software Maintenance, 7 (3): 203-219 (1995)Approaches to program comprehension., , , and . J. Syst. Softw., 14 (2): 79-84 (1991)Hypothesis-based concept assignment in software maintenance., and . IEE Proc. Softw., 149 (4): 103-110 (2002)A Model for a Broadband Cellular Wireless Network for Digital Communications., , and . Computer Networks and ISDN Systems, 26 (4): 391-402 (1993)An Algorithm for Resource Location in a Loosely Linked Distributed Computer System., and . ACM SIGOPS Oper. Syst. Rev., 15 (2): 16-20 (1981)Model-based tools to record program understanding., and . WPC, page 87-95. IEEE, (1993)Message Transport on the Cambridge Ring-A Simulation study., and . Softw. Pract. Exp., 11 (7): 711-716 (1981)Developing a model to manage the software maintenance process., and . ICSM, page 174-182. IEEE Computer Society, (1992)The Data-Gathering Broker - A User-Based Approach to Viable EPR Systems., , , , , , , , , and . MIE, volume 116 of Studies in Health Technology and Informatics, page 905-910. IOS Press, (2005)