English
Related papers

Related papers: Towards a Tool-based Development Methodology for P…

200 papers

Modern day system developers have some serious problems to contend with. The systems they develop are becoming increasingly complex as customers demand richer functionality delivered in ever shorter timescales. They have to manage a huge…

Software Engineering · Computer Science 2015-05-04 Tony Clark , Paul Sammut , James Willans

Cross-platform development solutions can help to make software available on different devices and platforms. But these are normally restricted to preconfigured platforms and consider that each individual solution is equal or similar to each…

Software Engineering · Computer Science 2021-05-04 Juliano Zanuzzio Blanco , Daniel Lucrédio

We propose a tool-supported methodology for design-space exploration for embedded systems. It provides means to define high-level models of applications and multi-processor architectures and evaluate the performance of different deployment…

Software Engineering · Computer Science 2014-06-10 Jean-Francois Kempf , Olivier Lebeltel , Oded Maler

Programming requires much more than just writing code in a programming language. It is usually done in the context of a stateful environment, by interacting with a system through a graphical user interface. Yet, this wide space of…

Programming Languages · Computer Science 2023-02-21 Joel Jakubovic , Jonathan Edwards , Tomas Petricek

Employees face decisions every day - in the absence of supervision. The outcome of these decisions can be influenced by digital workplace design through the power of persuasive technology. This paper provides a structured literature review…

Human-Computer Interaction · Computer Science 2022-08-15 Kilian Wenker

Performing dependability evaluation along with other analyses at architectural level allows both making architectural tradeoffs and predicting the effects of architectural decisions on the dependability of an application. This paper gives…

Software Engineering · Computer Science 2008-09-25 Ana-Elena Rugina , Peter H. Feiler , Karama Kanoun , Mohamed Kaaniche

With the surge in modern research focus towards Pervasive Computing, lot of techniques and challenges needs to be addressed so as to effectively create smart spaces and achieve miniaturization. In the process of scaling down to compact…

Multimedia · Computer Science 2014-05-27 Divyajyothi M G , Rachappa , D H Rao

This paper introduces a vision for Quantum Software Development lifecycle, proposing a hybrid full-stack iterative model that integrates quantum and classical computing. Addressing the current challenges in Quantum Computing (QC) such as…

Software Engineering · Computer Science 2025-04-09 Arif Ali Khan , Davide Taibi , Muhammad Azeem Akbar

As the need for efficient digital circuits is ever growing in the industry, the design of such systems remains daunting, requiring both expertise and time. In an attempt to close the gap between software development and hardware design,…

Hardware Architecture · Computer Science 2023-02-27 Bruno Ferres , Olivier Muller , Frédéric Rousseau

The structures for the expression of fault-tolerance provisions into the application software are the central topic of this dissertation. Structuring techniques provide means to control complexity, the latter being a relevant factor for the…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-11-08 Vincenzo De Florio

Context: As the adoption of continuous delivery practices increases in software organizations, different scenarios struggle to make it scales for their products in long-term evolution. This study looks at the concrete software architecture…

Software Engineering · Computer Science 2021-08-24 Breno Bernard Nicolau de França , Paulo Sérgio Medeiros dos Santos , Santiago Matalonga

Professional software offers immense power but also presents significant learning challenges. Its complex interfaces, as well as insufficient built-in structured guidance and unfamiliar terminology, often make newcomers struggle with task…

Human-Computer Interaction · Computer Science 2025-05-20 Yimeng Liu , Misha Sra

System-level design, once the province of board designers, has now become a central concern for chip designers. Because chip design is a less forgiving design medium -- design cycles are longer and mistakes are harder to correct --…

Hardware Architecture · Computer Science 2025-07-15 Shuvra S. Bhattacharyya , Marilyn Wolf

For efficiency reasons, the software system designers' will is to use an integrated set of methods and tools to describe specifications and designs, and also to perform analyses such as dependability, schedulability and performance. AADL…

Performance · Computer Science 2007-05-23 Ana-Elena Rugina , Karama Kanoun , Mohamed Kaaniche

Computational Workflows are widely used in data analysis, enabling innovation and decision-making. In many domains (bioinformatics, image analysis, & radio astronomy) the analysis components are numerous and written in multiple different…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-05-24 Michael R. Crusoe , Sanne Abeln , Alexandru Iosup , Peter Amstutz , John Chilton , Nebojša Tijanić , Hervé Ménager , Stian Soiland-Reyes , Bogdan Gavrilovic , Carole Goble

Pervasive user-centric applications are systems which are meant to sense the presence, mood, and intentions of users in order to optimize user comfort and performance. Building such applications requires not only state-of-the art techniques…

Software Engineering · Computer Science 2010-09-23 Martin Wirsing , Sebastian S. Bauer , Andreas Schroeder

A new workflow for software development (proof-driven development) is presented. An extension of test-driven development, the new workflow utilizes the paradigm of dependently typed programming. The differences in design, complexity and…

Software Engineering · Computer Science 2015-12-08 Ben Goodspeed

The paper describes the need for and goals of tool-integration within software development processes. In particular we focus on agile software development but are not limited to. The integration of tools and data between the different…

Software Engineering · Computer Science 2013-11-25 Max Wielsch , Raik Bieniek , Bernd Grams , Jörg Lässig

Architectural styles and patterns play an important role in software engineering. One of the most known ones is the layered architecture style. However, this style is usually only stated informally, which may cause problems such as…

Software Engineering · Computer Science 2015-03-18 Diego Marmsoler , Alexander Malkis , Jonas Eckhardt

Integrating architectural elements with a modern programming language is essential to ensure a smooth combination of architectural design and programming. In this position statement, we motivate a combination of architectural description…

Software Engineering · Computer Science 2014-09-09 Arne Haber , Jan Oliver Ringert , Bernhard Rumpe