17 results on '"Li, Xiaoshan"'
Search Results
2. An Interactive Construction Method of 3D Objects from Chinese Ink Paintings
3. Cloud Computing Based Software Testing Framework Design and Implementation
4. The Research and Design of Cloud Computing Security Framework
5. Interactive Transformations from Object-Oriented Models to Component-Based Models
6. AutoPA: Automatic Prototyping from Requirements
7. Modelling with Relational Calculus of Object and Component Systems - rCOS
8. Harnessing rCOS for Tool Support —The CoCoME Experience
9. Component-Based Software Engineering : The Need to Link Methods and Their Theories
10. rCOS: Refinement of Component and Object Systems
11. A Predicative Semantic Model for Integrating UML Models
12. Generating a Prototype from a UML Model of System Requirements
13. Contract Oriented Development of Component Software
14. A Relational Model for Object-Oriented Designs
15. A Relational Model for Formal Object-Oriented Requirement Analysis in UML
16. Using Transition Systems to Unify UML Models
17. Proving the Correctness of the Interlock Mechanism in Processor Design
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.