Extended abstract: A formal design approach from software oriented UML descriptions to hardware oriented RTL

被引：0
|
作者：
Fujita, M [1 ]
机构：
[1] Univ Tokyo, VDEC, Tokyo, Japan
来源：
Third ACM & IEEE International Conference on Formal Methods and Models for Co-Design, Proceedings | 2005年
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：241 / 242
页数：2
相关论文
共 50 条
  • [21] An object-oriented hardware/software co-design paradigm
    Rashid, OM
    Passos, NL
    Halverson, RH
    INTERNATIONAL SOCIETY FOR COMPUTERS AND THEIR APPLICATIONS 13TH INTERNATIONAL CONFERENCE ON COMPUTERS AND THEIR APPLICATIONS, 1998, : 440 - 443
  • [22] Toward component-oriented formal software development: An algebraic approach
    Bidoit, M
    Sannella, D
    Tarlecki, A
    RADICAL INNOVATIONS OF SOFTWARE AND SYSTEMS ENGINEERING IN THE FUTURE, 2004, 2941 : 75 - 90
  • [23] Effective software architecture design: From global analysis to UML descriptions
    Nord, RL
    Paulish, DJ
    Soni, D
    Hofmeister, C
    PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2001, : 741 - 742
  • [24] A Constraint-Oriented Approach to Software Architecture Design
    van den Berg, Mark
    Tang, Antony
    Farenhorst, Rik
    2009 NINTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC 2009), 2009, : 396 - +
  • [25] An object-oriented, formal approach to the design of cadastral systems
    Frank, AU
    ADVANCES IN GIS RESEARCH II, 1997, : 245 - 261
  • [26] Safety-Oriented Software Architecture Design Approach
    Huang, Yuling
    PROCEEDINGS OF 2013 INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE AND COMPUTER APPLICATIONS (ICSA 2013), 2013, 92 : 153 - 160
  • [27] A composition-oriented approach for business process formal design
    Zhang, Jing
    Wang, Hai-Yang
    2006 10TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN, PROCEEDINGS, VOLS 1 AND 2, 2006, : 449 - 454
  • [28] The key approach:: Integrating object oriented design and formal verification
    Ahrendt, W
    Baar, T
    Beckert, B
    Giese, M
    Habermalz, E
    Hähnle, R
    Menzel, W
    Schmitt, PH
    LOGICS IN ARTIFICIAL INTELLIGENCE, 2000, 1919 : 21 - 36
  • [29] Formal Approach for Performance Analysis Oriented Parallel System Design
    Cheng, Bin
    Wang, Xingang
    Li, Ying
    Tong, Weiqing
    FCST 2009: PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON FRONTIER OF COMPUTER SCIENCE AND TECHNOLOGY, 2009, : 22 - 26
  • [30] Performance modeling and analysis of software architectures: An aspect-oriented UML based approach
    Cooper, K
    Dai, LR
    Deng, Y
    SERP'04: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2004, : 111 - 117
12345