Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- ArticleOctober 2021
Agile Business Engineering: From Transformation Towards ContinuousInnovation
Leveraging Applications of Formal Methods, Verification and ValidationPages 77–94https://doi.org/10.1007/978-3-030-89159-6_6AbstractWe discuss how to overcome the often fatal impact of violating integral quality constraints: seemingly successful (software) development projects turn into failures because of a mismatch with the business context. We investigate the similarities ...
- ArticleOctober 2021
Integrating External Services in DIME
Leveraging Applications of Formal Methods, Verification and ValidationPages 41–54https://doi.org/10.1007/978-3-030-89159-6_3AbstractWe show how to extend the (application) Domain Specific Languages supported by the DIME low-code development environment to integrate functionalities hosted on heterogeneous technologies and platforms. Developers can this way utilize within DIME ...
- ArticleOctober 2021
Aligned, Purpose-Driven Cooperation: The Future Way of System Development
Leveraging Applications of Formal Methods, Verification and ValidationPages 426–449https://doi.org/10.1007/978-3-030-89159-6_27AbstractCollaborative system development requires a three-dimensional alignment: in space, in time, and in mindset: Traditionally, different developers typically have their own, local development environments, each of which may change over time due to ...
- ArticleOctober 2021
Programming vs. That Thing Subject Matter Experts Do
Leveraging Applications of Formal Methods, Verification and ValidationPages 414–425https://doi.org/10.1007/978-3-030-89159-6_26AbstractAllowing subject matter experts to directly contribute their domain knowledge and expertise to software through DSLs and automation is a promising way to increase overall software development efficiency and the quality of the product. However, ...
- ArticleOctober 2021
The Interoperability Challenge: Building a Model-Driven Digital Thread Platform for CPS
Leveraging Applications of Formal Methods, Verification and ValidationPages 393–413https://doi.org/10.1007/978-3-030-89159-6_25AbstractWith the heterogeneity of the industry 4.0 world, and more generally of the Cyberphysical Systems realm, the quest towards a platform approach to solve the interoperability problem is front and centre to any system and system-of-systems project. ...
-
- ArticleOctober 2021
Towards Model-Based Intent-Driven Adaptive Software
Leveraging Applications of Formal Methods, Verification and ValidationPages 378–392https://doi.org/10.1007/978-3-030-89159-6_24AbstractModel-based software engineering plays an increasing role in system development. The abstractions offered by models provide a basis for tasks such as analysis, synthesis, and automated reasoning. However, like traditional software engineering, ...
- ArticleOctober 2021
The Future of Programming andModelling: A Vision
Leveraging Applications of Formal Methods, Verification and ValidationPages 357–377https://doi.org/10.1007/978-3-030-89159-6_23AbstractWhat is the future of programming, and what does it have to do with modelling? In this paper we will first argue that, despite impressive achievements, software development now suffers from a capacity crisis which cannot be alleviated by ...
- ArticleOctober 2021
Fixing Classification: A Viewpoint-Based Approach
Leveraging Applications of Formal Methods, Verification and ValidationPages 346–356https://doi.org/10.1007/978-3-030-89159-6_22AbstractThe concept of classification as realized in most traditional object-oriented computer languages has certain limitations that may inhibit its application to modeling more complex phenomena. This is likely to prove problematic as modern software ...
- ArticleOctober 2021
GATE: Gradual Effect Types
Leveraging Applications of Formal Methods, Verification and ValidationPages 335–345https://doi.org/10.1007/978-3-030-89159-6_21AbstractTwo recent exciting trends in programming languages are gradual types and algebraic effect handlers. Several steps are required to bring algebraic effect handlers to wider use, one of the most important being the development of a suitable gradual ...
- ArticleOctober 2021
Pyrus: An Online Modeling Environment for No-Code Data-Analytics Service Composition
Leveraging Applications of Formal Methods, Verification and ValidationPages 18–40https://doi.org/10.1007/978-3-030-89159-6_2AbstractWe present Pyrus, a domain-specific online modeling environment for building graphical processes for data analysis, machine learning and artificial intelligence. Pyrus aims at bridging the gap between de facto (often Python-based) standards as ...
- ArticleOctober 2021
Fundamental Constructs in Programming Languages
Leveraging Applications of Formal Methods, Verification and ValidationPages 296–321https://doi.org/10.1007/978-3-030-89159-6_19AbstractWhen a new programming language appears, the syntax and intended behaviour of its programs need to be specified. The behaviour of each language construct can be concisely specified by translating it to fundamental constructs (funcons), ...
- ArticleOctober 2021
HAMR: An AADL Multi-platform Code Generation Toolset
Leveraging Applications of Formal Methods, Verification and ValidationPages 274–295https://doi.org/10.1007/978-3-030-89159-6_18AbstractThis paper describes the High-Assurance Model-based Rapid engineering for embedded systems (HAMR) tool-kit that generates high-assurance software from standards-based system architecture models for embedded cyber-physical systems. HAMR’s ...
- ArticleOctober 2021
Slang: The Sireum Programming Language
Leveraging Applications of Formal Methods, Verification and ValidationPages 253–273https://doi.org/10.1007/978-3-030-89159-6_17AbstractThis paper presents design goals, development approaches, and applications for Slang – a subset of the Scala programming language designed for engineering high assurance safety/security-critical systems. Rationale is given for specializing Scala ...
- ArticleOctober 2021
Integrated Modeling and Development of Component-Based Embedded Software in Scala
Leveraging Applications of Formal Methods, Verification and ValidationPages 233–252https://doi.org/10.1007/978-3-030-89159-6_16AbstractDeveloping embedded software requires good frameworks, models, and programming languages. The languages typically used for embedded programming (e.g., C and C++) tend to be decoupled from the models and tend to favor efficiency and low-level ...
- ArticleOctober 2021
Time for All Programs, Not Just Real-Time Programs
Leveraging Applications of Formal Methods, Verification and ValidationPages 213–232https://doi.org/10.1007/978-3-030-89159-6_15AbstractWe argue that the utility of time as a semantic property of software is not limited to the domain of real-time systems. This paper outlines four concurrent design patterns: alignment, precedence, simultaneity, and consistency, all of which are ...
- ArticleOctober 2021
Low-Code Is Often High-Code, So We Must Design Low-Code Platforms to Enable Proper Software Engineering
Leveraging Applications of Formal Methods, Verification and ValidationPages 202–212https://doi.org/10.1007/978-3-030-89159-6_14AbstractThe concept of low-code (and no-code) platforms has been around for decades, even before the term was used. The idea is that applications on these platforms can be built by people with less technical expertise than a professional programmer, yet ...
- ArticleOctober 2021
Programming - What is Next?
Leveraging Applications of Formal Methods, Verification and ValidationPages 195–201https://doi.org/10.1007/978-3-030-89159-6_13AbstractThe paper provides an introduction to the track: “Programming - What is Next?”, organized by the authors as part of ISoLA 2021: the 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. A total of ...
- ArticleOctober 2021
From Requirements to Executable Rules: An Ensemble of Domain-Specific Languages for Programming Cyber-Physical Systems in Warehouse Logistics
Leveraging Applications of Formal Methods, Verification and ValidationPages 162–177https://doi.org/10.1007/978-3-030-89159-6_11AbstractThe fourth industrial revolution is driven by Software-enabled automation. To fully realize the potential of this digital transformation in a way that is beneficial to society, automation needs to become programmable by domain experts—the vision ...
- ArticleOctober 2021
DSLs and Middleware Platforms in a Model-Driven Development Approach for Secure Predictive Maintenance Systems in Smart Factories
Leveraging Applications of Formal Methods, Verification and ValidationPages 146–161https://doi.org/10.1007/978-3-030-89159-6_10AbstractIn many industries, traditional automation systems (operating technology) such as PLCs are being replaced with modern, networked ICT-based systems as part of a drive towards the Industrial Internet of Things (IIoT). The intention behind this is to ...
- ArticleOctober 2021
An Introduction to Graphical Modeling of CI/CD Workflows with Rig
Leveraging Applications of Formal Methods, Verification and ValidationPages 3–17https://doi.org/10.1007/978-3-030-89159-6_1AbstractWe present an introduction to the usage of Rig, our Cinco product for the graphical modeling of CI/CD workflows. While CI/CD has become a de facto standard in modern software engineering (e.g. DevOps) and the benefits of its practice are without a ...
