Search results for "Yujian Fu"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Prabir Bhattacharya, Minzhe Guo, Lixin Tao, Yujian Fu, Kai Qian	A Collaborative Interactive Cyber-learning Platform for Anywhere Anytime Java Programming Learning.	ICALT	2011	DBLP DOI BibTeX RDF
1	Sriharsha Jasti, Yujian Fu, Priyanka Koneru	Modeling and Analyzing Web-based Information System.	Software Engineering Research and Practice	2010	DBLP BibTeX RDF
1	Yujian Fu, Zhijiang Dong, Junhua Ding, Xudong He, Venkata Atluri, Sha Li	Modular Analysis of Software Architecture Model.	Software Engineering Research and Practice	2009	DBLP BibTeX RDF
1	Gonzalo Argote-Garcia, Peter J. Clarke, Xudong He, Yujian Fu, Leyuan Shi	A Formal Approach for Translating a SAM Architecture to PROMELA.	SEKE	2008	DBLP BibTeX RDF
1	Yujian Fu, Zhijiang Dong, Junhua Ding, Xudong He	Mapping Software Architecture Specification to Rewriting Logic (Short Paper).	QSIC	2008	DBLP DOI BibTeX RDF	Software architecture specification, Petri net, rewriting logic, interleaving semantics
1	Yujian Fu, Zhijiang Dong, Xudong He	A Translator of Software Architecture Design from SAM to Java.	International Journal of Software Engineering and Knowledge Engineering	2007	DBLP DOI BibTeX RDF
1	Yujian Fu, Zhijiang Dong, Gonzalo Argote-Garcia, Leyuan Shi, Xudong He	An Approach to Validating Translation Correctness From SAM to Java.	SEKE	2007	DBLP BibTeX RDF
1	Yujian Fu, Zhijiang Dong, Xudong He	Formalizing and validating UML architecture description of web systems.	ICWE Workshops	2006	DBLP DOI BibTeX RDF	UML architecture description, petri nets, temporal logic, verification and validation, software architecture model
1	Yujian Fu, Zhijiang Dong, Xudong He	Modeling, validating and automating composition of web services.	ICWE	2006	DBLP DOI BibTeX RDF	service oriented system specification, petri nets, temporal logic, verification and validation, software architecture model
1	Zhijiang Dong, Yujian Fu, Xudong He	A Framework for Component-based System Modeling.	SEKE	2006	DBLP BibTeX RDF
1	Yujian Fu, Zhijiang Dong, Xudong He	A Method for Realizing Software Architecture Design.	QSIC	2006	DBLP DOI BibTeX RDF
1	Yujian Fu, Zhijiang Dong, Xudong He	An Approach to Validation of Software Architecture Model.	APSEC	2005	DBLP DOI BibTeX RDF
1	Zhijiang Dong, Yujian Fu, Yue Fu, Xudong He	Automated Runtime Validation of Software Architecture Design.	ICDCIT	2005	DBLP DOI BibTeX RDF
1	Yujian Fu, Zhijiang Dong, Xudong He	A Methodology of Automated Realization of a Software Architecture Design.	SEKE	2005	DBLP BibTeX RDF
1	Zhijiang Dong, Yujian Fu, Xudong He	Deriving Hierarchical Predicate/Transition Nets from Statechart Diagrams.	SEKE	2003	DBLP BibTeX RDF

Publications of "Yujian Fu" ( http://dblp.L3S.de/Authors/Yujian_Fu )