Citation
Liu, X., Chen, Z., Yang, H., Zedan, H., & Chu, W. (1997). A design framework for system re-engineering. In APSEC'97/ICSC'97 - Fourth Asia-Pacific Software Engineering and International Computer Science Conference, 342-352. https://doi.org/10.1109/APSEC.1997.640191
Authors
Keywords
formal methods; re-engineering; wide spectrum language; real time systems; object orientation; interval temporal logic;
Monthly Views: