31 December 1997
Published
IEEE Computer Society
10.1109/CMPSAC.1997.625024
QA76 Computer software
005 Computer programming, programs & data
Liu, X., Yang, H., & Zedan, H. (1997). Formal methods for the re-engineering of computing systems. In COMPSAC '97-21st International Computer Software and Applications Conference, 409-414. https://doi.org/10.1109/CMPSAC.1997.625024
ProfessorSchool of Computing Engineering and the Built Environment
0131 455 2747
X.Liu@napier.ac.uk
formal methods; re-engineering; wide spectrum language; real-time systems; refinement; reverse engineering; logic;
284KB