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 条
  • [41] An object-oriented design approach to switching software development
    Hong, J
    Mi, ZK
    Cheng, YR
    1996 INTERNATIONAL CONFERENCE ON COMMUNICATION TECHNOLOGY, VOLUMES 1 AND 2 - PROCEEDINGS, 1996, : 977 - 980
  • [42] An approach for pattern oriented software development based on a design handbook
    Ram, DJ
    Anantharaman, KN
    Guruprasad, KN
    Sreekanth, M
    Raju, SVGK
    Rao, AA
    ANNALS OF SOFTWARE ENGINEERING, 2000, 10 : 329 - 358
  • [43] Towards correct object-oriented design frameworks in computational logic - (Extended abstract)
    Lau, KK
    Ornaghi, M
    LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2003, 2664 : 260 - 261
  • [44] From formal metamodels to metrics: An object-oriented approach
    Misic, VB
    Moser, S
    TOOLS 24: TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES, PROCEEDINGS, 1998, 24 : 330 - 339
  • [45] An object-oriented layered approach to interfaces for hardware/software codesign of embedded systems
    Gardner, WB
    Serra, M
    PROCEEDINGS OF THE THIRTY-FIRST HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, VOL VII: SOFTWARE TECHNOLOGY TRACK, 1998, : 197 - 206
  • [46] From formal specifications to ready-to-use software components: The Concurrent Object Oriented Petri Net approach
    Chachkov, S
    Buchs, D
    SECOND INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEMS DESIGN, PROCEEDINGS, 2001, : 99 - 110
  • [47] Formal analysis and design for engineering security automated derivation of formal software security specifications from goal-oriented security requirements
    Hassan, R.
    Eltoweissy, M.
    Bohner, S.
    El-Kassas, S.
    IET SOFTWARE, 2010, 4 (02) : 149 - 160
  • [48] Formal model approach for reliable Object-Oriented information system design
    Aoki, T
    Katayama, T
    WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL 1, PROCEEDINGS: ISAS '98, 1998, : 228 - 235
  • [49] Aspect-Oriented Approach for Supporting House Bookkeeping Software Design
    Rukhiran, Meennapa
    Netinant, Paniti
    2017 INTERNATIONAL CONFERENCE ON SOFTWARE AND E-BUSINESS (ICSEB 2017), 2015, : 49 - 54
  • [50] The Concept Design of House Bookkeeping Software Using Aspect Oriented Approach
    Rukhiran, Meennapa
    Netinant, Paniti
    PROCEEDINGS OF THE 2017 INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY (ICIT 2017), 2017, : 232 - 236
12345