|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 52 publication records. Showing 52 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Jinyun Xue, Volker Stolz (eds.) |
Proceedings of the Sixth International Workshop on Harnessing Theories for Tool Support for Software, TTSS 2013, Jiangxi Normal University, Nanchang, China, October 27, 2013 ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTSS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Can Pan, Jian Guo 0005, Longfei Zhu, Jianqi Shi, Huibiao Zhu, Xinyun Zhou |
Modeling and Verification of CAN Bus with Application Layer using UPPAAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTSS ![In: Proceedings of the Sixth International Workshop on Harnessing Theories for Tool Support for Software, TTSS 2013, Jiangxi Normal University, Nanchang, China, October 27, 2013, pp. 31-49, 2013, Elsevier. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ting Yuan, Yiting Tang, Xi Wu 0005, Yue Zhang, Huibiao Zhu, Jian Guo 0005, Weijun Qin |
Formalization and Verification of REST on HTTP Using CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTSS ![In: Proceedings of the Sixth International Workshop on Harnessing Theories for Tool Support for Software, TTSS 2013, Jiangxi Normal University, Nanchang, China, October 27, 2013, pp. 75-93, 2013, Elsevier. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yu-Jun Zheng 0001, Bei Zhang 0004, Min-Xia Zhang |
An Algebraic Approach to Population-Based Evolutionary Algorithm Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTSS ![In: Proceedings of the Sixth International Workshop on Harnessing Theories for Tool Support for Software, TTSS 2013, Jiangxi Normal University, Nanchang, China, October 27, 2013, pp. 95-107, 2013, Elsevier. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Bin Yu, Zhenhua Duan, Cong Tian |
Bounded Model Checking of Traffic Light Control System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTSS ![In: Proceedings of the Sixth International Workshop on Harnessing Theories for Tool Support for Software, TTSS 2013, Jiangxi Normal University, Nanchang, China, October 27, 2013, pp. 63-74, 2013, Elsevier. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jinyun Xue, Volker Stolz |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTSS ![In: Proceedings of the Sixth International Workshop on Harnessing Theories for Tool Support for Software, TTSS 2013, Jiangxi Normal University, Nanchang, China, October 27, 2013, pp. 1-2, 2013, Elsevier. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Gongzheng Lu, Huaikou Miao |
An Approach to Generating Test Data for EFSM Paths Considering Condition Coverage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTSS ![In: Proceedings of the Sixth International Workshop on Harnessing Theories for Tool Support for Software, TTSS 2013, Jiangxi Normal University, Nanchang, China, October 27, 2013, pp. 13-29, 2013, Elsevier. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jie Liu 0013, Jing Liu 0012 |
A Formal Framework for Hybrid Event B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTSS ![In: Proceedings of the Sixth International Workshop on Harnessing Theories for Tool Support for Software, TTSS 2013, Jiangxi Normal University, Nanchang, China, October 27, 2013, pp. 3-12, 2013, Elsevier. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kai Yang, Zhenhua Duan, Cong Tian |
Modeling and Verification of RBC Handover Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTSS ![In: Proceedings of the Sixth International Workshop on Harnessing Theories for Tool Support for Software, TTSS 2013, Jiangxi Normal University, Nanchang, China, October 27, 2013, pp. 51-62, 2013, Elsevier. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Min Zhang, Volker Stolz (eds.) |
4th International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2010, Shanghai, China, November 15, 2010 ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTSS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Xiao Yu, Shuai Sun, Geguang Pu, Siyuan Jiang, Zheng Wang 0005 |
A Parallel Approach to Concolic Testing with Low-cost Synchronization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTSS ![In: 4th International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2010, Shanghai, China, November 15, 2010, pp. 83-96, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Rudolf Schlatte, Einar Broch Johnsen, Fatemeh Kazemeyni, Silvia Lizeth Tapia Tarifa |
Models of Rate Restricted Communication for Concurrent Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTSS ![In: 4th International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2010, Shanghai, China, November 15, 2010, pp. 67-81, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Biallas, Jörg Brauer, Dominique Gückel, Stefan Kowalewski |
On-The-Fly Path Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTSS ![In: 4th International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2010, Shanghai, China, November 15, 2010, pp. 3-16, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Min Zhang, Volker Stolz |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTSS ![In: 4th International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2010, Shanghai, China, November 15, 2010, pp. 1-2, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Xiaojian Liu, Zhilin Zhu |
Construct Aspectual Models from Requirement Documents for Model-driven Development of Automotive Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTSS ![In: 4th International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2010, Shanghai, China, November 15, 2010, pp. 33-50, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám |
Adaptive-Step-Size Numerical Methods in Rewriting-Logic-Based Formal Analysis of Interacting Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTSS ![In: 4th International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2010, Shanghai, China, November 15, 2010, pp. 17-32, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Zhiyuan Liu 0007, Jun Pang 0001, Chenyi Zhang |
Verification of A Key Chain Based TTP Transparent CEM Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTSS ![In: 4th International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2010, Shanghai, China, November 15, 2010, pp. 51-65, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Einar Broch Johnsen, Volker Stolz (eds.) |
Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2009, Universiti Kebangsaan Malaysia (UKM), Kuala Lumpur, Malaysia, August 17, 2009 ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTSS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Immo Grabe, Mohammad Mahdi Jaghoori, Bernhard K. Aichernig, Christel Baier, Tobias Blechmann 0001, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen, Joachim Klein 0001, Sascha Klüppelholz, Marcel Kyas, Wolfgang Leister, Rudolf Schlatte, Andries Stam, Martin Steffen, Simon Tschirner, Liang Xuedong, Wang Yi 0001 |
Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTSS ![In: Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2009, Universiti Kebangsaan Malaysia (UKM), Kuala Lumpur, Malaysia, August 17, 2009, pp. 33-48, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Einar Broch Johnsen, Volker Stolz |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTSS ![In: Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2009, Universiti Kebangsaan Malaysia (UKM), Kuala Lumpur, Malaysia, August 17, 2009, pp. 1-2, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Xijiao Xiong, Jing Liu 0012, Zuohua Ding |
Design and Verification of a Trustable Medical System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTSS ![In: Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2009, Universiti Kebangsaan Malaysia (UKM), Kuala Lumpur, Malaysia, August 17, 2009, pp. 77-92, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ansgar Fehnker, Ralf Huuck, Sean Seefried, Michael Tapp |
Fade to Grey: Tuning Static Program Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTSS ![In: Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2009, Universiti Kebangsaan Malaysia (UKM), Kuala Lumpur, Malaysia, August 17, 2009, pp. 17-32, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Rudolf Schlatte, Bernhard K. Aichernig, Andreas Griesmayer, Marcel Kyas |
Resource Modeling for Timed Creol Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTSS ![In: Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2009, Universiti Kebangsaan Malaysia (UKM), Kuala Lumpur, Malaysia, August 17, 2009, pp. 63-75, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Heinen, Thomas Noll 0001, Stefan Rieger |
Juggrnaut: Graph Grammar Abstraction for Unbounded Heap Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTSS ![In: Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2009, Universiti Kebangsaan Malaysia (UKM), Kuala Lumpur, Malaysia, August 17, 2009, pp. 93-107, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Abhik Roychoudhury |
Debugging as a Science, that too, when your Program is Changing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTSS ![In: Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2009, Universiti Kebangsaan Malaysia (UKM), Kuala Lumpur, Malaysia, August 17, 2009, pp. 3-15, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Tuan-Hung Pham, Anh-Hoang Truong, Wei-Ngan Chin, Takenobu Aoshima |
Test Case Generation for Adequacy of Floating-point to Fixed-point Conversion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTSS ![In: Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2009, Universiti Kebangsaan Malaysia (UKM), Kuala Lumpur, Malaysia, August 17, 2009, pp. 49-61, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jianhua Zhao, Volker Stolz (eds.) |
Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2008, Istanbul, Turkey, August 30, 2008 ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTSS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Zuohua Ding, Jing Liu 0012 |
An Improvement of Software Architecture Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTSS ![In: Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2008, Istanbul, Turkey, August 30, 2008, pp. 49-67, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Frank S. de Boer, Marcello M. Bonsangue, Andreas Grüner, Martin Steffen |
Java Test Driver Generation from Object-Oriented Interaction Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTSS ![In: Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2008, Istanbul, Turkey, August 30, 2008, pp. 33-47, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ali Mili 0001, Rahma Ben Ayed, Shir Aharon, Chaitanya Nadkarni |
Harnessing a Refinement Theory to Compute Loop Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTSS ![In: Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2008, Istanbul, Turkey, August 30, 2008, pp. 139-155, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jianhua Zhao, Volker Stolz |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTSS ![In: Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2008, Istanbul, Turkey, August 30, 2008, pp. 1-2, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard K. Aichernig, Andreas Griesmayer, Rudolf Schlatte, Andries Stam |
Modeling and Testing Multi-Threaded Asynchronous Systems with Creol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTSS ![In: Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2008, Istanbul, Turkey, August 30, 2008, pp. 3-14, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Xiaobo Wang, Guanhui Lai, Chao Liu 0002 |
Recovering Relationships between Documentation and Source Code based on the Characteristics of Software Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTSS ![In: Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2008, Istanbul, Turkey, August 30, 2008, pp. 121-137, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Einar Broch Johnsen, Jasmin Christian Blanchette, Marcel Kyas, Olaf Owe |
Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTSS ![In: Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2008, Istanbul, Turkey, August 30, 2008, pp. 89-103, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Ayrault, Thérèse Hardin, François Pessaux |
Development Life-cycle of Critical Software Under FoCaL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTSS ![In: Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2008, Istanbul, Turkey, August 30, 2008, pp. 15-31, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Marcel Kyas |
Tool Support for Holistic Modelling of Distributed Embedded Systems in Creol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTSS ![In: Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2008, Istanbul, Turkey, August 30, 2008, pp. 105-120, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Dehui Du, Jing Liu 0012, Honghua Cao, Miaomiao Zhang |
BAS: A Case Study for Modeling and Verification in Trustable Model Driven Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTSS ![In: Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2008, Istanbul, Turkey, August 30, 2008, pp. 69-87, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Geguang Pu, Volker Stolz (eds.) |
Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2007, Macau, September 22-23, 2007 ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTSS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Naiyong Jin, Chengjie Shen, Jun Chen, Taoyong Ni |
Engineering of An Assertion-based PSLSimple-Verilog Dynamic Verifier by Alternating Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTSS ![In: Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2007, Macau, September 22-23, 2007, pp. 153-169, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Geguang Pu, Volker Stolz |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTSS ![In: Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2007, Macau, September 22-23, 2007, pp. 1-2, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Steve Reeves, David Streader |
Generic Tools via General Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTSS ![In: Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2007, Macau, September 22-23, 2007, pp. 187-202, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Paula R. Ribeiro, Luís Soares Barbosa, Shuling Wang |
An Exercise on Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTSS ![In: Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2007, Macau, September 22-23, 2007, pp. 89-106, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Lu Yang, Volker Stolz |
Integrating Refinement into Software Development Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTSS ![In: Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2007, Macau, September 22-23, 2007, pp. 69-88, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Miaomiao Zhang, Wenzhong Qin |
Parametric Analysis of an Improved Fault Tolerant System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTSS ![In: Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2007, Macau, September 22-23, 2007, pp. 121-136, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ernst-Rüdiger Olderog |
Automatic Verification of Combined Specifications: An Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTSS ![In: Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2007, Macau, September 22-23, 2007, pp. 3-16, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Choe Changil, Dang Van Hung |
On Verification of Linear Occurrence Properties of Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTSS ![In: Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2007, Macau, September 22-23, 2007, pp. 107-120, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Zuohua Ding, Zhenbang Chen, Jing Liu 0012 |
A Rigorous Model of Service Component Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTSS ![In: Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2007, Macau, September 22-23, 2007, pp. 33-48, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Xiaoshan Li, Zhiming Liu 0001 |
Prototyping System Requirements Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTSS ![In: Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2007, Macau, September 22-23, 2007, pp. 17-32, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Xiao Yu, Zheng Wang 0005, Geguang Pu, Dingding Mao, Jing Liu 0012 |
The Verification of rCOS Using Spin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTSS ![In: Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2007, Macau, September 22-23, 2007, pp. 49-67, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Meng Sun |
Pre-Galois Connection on Coalgebras for Generic Component Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTSS ![In: Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2007, Macau, September 22-23, 2007, pp. 203-217, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Xiaodong Ma, Ji Wang 0001, Wei Dong 0006 |
Shape Analysis by Refining on Abstract Evaluation Path. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTSS ![In: Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2007, Macau, September 22-23, 2007, pp. 137-151, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Carlo Montangero, Laura Semini |
Barbed Model-Driven Software Development: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTSS ![In: Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2007, Macau, September 22-23, 2007, pp. 171-186, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #52 of 52 (100 per page; Change: )
|
|