Регистрация | Вход в службу | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

newdawn rcos [12 articles]

Recent papers added to newdawn library classified by the tag rcos. You can also see everyone's rcos.
  • Refinement and Verification in Component-Based Model Driven Design
    (November 2007)
    by Zhenbang Chen, Zhiming Liu, Anders P Ravn, Volker Stolz, Naijun Zhan
    posted to rcos by newdawn on 2008-10-04 10:10:58 as **
  • The rCOS Method and Modeler
    (March 2008)
    by Zhenbang Chen, Zhiming Liu, Volker Stolz
    posted to rcos by newdawn on 2008-08-26 09:27:24 as **
  • Formal Model Driven Design
    (January 2008)
    by Zhiming Liu
    posted to rcos slides by newdawn on 2008-08-26 09:19:45 as **
  • notes Linking UML models of design and requirement
    Software Engineering Conference, 2004. Proceedings. 2004 Australian (2004), pp. 329-338.
    by Jing Liu, Zhiming Liu, Jifeng He, Xiaoshan Li
    posted to component model rcos by newdawn on 2008-07-25 05:49:44 as read along with 2 people leonardo marcia
  • A formal semantics of UML sequence diagram
    Software Engineering Conference, 2004. Proceedings. 2004 Australian (2004), pp. 168-177.
    by Xiaoshan Li, Zhiming Liu, H Jifeng
    posted to component model rcos by newdawn on 2008-07-25 05:47:56 as read along with 1 person leonardo
  • Prototyping System Requirements Model
    Electronic Notes in Theoretical Computer Science, Vol. 207 (10 April 2008), pp. 17-32.
    by Xiaoshan Li, Zhiming Liu
    posted to component model rcos by newdawn on 2008-07-25 05:44:09 as read
  • Formal and Use-Case Driven Requirement Analysis in UML
    (2001), pp. 215-224.
    by Xiaoshan Li, Zhiming Liu, Jifeng He
    posted to model rcos by newdawn on 2008-07-24 09:35:00 as read
  • A Refinement Driven Component-Based Design
    Engineering Complex Computer Systems, 2007. 12th IEEE International Conference on (2007), pp. 277-289.
    by Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang, Anders P Ravn
    posted to rcos refinement by newdawn on 2008-07-13 09:55:51 as ** along with 2 people zbchen leonardo
  • POST: A Case Study for an Incremental Development in rCOS
    Lecture Notes in Computer Science : Theoretical Aspects of Computing â ICTAC 2005 (2005), pp. 485-500.
    by Quan Long, Zongyan Qiu, Zhiming Liu, Lingshuang Shao, He Jifeng
    posted to component rcos by newdawn on 2008-06-26 10:36:45 as ** along with 1 person leonardo
  • Component-Based Software Engineering
    Theoretical Aspects of Computing – ICTAC 2005 (2005), pp. 70-95.
    by Jifeng He, Xiaoshan Li, Zhiming Liu
    posted to component rcos by newdawn on 2008-06-26 10:26:26 as **
  • A Model of Component-Based Programming
    International Symposium on Fundamentals of Software Engineering (2007), pp. 191-206.
    by Xin Chen, Jifeng He, Zhiming Liu, Naijun Zhan
    posted to component formal rcos by newdawn on 2008-06-26 09:40:59 as ** along with 1 person zbchen
  • A Theory of Reactive Components
    Electronic Notes in Theoretical Computer Science, Vol. 160 (8 August 2006), pp. 173-195.
    by Jifeng He, Xiaoshan Li, Zhiming Liu
    posted to component formal rcos semantics by newdawn on 2008-06-26 08:41:08 as ***** along with 1 person StFX_Logic
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/newdawn/tag/rcos

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.