Author of the publication

A method for FORTRAN programs reverse engineering using algebraic specifications.

, and . WADT, volume 1376 of Lecture Notes in Computer Science, page 156-173. Springer, (1997)

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

Coloured Petri net refinement specification and correctness proof with Coq., , and . ISSE, 6 (3): 195-202 (2010)Behaviour Recognition Using Chronicles., , and . TASE, page 100-107. IEEE Computer Society, (2011)Formalising Concurrent UML State Machines Using Coloured Petri Nets., , and . KSE, volume 326 of Advances in Intelligent Systems and Computing, page 473-486. Springer, (2014)Behavioural Analysis for Distributed Simulations., , , and . APSEC, page 482-487. IEEE, (2012)Specialisation and Generalisation of Processes., , and . Enterprise Modelling and Information Systems Architectures, 13 (Special): 35-46 (2018)Using CASL to Specify the Requirements and the Design: A Problem Specific Approach., and . WADT, volume 1827 of Lecture Notes in Computer Science, page 106-125. Springer, (1999)The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification., , , , , and . Petri Nets, volume 6128 of Lecture Notes in Computer Science, page 145-164. Springer, (2010)PETRIREVE: Proving Petri Net Properties with Rewriting Systems., and . RTA, volume 202 of Lecture Notes in Computer Science, page 271-286. Springer, (1985)Modelling chronicle recognition for distributed simulation processing with coloured Petri nets., , and . SimuTools, page 42. ICST/ACM, (2009)Coloured Petri Nets for Chronicle Recognition., , and . Ada-Europe, volume 5570 of Lecture Notes in Computer Science, page 266-281. Springer, (2009)