UmINICE, a toolset supporting UML

被引：0
|
作者：
机构：
来源：
European Space Agency (Brochure) ESA BR | 1999年 / BR-154期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] UML Diagrams Supporting Domain Specification Inside the CRUTIAL Project
    Cerotti, Davide
    Codetta-Raiteri, Daniele
    Donatelli, Susanna
    Brasca, Claudio
    Dondossola, Giovanna
    Garrone, Fabrizio
    CRITICAL INFORMATION INFRASTRUCTURES SECURITY, 2008, 5141 : 106 - 123
  • [32] Using UML VR for supporting the automated test data generation
    Dymek, Dariusz
    Kotulski, Leszek
    DEPCOS - RELCOMEX 2008: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON DEPENDABILITY OF COMPUTER SYSTEMS, 2008, : 3 - +
  • [33] Supporting UML sequence diagrams using a processor net model
    Staines, Tony Spiteri
    ECBS 2007: 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, Proceedings: RAISING EXPECTATIONS OF COMPUTER-BASES SYSTEMS, 2007, : 279 - 286
  • [34] A toolset for conformance testing against UML sequence diagrams based on event-driven colored Petri nets
    João Pascoal Faria
    Ana C. R. Paiva
    International Journal on Software Tools for Technology Transfer, 2016, 18 : 285 - 304
  • [35] The IF toolset
    Bozga, M
    Graf, S
    Ober, I
    Ober, I
    Sifakis, J
    FORMAL METHODS FOR THE DESIGN OF REAL-TIME SYSTEMS, 2004, 3185 : 237 - 267
  • [36] Supporting UML-based development of embedded systems by formal techniques
    Hooman, Jozef
    Kugler, Hillel
    Ober, Iulian
    Votintseva, Anjelika
    Yushtein, Yuri
    SOFTWARE AND SYSTEMS MODELING, 2008, 7 (02): : 131 - 155
  • [37] Supporting UML-based development of embedded systems by formal techniques
    Jozef Hooman
    Hillel Kugler
    Iulian Ober
    Anjelika Votintseva
    Yuri Yushtein
    Software & Systems Modeling, 2008, 7 : 131 - 155
  • [38] Supporting the building and analysis of an infrastructure portfolio using UML deployment diagrams
    Ingalsbe, JA
    UML MODELING LANGUAGES AND APPLICATIONS, 2005, 3297 : 105 - 117
  • [39] Supporting task-oriented modeling using interactive UML views
    Lange, Christian F. J.
    Wijns, Martijn A. M.
    Chaudron, Michel R. V.
    JOURNAL OF VISUAL LANGUAGES AND COMPUTING, 2007, 18 (04): : 399 - 419
  • [40] Supporting software evolution through dynamically retrieving traces to UML artifacts
    Settimi, R
    Cleland-Huang, J
    Ben Khadra, O
    Mody, J
    Lukasik, W
    DePalma, C
    7TH INTERNATIONAL WORKSHOP ON PRINCIPLES OF SOFTWARE EVOLUTION, 2004, : 49 - 54
12345