Keywords Cloud

Research Outputs

Co-authors[TOP 5]

Usage Statistics


  Total Views
 35

  Access Source
    internal: 3
    External: 32
    Domestic: 14
    Abroad: 21

  Annual Views
 9

  Access Source
    internal: 0
    External: 9
    Domestic: 2
    Abroad: 7

  Monthly Views
 0

  Access Source
    internal: 0
    External: 0
    Domestic: 0
    Abroad: 0

Visits

Visits

1. Model querying with graphical notation of QVT relations [30]
2. Towards a Refinement Calculus for Object Systems [29]
3. Towards a formal use of UML for software requirement analysis [24]
4. rCOS: A refinement calculus of object systems [19]
5. Component-based software engineering* the need to linie methods an.. [19]
6. QVT-based Model Transformation using XSLT [18]
7. Verifying Duration Properties of Timed Transition Systems [17]
8. A Relational Calculus of Components [16]
9. A Theory of Reactive Components [15]
10. Animating the brush-writing process of Chinese calligraphy charact.. [15]
11. Validation of requirement models by automatic prototyping [14]
12. A relational model for object-oriented designs [13]
13. A characterization of UML diagrams and their consistency [13]
14. Unifying proof methodologies of duration calculus and timed linear.. [13]
15. An Image-based Approach in Animating Painting Procedure of Chinese.. [12]
16. Towards the Integration of a Formal Object-Oriented Method and the.. [12]
17. Interactive Transformation from Object-Oriented Models to Componen.. [12]
18. AutoPA: Automatic prototyping from requirements [11]
19. Harnessing rCOS for tool support - The CoCoME experience [11]
20. Consistent code generation from UML models [11]
21. A formal semantics of UML sequence diagram [11]
22. Contract oriented development of component software [11]
23. Towards a Rigorous Approach to UML-Based Development [11]
24. rCOS: A formal model-driven engineering method for component-based.. [10]
25. Using transition systems to unify UML models [10]
26. A relational model for formal object-oriented requirement analysis.. [9]
27. A predicative semantic model for integrating UML models [9]
28. Generating a prototype from a UML model of system requirements [9]
29. Validating requirements model of a B2B system [8]
30. Consistency checking of UML requirements [8]
31. Formal and use-case driven requirement analysis in UML [8]
32. Unifying views of UML [7]
33. Formal object-oriented analysis and design of an online ticketing .. [7]
34. Specification and simulation of a concurrent real-time system [7]
35. rCOS: Refinement of component and object systems [6]
36. Towards a rigorous approach to UML-based development [6]
37. Specification and simulation of a concurrent real-time system [6]
38. Prototyping System Requirements Model [5]

Downloads