From Solution to Problem Spaces: Formal Methods in the Context of Model-Based Development and Domain-Specific Languages

被引：0
|
作者：
Schaetz, Bernhard [1 ]
机构：
[1] Fortiss GmbH, D-80805 Munich, Germany
来源：
2011 35TH IEEE ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC) | 2011年
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
With the increased use of model-based techniques and the provision of domain-specific languages, the focus of the development process is shifting from the implementation to the analysis and the design phase. With this shift from the general-purpose, technical-oriented solution space to the application-specific, domain-oriented problem space, new possibilities of application open up for rigorous engineering techniques, both on the analysis and on the synthesis side of applications.
引用
收藏
页码：454 / 455
页数：2
相关论文
共 41 条
  • [1] A Model-Based Approach to Families of Embedded Domain-Specific Languages
    Sanchez Cuadrado, Jesus
    Garcia Molina, Jesus
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2009, 35 (06) : 825 - 840
  • [2] Implementing a domain-specific language for model-based drug development
    Kokash, Natallia
    Moodie, Stuart L.
    Smith, Mike K.
    Holford, Nick
    [J]. 6TH INTERNATIONAL CONFERENCE ON EMERGING UBIQUITOUS SYSTEMS AND PERVASIVE NETWORKS (EUSPN 2015)/THE 5TH INTERNATIONAL CONFERENCE ON CURRENT AND FUTURE TRENDS OF INFORMATION AND COMMUNICATION TECHNOLOGIES IN HEALTHCARE (ICTH-2015), 2015, 63 : 308 - 316
  • [3] Pain-mitigation Techniques for Model-based Engineering using Domain-specific Languages
    Akesson, Benny
    Hooman, Jozef
    Dekker, Roy
    Ekkelkamp, Willemien
    Stottelaar, Bas
    [J]. PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, 2018, : 752 - 764
  • [4] Pattern-Based Development of Domain-Specific Modelling Languages
    Pescador, Ana
    Garmendia, Antonio
    Guerra, Esther
    Sanchez Cuadrado, Jesus
    de Lara, Juan
    [J]. 2015 ACM/IEEE 18TH INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS (MODELS), 2015, : 166 - 175
  • [5] Experiences in Setting up Domain-Specific Model-Based Testing
    Kanstren, Teemu
    Puolitaival, Olli-Pekka
    Rytky, Veli-Matti
    Saarela, Asmo
    Keranen, Janne S.
    [J]. 2012 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT), 2012, : 319 - 324
  • [6] Model-Based Development and Formal Methods in the Railway Industry
    Ferrari, Alessio
    Fantechi, Alessandro
    Gnesi, Stefania
    Magnani, Gianluca
    [J]. IEEE SOFTWARE, 2013, 30 (03) : 28 - 34
  • [7] Novel development tool for IEC61499 based on domain-specific languages
    Sorokin, Radimir
    Patil, Sandeep
    Vyatkin, Valeriy
    [J]. IFAC PAPERSONLINE, 2022, 55 (02): : 439 - 444
  • [8] Model-Driven Development of UML-Based Domain-Specific Languages for System Architecture Variants
    Wichmann, Alexander
    Maschotta, Ralph
    Bedini, Francesco
    Zimmermann, Armin
    [J]. 2019 13TH ANNUAL IEEE INTERNATIONAL SYSTEMS CONFERENCE (SYSCON), 2019,
  • [9] Towards deploying model-based testing with a domain-specific modeling approach
    Katara, Mika
    Kervinen, Antti
    Maunumaa, Mika
    Paakkonen, Tuula
    Satama, Mikko
    [J]. TAIC PART - TESTING: ACADEMIC & INDUSTRIAL CONFERENCE - PRACTICE AND RESEARCH TECHNIQUES, PROCEEDINGS, 2006, : 81 - +
  • [10] Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans
    Phillip James
    Markus Roggenbach
    [J]. Mathematics in Computer Science, 2014, 8 (1) : 11 - 38
12345