Hulya Yazici, Jennifer Zipprich, Tao Peng, Elif Z. Akisik, Hulya Tigli, Mustafa Isin, ...
Background. MicroRNAs are a type of small noncoding RNA molecules that have been shown to control gene expression in eukaryotes. Aberrant expression and alteration of miRNAs may be responsible for...
Software Technology rCOS: Theory and Tool for Component-Based Model Driven Development (2009)
Zhiming Liu, Charles Morisset, Volker Stolz
Training Centre of the United Nations University (UNU). It is based in Macao, and was founded in 1991. It started operations in July 1992. UNU-IIST is jointly funded by the government of Macao and...
Hulya Yazici, Jennifer Zipprich, Tao Peng, Elif Z. Akisik, Hulya Tigli, Mustafa Isin, ...
Background. MicroRNAs are a type of small noncoding RNA molecules that have been shown to control gene expression in eukaryotes. Aberrant expression and alteration of miRNAs may be responsible for...
Methods and Tools for Formal Software Engineering (2008)
Abstract. We propose a collaboration project to integrate the research effort and results obtained at UNU-IIST on formal techniques in component and object systems with research at TRDDC in modelling...
Developing a TTCN-3 Test Harness for Legacy Software ABSTRACT (2008)
Joseph C. Okika, Zhiming Liu, Anders P. Ravn, Lokesh Siddalingaiah
We describe a prototype test harness for an embedded system which is the control software for a modern marine diesel engine. The operations of such control software requires complete certification....
Software Technology From Durational Specifications to TLA Designs of Timed Automata (2008)
the governments of the People’s Republic of China and Portugal through a contribution to the UNU Endownment Fund. As well as providing two-thirds of the endownment fund, the Macau authorities also...
Miaomiao Zhang, Dang Van Hung, Zhiming Liu
Training Centre of the United Nations University (UNU). It is based in Macao, and was founded in 1991. It started operations in July 1992. UNU-IIST is jointly funded by the government of Macao and...
International Institute for Software Technology Component Publications and Compositions (2008)
Naijun Zhan, Eun Young Kang, Zhiming Liu
Centre of the United Nations University (UNU). It is based in Macao, and was founded in 1991. It started operations in July 1992. UNU-IIST is jointly funded by the government of Macao and the...
Ab initio investigation of optical properties of high-pressure phases of ice (2007)
Xu, Renjun, Liu, Zhiming, Ma, Yanming, Cui, Tian, Liu, Bingbing, Zou, Guangtian
We report a detailed ab initio investigation on the optical properties of ice under a wide high pressure range. The ice X phase (up to 380GPa), the theoretical proposed higher pressure phase ice XV...
Xu, Renjun, Liu, Zhiming, Ma, Yanming, Cui, Tian, Liu, Bingbing, Zou, Guangtian
We report a detailed ab initio investigation on hydrogen bonding, geometry, electronic structure, and lattice dynamics of ice under a large high pressure range, including the ice X phase (55-380GPa),...
T Apply Object-Orientation and UML to the Development of Web-based Learning (2007)
Training Centre of the United Nations University (UNU). It is based in Macau, and was founded in
Xiaoshan Li, Zhiming Liu, Jifeng He
in July 1992. UNU/IIST is jointly funded by the Governor of Macau and the governments of the People's Republic of China and Portugal through a contribution to the UNU Endownment Fund. As well as...
A DC-Based Approach to Refinement of Real-Time Systems (2007)
Lutbat Yadamsuren, Zhiming Liu
Training Centre of the United Nations University (UNU). It is based in Macau, and was founded in 1991. It started operations in July 1992. UNU/IIST is jointly funded by the Governor of Macau and the...
Software Technology Integrating refinement into software development tools (2007)
Lu Yang, Volker Stolz, Zhiming Liu
Training Centre of the United Nations University (UNU). It is based in Macao, and was founded in 1991. It started operations in July 1992. UNU-IIST is jointly funded by the government of Macao and...
International Institute for Software Technology Towards a Calculus for Design Patterns (2007)
Abdel Hakim Hannousse, Zhiming Liu
Training Centre of the United Nations University (UNU). It is based in Macao, and was founded in 1991. It started operations in July 1992. UNU-IIST is jointly funded by the government of Macao and...
Separation of Concerns and Consistent Integration in Requirements Modelling (2007)
Xin Chen, Zhiming Liu, Vladimir Mencl
Abstract. Due to their increasing complexity, design of software systems is not becoming easier. Furthermore, modern applications ranging from enterprise to embedded systems require very high levels...
Software Technology Harnessing rCOS for Tool Support: The CoCoME Experience (2007)
Zhenbang Chen, Xiaoshan Li, Zhiming Liu, Volker Stolz
Training Centre of the United Nations University (UNU). It is based in Macao, and was founded in 1991. It started operations in July 1992. UNU-IIST is jointly funded by the government of Macao and...
Software Technology Modelling with Relational Calculus of Object and Component Systems- rCOS (2007)
Zhenbang Chen, Abdel Hakim Hannousse, Dang Van Hung, Istvan Knoll, Xiaoshan Li, Zhiming Liu, ...
Training Centre of the United Nations University (UNU). It is based in Macao, and was founded in 1991. It started operations in July 1992. UNU-IIST is jointly funded by the government of Macao and...
Software Technology Refinement and Verification in Component- Based Model Driven Design (2007)
Zhenbang Chen, Zhiming Liu, Anders P. Ravn, Volker Stolz, Naijun Zhan
Training Centre of the United Nations University (UNU). It is based in Macao, and was founded in 1991. It started operations in July 1992. UNU-IIST is jointly funded by the government of Macao and...
Software Technology Graph Transformations for Object-Oriented Refinement (2007)
Liang Zhao, Xiaojian Liu, Zhiming Liu
Centre of the United Nations University (UNU). It is based in Macao, and was founded in 1991. It started operations in July 1992. UNU-IIST is jointly funded by the government of Macao and the...
Harnessing Theories for Tool Support (2006)
Zhiming Liu, Vladimir Mencl, Anders P. Ravn, Lu Yang
Software development tools need to support more and more phases of the entire development process, because applications must be developed more correctly and efficiently. The tools therefore need to...
Software Technology Object-Oriented Structure Refinement – A Graph Transformational Approach (2006)
Xiaojian Liu, Zhiming Liu, Liang Zhao
in July 1992. UNU-IIST is jointly funded by the Governor of Macau and the governments of the People’s Republic of China and Portugal through a contribution to the UNU Endowment Fund. As well as...
Harnessing Theories for Tool Support (2006)
Zhiming Liu, Vladimir Mencl, Anders P. Ravn, Lu Yang
Centre of the United Nations University (UNU). It is based in Macao, and was founded in 1991. It started
International Institute for Software Technology Component Coordination in rCOS (2006)
Xin Chen, Jifeng He, Zhiming Liu
Republic of China and Portugal through a contribution to the UNU Endownment Fund. As well as providing twothirds of the endownment fund, the Macau authorities also supply UNU-IIST with its office...
Software Technology Analysis and Characterisation of a TTCN- 3 Test System (2006)
Joseph C. Okika, Zhiming Liu, Anders P
Training Centre of the United Nations University (UNU). It is based in Macao, and was founded in 1991. It started operations in July 1992. UNU-IIST is jointly funded by the government of Macao and...
International Institute for Software Technology A Model of Component-Based Programming (2006)
Xin Chen, He Jifeng, Zhiming Liu, Naijun Zhan
Centre of the United Nations University (UNU). It is based in Macao, and was founded in 1991. It started operations in July 1992. UNU-IIST is jointly funded by the government of Macao and the...
rCOS: A refinement calculus for object systems (2005)
Zhiming Liu, He Jifeng, Xiaoshan Li
This article presents a mathematical characterization of object-oriented concepts by defining an observation-oriented semantics for a relational objectoriented language with a rich variety of...
Component-based software engineering – the need to link methods and their theories (2005)
He Jifeng, Xiaoshan Li, Zhiming Liu
Abstract. We discuss some of the difficulties and significant issues that we need to consider when developing a formal method for component-based software engineering. We argue that to deal with the...
Yining Wei, Xiaoshan Li, Zhiming Liu, Jifeng He
Republic of China and Portugal through a contribution to the UNU Endownment Fund. As well as providing twothirds of the endownment fund, the Macau authorities also supply UNU-IIST with its office...
Real-Time and Fault-Tolerant Systems – Specification, Verification, Refinement and Scheduling (2005)
Republic of China and Portugal through a contribution to the UNU Endownment Fund. As well as providing twothirds of the endownment fund, the Macau authorities also supply UNU-IIST with its office...
Component-based software engineering – the need to link methods and their theories (2005)
He Jifeng, Xiaoshan Li, Zhiming Liu
Republic of China and Portugal through a contribution to the UNU Endownment Fund. As well as providing twothirds of the endownment fund, the Macau authorities also supply UNU-IIST with its office...
Software Technology rCOS: A Refinement Calculus for Object Systems (2005)
He Jifeng, Xiaoshan Li, Zhiming Liu
Republic of China and Portugal through a contribution to the UNU Endownment Fund. As well as providing twothirds of the endownment fund, the Macau authorities also supply UNU-IIST with its office...
Software Technology Refactoring and Pattern-directed Refactoring: A Formal Perspective (2005)
Quan Long, He Jifeng, Zhiming Liu
Training Centre of the United Nations University (UNU). It is based in Macau, and was founded in
Software Technology POST: A Case Study for rCOS Incremental Development (2005)
Quan Long, Zongyan Qiu, Zhiming Liu, He Jifeng
Training Centre of the United Nations University (UNU). It is based in Macau, and was founded in
Software Technology Consistent Code Generation from UML Models (2005)
Quan Long, Zhiming Liu, Xiaoshan Li, He Jifeng
Training Centre of the United Nations University (UNU). It is based in Macau, and was founded in
Tools for formal software engineering (2005)
Abstract. We propose a collaboration project to integrate the research effort and results obtained at UNU-IIST on formal techniques in component and object systems with research at TRDDC in modelling...
Theories and techniques of program modelling, design and verification (2005)
Bernard K. Aichernig, He Jifeng, Zhiming Liu, Mike Reed
Abstract. This submission presents our understanding of the Grand Challenge and propose an agenda on how we will position our research to contribute to this world-wide collaborative research project....
Theories and techniques of program modelling, design and verification (2005)
Bernhard K. Aichernig, He Jifeng, Zhiming Liu, Mike Reed
Abstract. This position paper presents our understanding of the Grand Challenge and proposes an agenda on how we will position our research to contribute to this world-wide collaborative research...
A relational model for object-oriented designs (2004)
He Jifeng, Zhiming Liu, Xiaoshan Li, Shengchao Qin
Abstract. This paper develops a mathematical characterisation of object-oriented concepts by defining an observation-oriented semantics for an object-oriented language (OOL) with a rich variety of...
Consistency and Refinement of UML Models (2004)
Zhiming Liu, Xiaoshan Li, Jing Liu, He Jifeng
Centre of the United Nations University (UNU). It is based in Macau, and was founded in 1991. It started operations in July 1992. UNU-IIST is jointly funded by the Governor of Macau and the...
Zbigniew Huzar, Ludwik Kuzniarz, Gianna Reggio, Jean Louis Sourrouille, Zbigniew Huzar, Ludwik Kuzniarz, ...
From durational specifications to tla designs of timed automata (2004)
Training Centre of the United Nations University (UNU). It is based in Macau, and was founded in 1991. It started operations in July 1992. UNU-IIST is jointly funded by the Governor of Macau and the...
Contract-oriented development of component software (2004)
Zhiming Liu, He Jifeng, Xiaoshan Li
Centre of the United Nations University (UNU). It is based in Macau, and was founded in 1991. It started operations in July 1992. UNU-IIST is jointly funded by the Governor of Macau and the...
Linking UML Models of Design and Requirement (2004)
Jing Liu, Zhiming Liu, He Jifeng, Xiaoshan Li
In this paper, both a UML model of requirement and a UML model of a design are defined as a pair of class diagram and a family of sequence diagrams. We then give an unified semantics for models of...
Integrating Temporal Logics (2004)
In this paper, we study the predicative semantics of different temporal logics and the relationships between them. We use a notation called generic composition to simplify the manipulation of...
A Formal Semantics of UML Sequence Diagrams (2004)
Xiaoshan Li, Zhiming Liu, He Jifeng
This paper presents a formal semantics of UML sequence diagram. In abstract syntax form, a well-formed sequence diagram corresponds to an ordered hierarchical tree structure. The static semantics of...
Integrating Temporal Logics (2004)
In this paper, we study the predicative semantics of di#erent temporal logics and the relationships between them. We use a notation called generic composition to simplify the manipulation of...
From Durational Specifications to TLA Designs of (2004)
Timed Automata Yifeng, Yifeng Chen, Zhiming Liu
Di#erent temporal logics tend to emphasise di#erent aspects of a hybrid system. In this paper, we study the predicative interpretation of Duration Calculus (DC) and Temporal Logic of Actions (TLA)...
Software Technology Generating a Prototype From a UML Model of System Requirements (2004)
Xiaoshan Li, Zhiming Liu, He Jifeng, Quan Long
July 1992. UNU-IIST is jointly funded by the Governor of Macau and the governments of the People’s Republic of China and Portugal through a contribution to the UNU Endownment Fund. As well as...
International Institute for Software Technology Integrating Temporal Logics (2004)
July 1992. UNU/IIST is jointly funded by the Governor of Macau and the governments of the People’s Republic of China and Portugal through a contribution to the UNU Endownment Fund. As well as...
International Institute for Software Technology A Formal Semantics of UML Sequence Diagrams (2004)
Xiaoshan Li, Zhiming Liu, He Jifeng
July 1992. UNU-IIST is jointly funded by the Governor of Macau and the governments of the People’s Republic of China and Portugal through a contribution to the UNU Endownment Fund. As well as...
International Institute for Software Technology Integrating and Refining UML Models (2004)
Zhiming Liu, Xiaoshan Li, Jing Liu, He Jifeng
Republic of China and Portugal through a contribution to the UNU Endownment Fund. As well as providing twothirds of the endownment fund, the Macau authorities also supply UNU-IIST with its office...
Software Technology Linking UML Models of Design and Requirement (2004)
Jing Liu, Zhiming Liu, He Jifeng, Xiaoshan Li
July 1992. UNU-IIST is jointly funded by the Governor of Macau and the governments of the People’s Republic of China and Portugal through a contribution to the UNU Endownment Fund. As well as...
Software Technology Contract-Oriented Development of Component Software (2004)
Zhiming Liu, He Jifeng, Xiaoshan Li
Republic of China and Portugal through a contribution to the UNU Endownment Fund. As well as providing twothirds of the endownment fund, the Macau authorities also supply UNU-IIST with its office...
Software Technology A Predicative Semantic Model for Integrating UML Models (2004)
Jing Yang, Quan Long, Zhiming Liu
Training Centre of the United Nations University (UNU). It is based in Macau, and was founded in
International Institute for Software Technology A Formal Model for JavaBeansT M (2004)
Bhim Prasad Upadhyaya, Zhiming Liu
the governments of the People’s Republic of China and Portugal through a contribution to the UNU Endownment Fund. As well as providing two-thirds of the endownment fund, the Macau authorities also...
Linking UML models of design and requirement (2004)
Jing Liu, Zhiming Liu, Jifeng He, Xiaoshan Li
In this paper, both a UML model of requirement and a UML model of a design are defined as a pair of class diagram and a family of sequence diagrams. We then give an unified semantics for models of...
Contract-Oriented Component Software Development (2003)
He Jifeng, Zhiming Liu, Li Xiaoshan
Centre of the United Nations University (UNU). It is based in Macau, and was founded in 1991. It started operations in July 1992. UNU/IIST is jointly funded by the Governor of Macau and the...
Zhiming Liu, He Jifeng, Xiaoshan Li, Jing Liu
We present an approach to embedding a formal method into the Rational Unified Process (RUP). The purposes are: (a) to unify different views of UML, (b) to enhance RUP and UML with the formal method...
A Relational Model for Formal Object-Oriented Requirement Analysis in UML (2003)
Zhiming Liu, Yifeng Chen, Xiaoshan Li, Yifeng Chen
This paper is towards the development of a methodology for object-oriented software development. The intention is to support effective use of a formal model for specifying and reasoning during the...
Software Technology Apply Object-Orientation and UML to the Development of Web-based Learning (2003)
Training Centre of the United Nations University (UNU). It is based in Macau, and was founded in
He Jifeng, Zhiming Liu, Li Xiaoshan
Republic of China and Portugal through a contribution to the UNU Endownment Fund. As well as providing twothirds of the endownment fund, the Macau authorities also supply UNU/IIST with its office...
International Institute for Software Technology Unifying Views of UML (2003)
Zhiming Liu, He Jifeng, Xiaoshan Li, Jing Liu
July 1992. UNU/IIST is jointly funded by the Governor of Macau and the governments of the People’s Republic of China and Portugal through a contribution to the UNU Endownment Fund. As well as...
Software Technology A Relational Model for Formal Object-Oriented Requirement Analysis in UML (2003)
Zhiming Liu, He Jifeng, Xiaoshan Li, Yifeng Chen
July 1992. UNU/IIST is jointly funded by the Governor of Macau and the governments of the People’s Republic of China and Portugal through a contribution to the UNU Endownment Fund. As well as...
A relational model for object-oriented requirement analysis in UML (2002)
Zhiming Liu, Xiaoshan Li, Jifeng He
Centre of the United Nations University (UNU). It is based in Macau, and was founded in 1991. It started operations in July 1992. UNU/IIST is jointly funded by the Governor of Macau and the...
Software Technology Object-Oriented Software Development with UML (2002)
in July 1992. UNU/IIST is jointly funded by the Governor of Macau and the governments of the People’s Republic of China and Portugal through a contribution to the UNU Endownment Fund. As well as...
Software Technology A Relational Model for Object-Oriented Requirement Analysis (2002)
Zhiming Liu, Xiaoshan Li, Jifeng He
in July 1992. UNU/IIST is jointly funded by the Governor of Macau and the governments of the People’s Republic of China and Portugal through a contribution to the UNU Endownment Fund. As well as...
Unifying Temporal Logics (2002)
Yifeng Chen And, Yifeng Chen, Zhiming Liu
In this paper, we use a technique called generic composition to unify temporal logics. Predicates are treated as sets. Temporal operators are de ned as functions, and their axioms become consequent...
Formalizing the use of UML in requirement analysis (2001)
Zhiming Liu, Jifeng He, Xiaoshan Li
Centre of the United Nations University (UNU). It is based in Macau, and was founded in 1991. It started operations in July 1992. UNU/IIST is jointly funded by the Governor of Macau and the...
A Formal Design of Online Ticketing System in UML (2001)
Xiaoshan Li, Zhiming Liu, Zhengshen Guo
Centre of the United Nations University (UNU). It is based in Macau, and was founded in 1991. It started operations in July 1992. UNU/IIST is jointly funded by the Governor of Macau and the...
Verification, Refinement and Scheduling of Real-time Programs (2001)
Zhiming Liu, Leicester Le Rh, Mathai Joseph
A real-time program can be developed by refining a specification into program code. Verification of the timing properties of the program is then usually done at two levels: verification of the...
Software Technology Formalizing the Use of UML in Requirement Analysis (2001)
Zhiming Liu, Jifeng He, Xiaoshan Li
in July 1992. UNU/IIST is jointly funded by the Governor of Macau and the governments of the People’s Republic of China and Portugal through a contribution to the UNU Endownment Fund. As well as...
Software Technology Object-Oriented Software Development Using UML (2001)
in July 1992. UNU/IIST is jointly funded by the Governor of Macau and the governments of the People’s Republic of China and Portugal through a contribution to the UNU Endownment Fund. As well as...
Software Technology A Formal Design of Online Ticketing System in UML (2001)
Xiaoshan Li, Zhiming Liu, Zhengshen Guo
in July 1992. UNU/IIST is jointly funded by the Governor of Macau and the governments of the People’s Republic of China and Portugal through a contribution to the UNU Endownment Fund. As well as...
Software Technology Formal and Use-Case Driven Requirement Analysis in UML (2001)
Xiaoshan Li, Zhiming Liu, Jifeng He
in July 1992. UNU/IIST is jointly funded by the Governor of Macau and the governments of the People’s Republic of China and Portugal through a contribution to the UNU Endownment Fund. As well as...
Zhiming Liu, A In, H. Kopetz, A. P. Ravn, A. P. Ravn, E. V. S��rensen, ...
ph. Transformations of programs for fault-tolerance. Technical Report RR165, Department of Computer Science, University of Warwick, Coventry, CV4,7AL, U.K., 1990. [34] Z. Liu. A semantic model for...
Unifying Proof Methodologies of Duration Calculus and Timed Linear Temporal Logic (1999)
Zhiming Liu, Anders P. Ravn, Xiaoshan Li
Linear Temporal Logic (LTL) has been widely used for specification and verification of reactive systems. Its standard model is sequences of states (or state transitions), and formulas describe...
Specification and Verification of Fault-tolerance, Timing and Scheduling (1999)
Zhiming Liu, Leicester Le Rh, Mathai Joseph
Fault-tolerance and timing have often been considered to be implementation issues of a program, quite distinct from the functional safety and liveness properties. Recent work has shown how these...
Specification and Verification of Fault-Tolerance (1999)
Miaomiao Zhang, Zhiming Liu, Anders P. Ravn
Training Centre of the United Nations University (UNU). It is based in Macao, and was founded in 1991. It started operations in July 1992. UNU-IIST is jointly funded by the government of Macao and...
Compositional Inductive Verification of Duration Properties of Real-Time Systems (1997)
Zhiming Liu, Anders P. Ravn, Xiaoshan Li
This paper proposes a method for formal real-time systems development. At high level a system is modelled as a conventional dynamical system with states that are functions of time represented by...
Formalizing Real-time Scheduling as Program Refinement (1997)
This paper shows how the feasibility of scheduling a real-time program consisting of a number of parallel processes (tasks) can be proved as a step in the refinement of the program from its...
Verification of Fault-Tolerance and Real-Time (1996)
A transformational method is given for specifying and verifying fault-tolerant, real-time programs. Such a program needs to be provably correct according to both its functional and real-time...
Verification of Fault-Tolerance and Real-Time (1996)
A transformational method is given for specifying and verifying fault-tolerant, real-time programs. Such a program needs to be provably correct according to both its functional and real-time...
Thesis (Ph. D.)--Texas Tech University, 1994.
Fault-tolerant programming by transformations. (1991)
Thesis (Ph. D.)--University of York, 1991.
Thesis (M.S.)--University of Washington, 1990.
Research on Dynamic Change of Grassland in West Jilin Province Based on 3S Technology (1970)
Grassland had been interpreted with the method that combined supervised and non-supervised classifications using Landsat data in autumns 1986, 1996 and 2000. The amelioration of algorithm promoted...
Arakane, Futoshi, Sugawara, Teruo, Nishino, Hideaki, Liu, Zhiming, Holt, John A., Pain, Debkumar, ...
Steroidogenic acute regulatory protein (StAR) plays a critical role in steroid hormone biosynthesis, presumably by facilitating the delivery of cholesterol to P450scc in the inner mitochondrial...
Arakane, Futoshi, Sugawara, Teruo, Nishino, Hideaki, Liu, Zhiming, Holt, John A., Pain, Debkumar, ...
Steroidogenic acute regulatory protein (StAR) plays a critical role in steroid hormone biosynthesis, presumably by facilitating the delivery of cholesterol to P450scc in the inner mitochondrial...
Yazici, Hulya, Zipprich, Jennifer, Peng, Tao, Akisik, Elif Z., Tigli, Hulya, Isin, Mustafa, ...
Background. MicroRNAs are a type of small noncoding RNA molecules that have been shown to control gene expression in eukaryotes. Aberrant expression and alteration of miRNAs may be responsible for...