Automated Software Engineering
Công bố khoa học tiêu biểu
* Dữ liệu chỉ mang tính chất tham khảo
Sắp xếp:
EA-Analyzer: automating conflict detection in a large set of textual aspect-oriented requirements
Automated Software Engineering - Tập 20 - Trang 111-135 - 2012
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......
Future of software development with generative AI
Automated Software Engineering - - 2024
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 ......
Desert Island Column
Automated Software Engineering - Tập 15 - Trang 251-256 - 2007
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 translation
Automated Software Engineering - - 2024
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 ......
Lightweight Formalisation in Support of Requirements Engineering
Automated Software Engineering - Tập 5 - Trang 183-210 - 1998
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......
Editorial: ASE 2010 Conference trip report
Automated Software Engineering - Tập 18 - Trang 1-3 - 2010
Mitigating the impact of mislabeled data on deep predictive models: an empirical study of learning with noise approaches in software engineering tasks
Automated Software Engineering - - 2024
Deep predictive models have been widely employed in software engineering (SE) tasks due to their remarkable success in artificial intelligence (AI). Most of these models are trained in a supervised manner, and their performance heavily relies on the quality of training data. Unfortunately, mislabeling or label noise is a common issue in SE datasets, which can significantly affect the validity of m......
A semantic framework for metamodel-based languages
Automated Software Engineering - Tập 16 - Trang 415-454 - 2009
In the model-based development context, metamodel-based languages are increasingly being defined and adopted either for general purposes or for specific domains of interest. However, meta-languages such as the MOF (Meta Object Facility)—combined with the OCL (Object Constraint Language) for expressing constraints—used to specify metamodels focus on structural and static semantics but have no built......
Designing automotive embedded systems with adaptive genetic algorithms
Automated Software Engineering - Tập 22 - Trang 199-240 - 2014
One of the most common problems faced by planners, whether in industry or government, is optimisation—finding the optimal solution to a problem. Even a one percent improvement in a solution can make a difference of millions of dollars in some cases. Traditionally optimisation problems are solved by analytic means or exact optimisation methods. Today, however, many optimisation problems in the desi......
Cloud refactoring: automated transitioning to cloud-based services
Automated Software Engineering - Tập 21 - Trang 345-372 - 2013
Using cloud-based services can improve the performance, reliability, and scalability of a software application. However, transitioning an application to use cloud-based services is difficult, costly, and error-prone. The required re-engineering effort includes migrating to the cloud the functionality to be accessed as remote cloud-based services and re-targeting the client code accordingly. In add......
Tổng số: 435
- 1
- 2
- 3
- 4
- 5
- 6
- 10