An integrated framework with UML and object-Z for developing a precise and understandable specification: The light control case study

Kim, S. and Carrington, D. A. (2000). An integrated framework with UML and object-Z for developing a precise and understandable specification: The light control case study. In: , Proceedings of the Seventh Asia-Pacific Software Engineering Conference: APSEC 2000. APSEC 2000, Singapore, (240-248). 5-8 December 2000.


Author(s) Kim, S.
Carrington, D. A.
Title of paper An integrated framework with UML and object-Z for developing a precise and understandable specification: The light control case study
Conference name APSEC 2000
Conference location Singapore
Conference dates 5-8 December 2000
Proceedings title Proceedings of the Seventh Asia-Pacific Software Engineering Conference: APSEC 2000
Place published Los Alamitos
Publisher IEEE Computer Society
Publication date 2000
ISBN 0-7695-509-0
Start page 240
End page 248
Total pages 9
Collection year 2000
Language eng
Subjects E1
280302 Software Engineering
700199 Computer software and services not elsewhere classified
 
Versions
Version Filter Type
Access Statistics: 13 Abstract Views  -  Detailed Statistics
Created: Fri, 06 Jun 2008, 13:32:39 EST  -  Detailed History