Search results for "rCOS"

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.	APSEC	2008	DBLP DOI BibTeX RDF
127	Liang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu	A Type System for the Relational Calculus of Object Systems.	ICECCS	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.	CoCoME	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.	ICTAC	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.	BICC	2006	DBLP DOI BibTeX RDF
54	Zizhen Wang, Hanpin Wang, Naijun Zhan	Refinement of models of software components.	SAC	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.	ISoLA	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.	Formal Methods and Hybrid Real-Time Systems	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.	ICECCS	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.	Australian Software Engineering Conference	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.	Theories of Programming and Formal Methods	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.	NEW2AN	2016	DBLP DOI BibTeX RDF
31	Ruzhen Dong, Johannes Faber, Wei Ke 0001, Zhiming Liu 0001	rCOS: Defining Meanings of Component-Based Software Architectures.	ICTAC Training School on Software Engineering	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.	Frontiers Comput. Sci. China	2012	DBLP DOI BibTeX RDF
31	Dehui Du, Xijiao Xiong	Specifying Communication Behaviours between Components with Real-Time rCOS - A Case Study ATP.	COMPSAC Workshops	2011	DBLP DOI BibTeX RDF
31	Jing Yang	A Framework for Formalizing UML Models with Formal Language Rcos.	FCST	2009	DBLP DOI BibTeX RDF
31	Zhiming Liu 0001, Charles Morisset, Volker Stolz	rCOS: Theory and Tool for Component-Based Model Driven Development.	FSEN	2009	DBLP DOI BibTeX RDF
31	Zhenbang Chen, Charles Morisset, Volker Stolz	Specification and Validation of Behavioural Protocols in the rCOS Modeler.	FSEN	2009	DBLP DOI BibTeX RDF
31	Xiao Yu, Zheng Wang 0005, Geguang Pu, Dingding Mao, Jing Liu 0012	The Verification of rCOS Using Spin.	TTSS	2007	DBLP DOI BibTeX RDF
31	Jifeng He 0001, Xiaoshan Li, Zhiming Liu 0001	rCOS: A refinement calculus of object systems.	Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
31	Björn Griese, Simon Oberthür, Mario Porrmann	Component Case Study of a Self-Optimizing RCOS/RTOS System.	IESS	2005	DBLP DOI BibTeX RDF
31	Zhiming Liu 0001, Jifeng He 0001, Xiaoshan Li	rCOS: Refinement of Component and Object Systems.	FMCO	2004	DBLP DOI BibTeX RDF
31	David Jones	RCOS.java: an animated operating system for computer science education.	ITiCSE	1996	DBLP DOI BibTeX RDF
31	Ron Chernich, Bruce Jamieson, David Jones	RCOS: yet another teaching operating system.	ACSE	1996	DBLP DOI BibTeX RDF
21	Zhiming Liu 0001, Charles Morisset, Volker Stolz	A Component-Based Access Control Monitor.	ISoLA	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.	FSEN	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.	ICECCS	2006	DBLP DOI BibTeX RDF
21	An Li, Kit Po Wong	Animating the Evolution Process of Genetic Algorithms.	SEAL	1998	DBLP DOI BibTeX RDF	Genetic Algorithm, animation, graphic user interface (GUI), optimisation