Instrumenting scenarios in a model-driven development environment

被引：12
|
作者：
Grieskamp, W [1 ]
Tillmann, N [1 ]
Veanes, M [1 ]
机构：
[1] Microsoft Res, Redmond, WA 98052 USA
来源：
INFORMATION AND SOFTWARE TECHNOLOGY | 2004年 / 46卷 / 15期
关键词：
model-driven development; scenarios; use-cases; validation; verification; automated testing;
D O I：
10.1016/j.infsof.2004.07.007
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
SpecExplorer is an integrated environment for model-driven development of NET software. In this paper we discuss how scenarios can be described in SpecExplorer's modeling language, Spec#, and how the SpecExplorer tool can be used to validate those scenarios by various means. (C) 2004 Elsevier B.V. All rights reserved.
引用
收藏
页码：1027 / 1036
页数：10
相关论文
共 50 条
  • [1] Model-driven systems development and integration environment
    Azmoodeh, M
    Georgalas, N
    Fisher, S
    [J]. BT TECHNOLOGY JOURNAL, 2005, 23 (03) : 96 - 110
  • [2] Applying Model-Driven Development to Environment Monitoring System
    Tran Cao De
    [J]. MODELSWARD 2015 PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, 2015, : 577 - 584
  • [3] Timing analysis tools in a model-driven development environment
    Garrido, Jorge
    de la Puente, Juan A.
    Zamorano, Juan
    de Miguel, Miguel A.
    Alonso, Alejandro
    [J]. IFAC PAPERSONLINE, 2017, 50 (01): : 5875 - 5880
  • [4] A Model-Driven Development Approach for Service-Oriented Integration Scenarios
    Hoyer, Philip
    Gebhart, Michael
    Pansa, Ingo
    Link, Stefan
    Dikanski, Aleksander
    Abeck, Sebastian
    [J]. 2009 COMPUTATION WORLD: FUTURE COMPUTING, SERVICE COMPUTATION, COGNITIVE, ADAPTIVE, CONTENT, PATTERNS, 2009, : 353 - 358
  • [5] Model-driven development
    Pastor O.
    España S.
    Panach J.I.
    Aquino N.
    [J]. Informatik-Spektrum, 2008, 31 (5) : 394 - 407
  • [6] Model-driven development
    Mellor, SJ
    Clark, AN
    Futagami, T
    [J]. IEEE SOFTWARE, 2003, 20 (05) : 14 - 18
  • [7] A Model-Driven Multicore Software Development Environment for Embedded System
    Shih, Chihhsiong
    Wu, Chien-Ting
    Lin, Cheng-Yao
    Hsiung, Pao-Ann
    Hsueh, Nien-Lin
    Chang, Chih-Hung
    Koong, Chorng-Shiuh
    Chu, William C.
    [J]. 2009 IEEE 33RD INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOLS 1 AND 2, 2009, : 934 - +
  • [8] Generic and Distributed Runtime Environment for Model-driven Game Development
    Apel, Sebastian
    Schau, Volkmar
    [J]. PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD 2016), 2016, : 623 - 630
  • [9] STELAE - A Model-Driven Test Development Environment for Avionics Systems
    Guduvan, Alexandru-Robert
    Waeselynck, Helene
    Wiels, Virginie
    Durrieu, Guy
    Fusero, Yann
    Schieber, Michel
    [J]. 2013 IEEE 16TH INTERNATIONAL SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING (ISORC), 2013,
  • [10] A model-driven environment for component deployment
    Hnetynka, P
    [J]. Third ACIS International Conference on Software Engineering Research, Managment and Applications, Proceedings, 2005, : 6 - 13
12345