類似資料

1. 1
   
   Introduction to VDM / Mark Woodman and Benedict Heal
2. 2
   
   Formal specification and design / L. M. G. Feijs & H. B. M. Jonkers
3. 3
   
   Ada- the design choice : proceedings of the Ada-Europe International Conference, Madrid 13-15 June 1989 / edited by Angel Alvarez
4. 4
   
   Mathematical structures for software engineering : based on the proceedings of a conference organized by the Systems and Software Engineering Specialist Group of the Institute of Mathematics and its Applications held at Manchester Polytechnic in July 1988 / edited by Bernard De Neumann, Dan Simpson, Gil Slater
5. 5
   
   Proceedings of the Seventh International Workshop on Software Specification and Design, December 6-7, 1993, Redondo Beach, California / sponsored by IEEE Computer Society ; in cooperation with ACM SIGSOFT : paper,: micro.
6. 6
   
   Developing user interfaces : ensuring usability through product & process / Deborah Hix, H. Rex Hartson
7. 7
   
   Software development and reality construction / Christiane Floyd ... [et al.], editors : gw,: us
8. 8
   
   Knowledge oriented software design : extended papers from the IFIP TC 12 Workshop on Artificial Intelligence from the Information Processing Perspective, AIFIPP '92, Madrid, Spain, 14-15 September, 1992 / edited by José Cuena
9. 9
   
   Human-computer interface design guidelines / C. Marlin "Lin" Brown
10. 10
    
    Form + code : in design, art, and architecture / Casey Reas, Chandler McWilliams, LUST