Practical Formal Verification of Domain-Specific Language Applications

被引：3
|
作者：
Eakman, Greg [1 ]
Reubenstein, Howard [1 ]
Hawkins, Tom [1 ]
Jain, Mitesh [2 ]
Manolios, Panagiotis [2 ]
机构：
[1] BAE Syst, Burlington, MA 01803 USA
[2] Northeastern Univ, Boston, MA 02115 USA
来源：
NASA FORMAL METHODS (NFM 2015) | 2015年 / 9058卷
关键词：
D O I：
10.1007/978-3-319-17524-9_34
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
An application developer's primary task is to produce performant systems that meet their specifications. Formal methods techniques allow engineers to create models and implementations that have a high assurance of satisfying a specification. In this experience report, we take a model-based approach to software development that adds the assurance of formal methods to software construction while automating over 90% of the formal modeling. We discuss a software development methodology and two specific examples that illustrate how to integrate formal methods and their benefits into a traditional (testing-based) software development process.
引用
收藏
页码：443 / 449
页数：7
相关论文
共 50 条
  • [31] A domain-specific language for virtual classrooms
    Gañán, David
    Guerrero-Roldán, Ana-Elena
    Prieto-Blázquez, Josep
    Conesa, Jordi
    International Journal of Metadata, Semantics and Ontologies, 2014, 9 (04) : 313 - 323
  • [32] A domain-specific visual language for domain model evolution
    Sprinkle, J
    Karsai, G
    JOURNAL OF VISUAL LANGUAGES AND COMPUTING, 2004, 15 (3-4): : 291 - 307
  • [33] A formal approach to the engineering of domain-specific distributed systems
    De Nicola, Rocco
    Ferrari, Gianluigi
    Pugliese, Rosario
    Tiezzi, Francesco
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2020, 111
  • [34] A Formal Representation of Domain-Specific Metamodeling Language XMML Based on First-order Logic
    Jiang, Tao
    Wang, Xin
    CEIS 2011, 2011, 15
  • [35] Domain-specific metaware for hydrologic applications
    Andresen, Daniel
    Neilsen, Mitchell
    Singh, Gurdip
    Kalita, Prasanta
    International Journal of Parallel and Distributed Systems and Networks, 2002, 5 (04): : 178 - 184
  • [36] SmartHomeML: Towards a Domain-Specific Modeling Language for Creating Smart Home Applications
    Einarsson, Atli F.
    Patreksson, Patrekur
    Hamdaqa, Mohammad
    Hamou-Lhadj, Abdelwahab
    2017 IEEE 2ND INTERNATIONAL CONGRESS ON INTERNET OF THINGS (IEEE ICIOT), 2017, : 82 - 88
  • [37] In Need of a Domain-Specific Language Modeling Notation for Smartphone Applications with Portable Capability
    Ghandorh, Hamza
    Capretz, Luiz Fernando
    Nassif, Ali Bou
    MOBILE WEB AND INTELLIGENT INFORMATION SYSTEMS, 2015, 9228 : 218 - 227
  • [38] Developing Microservice-Based Applications Using the Silvera Domain-Specific Language
    Suljkanovic, Alen
    Milosavljevic, Branko
    Indic, Vladimir
    Dejanovic, Igor
    APPLIED SCIENCES-BASEL, 2022, 12 (13):
  • [39] LegalLanguage: A Domain-Specific Language for Legal Contexts
    Soares, Ambrosio Alves
    Martins, Paula Ventura
    da Silva, Alberto Rodrigues
    ADVANCES IN ENTERPRISE ENGINEERING XIII, EEWC 2019, 2020, 374 : 33 - 51
  • [40] A Domain-Specific Language for Exploratory Data Visualization
    Smeltzer, Karl
    Erwig, Martin
    PROCEEDINGS OF THE 17TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON GENERATIVE PROGRAMMING: CONCEPTS AND EXPERIENCES (GPCE'18), 2018, : 1 - 13
12345