View Document Preview and Link Document Date: 2002-05-15 22:05:35 Open Document File Size: 167,70 KB Share Result on Facebook
City Taipai / / Company IEEE Press / / Country Taiwan / Japan / / Currency pence / / Facility Engineering University of California / / IndustryTerm software engineering / Web-based Support / distributed concurrent software / proof server / correct applications / software projects / configuration management / web-based interactive documentation / Internet Duck Processor XSL Processor / web technology / ordinary software engineers / software cost / web browser / distributed concurrent systems / theorem proving systems / interactive systems / generic tools / communication protocol / internet technologies / formal methods tools / computing / recent web / tatami protocol / Web technologies / software architecture / software systems / / Organization Information Promotion Agency / Kai Lin Department of Computer Science / National Science Foundation / UCSD / University of California at San Diego / / Person Joseph A. Goguen / Jen Chuang / Jeffrey Tsai / Nat / William Labov / Kai Lin / / Position leader / Kumo2 proof assistant / generator and proof assistant / / Product Kumo / Barista3 proof server / Barista3 / / ProgrammingLanguage OBJ / XML / Java / HTML / / ProvinceOrState California / / Technology XML / HTTP protocol / JSP / Java / Web technologies / internet technologies / fuzzy logic / Kumo User BOBJ XML Parser Internet Duck Processor / communication protocol / web technology / tatami protocol / HTML protocol / HTML / using Java technology / User BOBJ XML Parser Internet Duck Processor XSL Processor / using a fuzzy logic / using Java / / URL www.cs.ucsd.edu/groups/tatami / / SocialTag 
This is a revised and extended version for journal publication of a paper in Proceedings, International Symposium on Multimedia Software Engineering, ed. Jeffrey Tsai and Po-Jen Chuang, IEEE Press, pages 25–32, 2000; t