Author of the publication

Defining formal models of the software development process

, and . Software Engineering Environments, Ellis Horwood Limited, (1988)

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

Modelling iteration in the software process., and . ISPW, page 101-104. IEEE Computer Society, (1986)Railway Modelling - The Case for Ontologies in the Rail Industry., , and . KEOD, page 257-262. SciTePress, (2010)Improved Fault Diagnosis of Railway Switch System Using Energy-Based Thresholding Wavelets (EBTW) and Neural Networks., , , , and . IEEE Trans. Instrum. Meas., (2021)High-Speed Train Positioning Using Improved Extended Kalman Filter With 5G NR Signals., , , and . IEEE Trans. Intell. Transp. Syst., 25 (8): 10417-10430 (August 2024)Deep Learning and Laser-Based 3-D Pixel-Level Rail Surface Defect Detection Method., , , , , and . IEEE Trans. Instrum. Meas., (2023)Describing and acting process models with PML.. ISPW, page 136-141. ACM, (1988)A Survey on Automatic Inspections of Overhead Contact Lines by Computer Vision., , , , , and . IEEE Trans. Intell. Transp. Syst., 23 (8): 10104-10125 (2022)A cost-effective wireless network migration planning method supporting high-security enabled railway data communication systems., , , , , , and . J. Frankl. Inst., 358 (1): 131-150 (2021)Cuckoo search approach for automatic train regulation under capacity limitation., , , and . Sci. China Inf. Sci., (April 2023)Energy-Saving Metro Train Timetable Rescheduling Model Considering ATO Profiles and Dynamic Passenger Flow., , , , , and . IEEE Trans. Intell. Transp. Syst., 20 (7): 2774-2785 (2019)