EA-Analyzer: automating conflict detection in a large set of textual aspect-oriented requirementsAutomated Software Engineering - Tập 20 - Trang 111-135 - 2012
Alberto Sardinha, Ruzanna Chitchyan, Nathan Weston, Phil Greenwood, Awais Rashid
One of the aims of Aspect-Oriented Requirements Engineering is to address the composability and subsequent analysis of crosscutting and non-crosscutting concerns during requirements engineering. A composition definition explicitly represents interdependencies and interactions between concerns. Subsequent analysis of such compositions helps to reveal conflicting dependencies that need to be resolve...... hiện toàn bộ
Future of software development with generative AIAutomated Software Engineering - - 2024
Jaakko Sauvola, Sasu Tarkoma, Mika Klemettinen, Jukka Riekki, David Doermann
Generative AI is regarded as a major disruption to software development. Platforms, repositories, clouds, and the automation of tools and processes have been proven to improve productivity, cost, and quality. Generative AI, with its rapidly expanding capabilities, is a major step forward in this field. As a new key enabling technology, it can be used for many purposes, from creative dimensions to ...... hiện toàn bộ
Static data-flow analysis for software product lines in CAutomated Software Engineering - Tập 29 - Trang 1-37 - 2022
Philipp Dominik Schubert, Paul Gazzillo, Zach Patterson, Julian Braha, Fabian Schiebel, Ben Hermann, Shiyi Wei, Eric Bodden
Many critical codebases are written in C, and most of them use preprocessor directives to encode variability, effectively encoding software product lines. These preprocessor directives, however, challenge any static code analysis. SPLlift, a previously presented approach for analyzing software product lines, is limited to Java programs that use a rather simple feature encoding and to analysis prob...... hiện toàn bộ
Desert Island ColumnAutomated Software Engineering - Tập 15 - Trang 251-256 - 2007
Alan M. Davis
The author has been marooned on a desert island and his only access to the outside world is via a coupon for seven free books from Amazon (don’t ask how he will order the books). That doesn’t sound too bad, except there is a catch: all seven books must be related to software engineering. What will the author do?
Using model-driven engineering to automate software language translationAutomated Software Engineering - - 2024
Kevin Lano, Hanan Siala
The porting or translation of software applications from one programming language to another is a common requirement of organisations that utilise software, and the increasing number and diversity of programming languages makes this capability as relevant today as in previous decades. Several approaches have been used to address this challenge, including machine learning and the manual definition ...... hiện toàn bộ
Lightweight Formalisation in Support of Requirements EngineeringAutomated Software Engineering - Tập 5 - Trang 183-210 - 1998
Jane Hesketh, David Robertson, Norbert Fuchs, Alan Bundy
Formal design supported by automated reasoning can help keep track of requirements—a particular problem for large, detailed systems. Designers of system specifications are often constrained by codes of practice and must show not only that these have been observed but also demonstrate how that has been achieved. This is especially important in safety-critical systems where sections of the requireme...... hiện toàn bộ