English
Related papers

Related papers: Towards a Formal Specification Framework for Manuf…

200 papers

The development of Machine Learning (ML) based systems is complex and requires multidisciplinary teams with diverse skill sets. This may lead to communication issues or misapplication of best practices. Process models can alleviate these…

Software Engineering · Computer Science 2024-08-29 Sergio Morales , Robert Clarisó , Jordi Cabot

Requirements engineering plays a critical role in developing software systems. One of the most difficult tasks in this process is identifying functional requirements. A critical problem in many projects is missing requirements until late in…

Software Engineering · Computer Science 2020-04-02 Sabah Al-Fedaghi

Methods: This work introduces a method supporting the collaborative definition of machine learning tasks by leveraging model-based engineering in the formalization of the systems modeling language SysML. The method supports the…

Software Engineering · Computer Science 2023-07-11 Simon Raedler , Juergen Mangler , Stefanie Rinderle-Ma

Electronic structure simulation (ESS) has been used for decades to provide quantitative scientific insights on an atomistic scale, enabling advances in chemistry, biology, and materials science, among other disciplines. Following standard…

Machine Learning · Computer Science 2024-06-06 Hatem Helal , Andrew Fitzgibbon

Modeling and documentation are two essential ingredients for the engineering discipline of software development. During the last twenty years a wide variety of description and modeling techniques as well as document formats has been…

Software Engineering · Computer Science 2014-11-11 Manfred Broy , Franz Huber , Barbara Paech , Bernhard Rumpe , Katharina Spies

The specification of requirements and tests are crucial activities in automotive development projects. However, due to the increasing complexity of automotive systems, practitioners fail to specify requirements and tests for distributed and…

[Context] The increasing adoption of machine learning (ML) in software systems demands specialized ideation approaches that address ML-specific challenges, including data dependencies, technical feasibility, and alignment between business…

Software Engineering · Computer Science 2025-06-26 Silvio Alonso , Antonio Pedro Santos Alves , Lucas Romao , Hélio Lopes , Marcos Kalinowski

The Unified Modelling Language is emerging as a de-facto standard for modelling object-oriented systems. However, the semantics document that a part of the standard definition primarily provides a description of the language's syntax and…

Software Engineering · Computer Science 2014-09-25 Andy Evans , Kevin Lano , Robert France , Bernhard Rumpe

This paper comprises a SysML-based approach to support the model-driven engineering (MDE) of Manufacturing Automation Software Projects (MASP). The Systems Modeling Language (SysML) is adapted to define the SysML-AT (SysML for automation),…

Systems and Control · Electrical Eng. & Systems 2022-12-14 Birgit Vogel-Heuser , Daniel Schuetz , Timo Frank , Christoph Legat

The Unified Modeling Language (UML) is a standard for modeling dynamic systems. UML behavioral state machines are used for modeling the dynamic behavior of object-oriented designs. The UML specification, maintained by the Object Management…

Software Engineering · Computer Science 2024-07-25 Étienne André , Shuang Liu , Yang Liu , Christine Choppy , Jun Sun , Jin Song Dong

Process visualizations of data from manufacturing execution systems (MESs) provide the ability to generate valuable insights for improved decision-making. Industry 4.0 is awakening a digital transformation where advanced analytics and…

Human-Computer Interaction · Computer Science 2022-01-19 Meadhbh O'Neill , Jeff Morgan , Kevin Burke

The Unified Modeling Language UML is a language for specifying visualizing and documenting object oriented systems UML combines the concepts of OOA OODOMT and OOSE and is intended as a standard in the domain of object oriented analysis and…

Software Engineering · Computer Science 2014-09-26 Ruth Breu , Ursula Hinkel , Christoph Hofmann , Cornel Klein , Barbara Paech , Bernhard Rumpe , V. Thurner

Business optimisation has been used extensively to determine optimal solutions for challenging business operations. Problem formulation is an important part of business optimisation as it influences both the validity of solutions and the…

Artificial Intelligence · Computer Science 2025-04-23 Pivithuru Thejan Amarasinghe , Su Nguyen , Yuan Sun , Damminda Alahakoon

Many organizations seek to ensure that machine learning (ML) and artificial intelligence (AI) systems work as intended in production but currently do not have a cohesive methodology in place to do so. To fill this gap, we propose MLTE…

Software Engineering · Computer Science 2023-03-06 Katherine R. Maffey , Kyle Dotterrer , Jennifer Niemann , Iain Cruickshank , Grace A. Lewis , Christian Kästner

The UML allows us to specify models in a precise, complete and unambiguous manner. In particular, the UML addresses the specification of all important decisions regarding analysis, design and implementation. Although UML is not a visual…

Software Engineering · Computer Science 2010-01-26 S. S. Riaz Ahamed

Model-driven engineering is the automatic production of software artefacts from abstract models of structure and functionality. By targeting a specific class of system, it is possible to automate aspects of the development process, using…

Software Engineering · Computer Science 2013-01-03 Chen-Wei Wang , Jim Davies

In this paper we show by using the example of UML, how a software engineering method can benefit from an integrative mathematical foundation. The mathematical foundation is given by a mathematical system model. This model provides the basis…

Software Engineering · Computer Science 2014-12-09 Ruth Breu , Radu Grosu , Franz Huber , Bernhard Rumpe , Wolfgang Schwerin

Upon the significant performance of the supervised deep neural networks, conventional procedures of developing ML system are \textit{task-centric}, which aims to maximize the task accuracy. However, we scrutinized this \textit{task-centric}…

Computer Vision and Pattern Recognition · Computer Science 2022-10-14 Kyung Ho Park , Hyunhee Chung , Soonwoo Kwon

Modeling languages in software engineering (e.g., UML) evolved from software systems modeling where denotational and operational kinds of semantics are the traditional subjects of research and practice. According to some authors, although a…

Software Engineering · Computer Science 2020-11-04 Sabah Al-Fedaghi

Any traditional engineering field has metrics to rigorously assess the quality of their products. Engineers know that the output must satisfy the requirements, must comply with the production and market rules, and must be competitive.…

‹ Prev 1 2 3 10 Next ›