AUTOMATING SYSTEMS ENGINEERING

被引:0
|
作者
Kuhn, Dorothy A. [1 ]
机构
[1] Texas Instruments Incorporated Defense Systems & Electronics Group, 6500 Chase Oaks Boulevard P.O. Box 869305, MS 8420, Plano,TX,75086, United States
关键词
Distillation;
D O I
10.1002/j.2334-5837.1994.tb01729.x
中图分类号
学科分类号
摘要
引用
收藏
页码:364 / 370
相关论文
共 50 条
  • [41] Automating Formal Proofs for Reactive Systems
    Ricketts, Daniel
    Robert, Valentin
    Jang, Dongseok
    Tatlock, Zachary
    Lerner, Sorin
    ACM SIGPLAN NOTICES, 2014, 49 (06) : 452 - 462
  • [42] Automating Co-evolution in Model-Driven Engineering
    Cicchetti, Antonio
    Di Ruscio, Davide
    Eramo, Romina
    Pierantonio, Alfonso
    EDOC 2008: 12TH IEEE INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING, PROCEEDINGS, 2008, : 222 - 231
  • [43] Asking "What?", Automating the "How?": The Vision of Declarative Performance Engineering
    Walter, Juergen
    van Hoorn, Andre
    Koziolek, Heiko
    Okanovic, Dusan
    Kounev, Samuel
    PROCEEDINGS OF THE 2016 ACM/SPEC INTERNATIONAL CONFERENCE ON PERFORMANCE ENGINEERING (ICPE'16), 2016, : 91 - 94
  • [44] Towards Automating Representative Load Testing in Continuous Software Engineering
    Schulz, Henning
    Angerstein, Tobias
    van Hoorn, Andre
    COMPANION OF THE 2018 ACM/SPEC INTERNATIONAL CONFERENCE ON PERFORMANCE ENGINEERING (ICPE '18), 2018, : 123 - 126
  • [45] Automating virtualization of machinery for enabling efficient virtual engineering methods
    Michels, Felix Longge
    Haefner, Victor
    FRONTIERS IN VIRTUAL REALITY, 2022, 3
  • [46] Automating the Customization of Model-Driven Software Engineering Environments
    Cuevas Cuesta, Cesar
    Lopez Martinez, Patricia
    Drake, Jose M.
    MODELSWARD: PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, 2017, : 337 - 344
  • [47] Automating Detection of Security-Related Software Engineering Failures
    Straub, Jeremy
    2019 IEEE AUTOTESTCON, 2019,
  • [48] AUTOMATING RELIABILITY PREDICTION AND DERATING ANALYSIS AN EXAMPLE OF SIMULTANEOUS ENGINEERING
    ARELLANO, L
    DOSHAY, I
    PROCEEDINGS ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM, 1991, (SYM): : 384 - 390
  • [49] Automating Expert Role to Determine Design Concept in Kansei Engineering
    Lokman, Anitawati Mohd
    Haron, Mohammad Bakri Che
    Abidin, Siti Zaleha Zainal
    Abd Khalid, Noor Elaiza
    PROGRESS IN APPLIED MATHEMATICS IN SCIENCE AND ENGINEERING PROCEEDINGS, 2016, 1705
  • [50] AUTOMATING STORMWATER AND COMBINED SEWER SYSTEMS - THE POSSIBILITIES
    GRIGG, NS
    SCHILLING, W
    WATER-ENGINEERING & MANAGEMENT, 1986, 133 (05): : 33 - 35