|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 14 occurrences of 13 keywords
|
|
|
|
|
Results
Found 11 publication records. Showing 11 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Zhenbang Chen, Zhiming Liu, Ji Wang |
Failure-Divergence Refinement of Compensating Communicating Processes.  |
FM  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenbang Chen, Zhiming Liu |
An Extended cCSP with Stable Failures Semantics. |
ICTAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenbang Chen, Zhiming Liu, Anders P. Ravn, Volker Stolz, Naijun Zhan |
Refinement and verification in component-based model-driven design. |
Sci. Comput. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenbang Chen, Charles Morisset, Volker Stolz |
Specification and Validation of Behavioural Protocols in the rCOS Modeler. |
FSEN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Zuohua Ding, Zhenbang Chen, Jing Liu |
A Rigorous Model of Service Component Architecture. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Dong, Zhenbang Chen, Ji Wang |
A Contract-based Approach to Specifying and Verifying Safety Critical Systems. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenbang Chen, Abdelhakim Hannousse, Dang Van Hung, Istvan Knoll, Xiaoshan Li, Zhiming Liu, Yang Liu, Qu Nan, Joseph C. Okika, Anders P. Ravn, Volker Stolz, Lu Yang, Naijun Zhan |
Modelling with Relational Calculus of Object and Component Systems - rCOS. |
CoCoME |
2007 |
DBLP DOI BibTeX RDF |
Design, Refinement, Transformation, Requirements Modelling |
| 1 | Zhenbang Chen, Xiaoshan Li, Zhiming Liu, Volker Stolz, Lu Yang |
Harnessing rCOS for Tool Support - The CoCoME Experience. |
Formal Methods and Hybrid Real-Time Systems |
2007 |
DBLP DOI BibTeX RDF |
tool design, formal methods, software process, Software development tool |
| 1 | Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang, Anders P. Ravn |
A Refinement Driven Component-Based Design. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
object-orientation, refinement, Software development process, component-based modeling |
| 1 | Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi |
Towards Formal Interfaces for Web Services with Transactions. |
SITIS |
2006 |
DBLP DOI BibTeX RDF |
Interface theory, Web service, Composition, Transaction |
| 1 | Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi, Wing Lok Yeung |
An Interface Theory Based Approach to Verification of Web Services. |
COMPSAC |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #11 of 11 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")