|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 40 occurrences of 29 keywords
|
|
|
Results
Found 28 publication records. Showing 28 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
137 | Zheng Wang 0005, Xiao Yu, Geguang Pu, Libo Feng, Huibiao Zhu, Jifeng He 0001 |
Execution Semantics for rCOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 3-5 December 2008, Beijing, China, pp. 119-126, 2008, IEEE Computer Society, 978-0-7695-3446-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
127 | Liang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu |
A Type System for the Relational Calculus of Object Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 15-17 August 2006, Stanford, California, USA, pp. 189-198, 2006, IEEE Computer Society, 0-7695-2530-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
94 | Zhenbang Chen, Abdelhakim Hannousse, Dang Van Hung, Istvan Knoll, Xiaoshan Li, Zhiming Liu 0001, 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoCoME ![In: The Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, August 1-3, 2007], pp. 116-145, 2007, Springer, 978-3-540-85288-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Design, Refinement, Transformation, Requirements Modelling |
94 | Quan Long, Zongyan Qiu, Zhiming Liu 0001, Lingshuang Shao, Jifeng He 0001 |
POST: A Case Study for an Incremental Development in rCOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings, pp. 485-500, 2005, Springer, 3-540-29107-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
UML, Object-orientation, Refinement, Refactoring, Software design |
64 | Björn Griese, Mario Porrmann |
A Reconfigurable Ethernet Switch for Self-Optimizing Communication Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BICC ![In: Biologically Inspired Cooperative Computing, IFIP 19th World Computer Congress, TC 10: 1st IFIP International Conference on Biologically Inspired Computing, August 21-24, 2006, Santiago, Chile, pp. 115-124, 2006, Springer, 978-0-387-34632-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
54 | Zizhen Wang, Hanpin Wang, Naijun Zhan |
Refinement of models of software components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 2311-2318, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
CB-MDD, rCOS, trace refinement, data refinement |
54 | Long Quan, Zongyan Qiu, Zhiming Liu 0001 |
Formal Use of Design Patterns and Refactoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA ![In: Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings, pp. 323-338, 2008, Springer, 978-3-540-88478-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
rCOS, Object-Orientation, Design Pattern, Refinement, Refactoring |
52 | Zhenbang Chen, Xiaoshan Li, Zhiming Liu 0001, Volker Stolz, Lu Yang |
Harnessing rCOS for Tool Support - The CoCoME Experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods and Hybrid Real-Time Systems ![In: Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007, pp. 83-114, 2007, Springer, 978-3-540-75220-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
tool design, formal methods, software process, Software development tool |
42 | Zhenbang Chen, Zhiming Liu 0001, Volker Stolz, Lu Yang, Anders P. Ravn |
A Refinement Driven Component-Based Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 10-14 July 2007, Auckland, New Zealand, pp. 277-289, 2007, IEEE Computer Society, 978-0-7695-2895-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
object-orientation, refinement, Software development process, component-based modeling |
42 | Quan Long, Zhiming Liu 0001, Xiaoshan Li, Jifeng He 0001 |
Consistent Code Generation from UML Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Software Engineering Conference ![In: 16th Australian Software Engineering Conference (ASWEC 2005), 31 March - 1 April 2005, Brisbane, Australia, pp. 23-30, 2005, IEEE Computer Society, 0-7695-2257-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
UTP, UML, Semantics, Object Orientation, Consistency, Code generation |
31 | Zhiming Liu 0001 |
Linking Formal Methods in Software Development - A Reflection on the Development of rCOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theories of Programming and Formal Methods ![In: Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday, pp. 52-84, 2023, Springer, 978-3-031-40435-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Julien Dhallenne, Prem Prakash Jayaraman, Arkady B. Zaslavsky |
RCOS: Real Time Context Sharing Across a Fleet of Smart Mobile Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NEW2AN ![In: Internet of Things, Smart Spaces, and Next Generation Networks and Systems - 16th International Conference, NEW2AN 2016, and 9th Conference, ruSMART 2016, St. Petersburg, Russia, September 26-28, 2016, Proceedings, pp. 87-100, 2016, Springer, 978-3-319-46300-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Ruzhen Dong, Johannes Faber, Wei Ke 0001, Zhiming Liu 0001 |
rCOS: Defining Meanings of Component-Based Software Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC Training School on Software Engineering ![In: Unifying Theories of Programming and Formal Engineering Methods - International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures, pp. 1-66, 2013, Springer, 978-3-642-39720-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
31 | Wei Ke 0001, Xiaoshan Li, Zhiming Liu 0001, Volker Stolz |
rCOS: a formal model-driven engineering method for component-based software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Comput. Sci. China ![In: Frontiers Comput. Sci. China 6(1), pp. 17-39, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
31 | Dehui Du, Xijiao Xiong |
Specifying Communication Behaviours between Components with Real-Time rCOS - A Case Study ATP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC Workshops ![In: Workshop Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, COMPSAC Workshops 2011, Munich, Germany, 18-22 July 2011, pp. 230-235, 2011, IEEE Computer Society, 978-0-7695-4459-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
31 | Jing Yang |
A Framework for Formalizing UML Models with Formal Language Rcos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCST ![In: Fourth International Conference on Frontier of Computer Science and Technology, FCST 2009, Shanghai, China, 17-19 December, 2009, pp. 408-416, 2009, IEEE Computer Society, 978-0-7695-3932-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Zhiming Liu 0001, Charles Morisset, Volker Stolz |
rCOS: Theory and Tool for Component-Based Model Driven Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: Fundamentals of Software Engineering, Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers, pp. 62-80, 2009, Springer, 978-3-642-11622-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Zhenbang Chen, Charles Morisset, Volker Stolz |
Specification and Validation of Behavioural Protocols in the rCOS Modeler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: Fundamentals of Software Engineering, Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers, pp. 387-401, 2009, Springer, 978-3-642-11622-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
31 | 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 |
|
31 | Jifeng He 0001, Xiaoshan Li, Zhiming Liu 0001 |
rCOS: A refinement calculus of object systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 365(1-2), pp. 109-142, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Björn Griese, Simon Oberthür, Mario Porrmann |
Component Case Study of a Self-Optimizing RCOS/RTOS System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IESS ![In: From Specification to Embedded Systems Application [International Embedded Systems Symposium, IESS 2005, Manaus, Brazil, August 2005], pp. 267-276, 2005, Springer, 978-0-387-27557-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Zhiming Liu 0001, Jifeng He 0001, Xiaoshan Li |
rCOS: Refinement of Component and Object Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCO ![In: Formal Methods for Components and Objects, Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised Lectures, pp. 183-221, 2004, Springer, 3-540-29131-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | David Jones |
RCOS.java: an animated operating system for computer science education. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 1st Annual Conference on Integrating Technology into Computer Science Education, ITiCSE 1996, Barcelona, Spain, 2-6 June, 1996, pp. 233, 1996, ACM, 0-89791-844-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
31 | Ron Chernich, Bruce Jamieson, David Jones |
RCOS: yet another teaching operating system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSE ![In: Proceedings of the ACM SIGCSE 1st Australasian Conference on Computer Science Education, ACSE 1996, Sydney, NSW, Australia, July 1996, pp. 216-222, 1996, ACM, 0-89791-845-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
21 | Zhiming Liu 0001, Charles Morisset, Volker Stolz |
A Component-Based Access Control Monitor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA ![In: Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings, pp. 339-353, 2008, Springer, 978-3-540-88478-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Access Control, Component, Composition, RBAC |
21 | Xin Chen 0027, Jifeng He 0001, Zhiming Liu 0001, Naijun Zhan |
A Model of Component-Based Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings, pp. 191-206, 2007, Springer, 978-3-540-75697-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Glue Codes, Protocols, Components, Composition, Refinement, Contracts, Application Programs |
21 | Jing Liu, Jifeng He 0001 |
Reactive Component based Service-Oriented Design - A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 15-17 August 2006, Stanford, California, USA, pp. 27-36, 2006, IEEE Computer Society, 0-7695-2530-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | An Li, Kit Po Wong |
Animating the Evolution Process of Genetic Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEAL ![In: Simulated Evolution and Learning, Second Asia-Pacific Conference on Simulated Evolution and Learning, SEAL'98, Canberra, Australia, November 24-27 1998, Selected Papers, pp. 341-348, 1998, Springer, 3-540-65907-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Genetic Algorithm, animation, graphic user interface (GUI), optimisation |
Displaying result #1 - #28 of 28 (100 per page; Change: )
|
|