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:
Efficient monitoring of parametric context-free patterns
Automated Software Engineering - Tập 17 - Trang 149-180 - 2010
Recent developments in runtime verification and monitoring show that parametric regular and temporal logic specifications can be efficiently monitored against large programs. However, these logics reduce to ordinary finite automata, limiting their expressivity. For example, neither can specify structured properties that refer to the call stack of the program. While context-free grammars (CFGs) are...... hiện toàn bộ
Exact search-space size for the refactoring scheduling problem
Automated Software Engineering - Tập 25 - Trang 195-200 - 2017
Ouni et al. “Maintainability defects detection and correction: a multi-objective approach” proposed a search-based approach for generating optimal refactoring sequences. They estimated the size of the search space for the refactoring scheduling problem using a formulation that is incorrect; the search space is estimated to be too much larger than it is. We provide in this paper the exact expressio...... hiện toàn bộ
Automatic extraction of executable program subsets by simultaneous dynamic program slicing
Automated Software Engineering - Tập 2 - Trang 33-53 - 1995
Developers of software product families and maintainers of “legacy” software can benefit from the ability to automatically extract a correctly functioning subset of the code of a system that performs a desired subset of its behaviors. This article introduces a technique for automatic subsetting based on computing asimultaneous dynamic program slice of the code for a set of representative inputs. I...... hiện toàn bộ
Agile meets quantum: a novel genetic algorithm model for predicting the success of quantum software development projectAbstract Quantum software systems represent a new realm in software engineering, utilizing quantum bits (Qubits) and quantum gates (Qgates) to solve the complex problems more efficiently than classical counterparts. Agile software development approaches are considered to address many inherent challenges in quantum software development, but their effective integratio... ... hiện toàn bộ
Automated Software Engineering - - 2024
Khám Phá Khai Thác Ý Kiến Trong Đánh Giá Ứng Dụng: Phân Tích Đại Diện Văn Bản và Các Mô Hình Dự Đoán Dịch bởi AI
Automated Software Engineering - Tập 29 - Trang 1-30 - 2021
Các ứng dụng di động phổ biến nhận được hàng triệu đánh giá từ người dùng. Những đánh giá này chứa đựng thông tin quan trọng cho việc bảo trì phần mềm, chẳng hạn như báo cáo lỗi và các đề xuất cải tiến. Thông tin từ các đánh giá này là một nguồn kiến thức giá trị cho kỹ thuật yêu cầu phần mềm, vì phân tích đánh giá ứng dụng giúp đưa ra quyết định chiến lược để cải thiện chất lượng ứng dụng. Tuy nh...... hiện toàn bộ
#khai thác ý kiến #đánh giá ứng dụng #phân tích cảm xúc #mô hình dự đoán #đặc trưng văn bản
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...... hiện toàn bộ
Using classes as specifications for automatic construction of programs in the NUT system
Automated Software Engineering - Tập 1 - Trang 315-334 - 1994
It is shown, how the object-oriented programming paradigm has been combined with automatic program construction in the NUT system: type information extracted from a class specification is being used for automatic construction of methods for the class. Special compute-messages are introduced as requests for program synthesis which can be done statically or dynamically. Particular features of the sp...... hiện toàn bộ
Model Checking Programs
Automated Software Engineering - Tập 10 - Trang 203-232 - 2003
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it easier to experiment with mechanized formal methods such as theorem provers, proof checkers and model checkers. In this paper we will attempt to give convincing arguments for why we believe it is time for the formal methods ...... hiện toàn bộ
AFID: an automated approach to collecting software faults
Automated Software Engineering - Tập 17 - Trang 347-372 - 2010
We present a new approach for creating repositories of real software faults. We have developed a tool, the Automatic Fault IDentification Tool (AFID), that implements this approach. AFID records both a fault revealing test case and a faulty version of the source code for any crashing faults that the developer discovers and a fault correcting source code change for any crashing faults that the deve...... hiện toàn bộ
Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm
Automated Software Engineering - Tập 6 - Trang 329-356 - 1999
We describe a proof method that characterises a family of proofs corresponding to the synthesis of recursive functional programs. This method provides a significant degree of automation in the construction of recursive programs from specifications, together with correctness proofs. This method makes use of meta-variables to allow successive refinement of the identity of unknowns, and so allows the...... hiện toàn bộ
Tổng số: 435
- 1
- 2
- 3
- 4
- 5
- 6
- 10