Springer Science and Business Media LLC
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:
Một phương pháp để xác minh yêu cầu hiệu suất và tạo môi trường kiểm thử Dịch bởi AI Tóm tắt Kiểm thử dựa trên mô hình (MBT) là một phương pháp hỗ trợ thiết kế và thực hiện các trường hợp kiểm thử thông qua các mô hình xác định hành vi mong muốn của hệ thống đang được kiểm thử. Trong khi có những tổng quan tài liệu có hệ thống về MBT nói chung, thì tình hình hiện tại về việc mô hình hóa và kiểm thử các yêu cầu hiệu suất đã nhận được ít sự chú ý hơn ... ... hiện toàn bộ
Springer Science and Business Media LLC -
Integrated safety analysis of requirements specifications
Springer Science and Business Media LLC - Tập 2 Số 2 - Trang 65-78 - 1997
Dealing with software process requirements complexity: an information access proposal based on semantic technologies
Springer Science and Business Media LLC - Tập 22 - Trang 527-542 - 2016
Organizations developing software for critical sectors like aerospace, automotive, and medical systems need to apply process requirements coming from different sources: industrial standards, customer-provided requirements, and procedures from internal quality management systems. In these situations, software teams need to deal with complex sets of process requirements that govern different aspects...... hiện toàn bộ
A framework to measure and improve the quality of textual requirements
Springer Science and Business Media LLC - Tập 18 - Trang 25-41 - 2011
Improving the quality of software demands quality controls since the very beginning of the development process, i.e., requirements capture and writing. Automating quality metrics may entail considerable savings, as opposed to tedious, manually performed evaluations. We present some indicators for measuring quality in textual requirements, as well as a tool that computes quality measures in a fully...... hiện toàn bộ
An integrated approach for requirement selection and scheduling in software release planning
Springer Science and Business Media LLC - - 2010
On the systematic transformation of requirements to specifications
Springer Science and Business Media LLC - Tập 19 - Trang 397-419 - 2013
Formal approaches to development are widely acknowledged to have difficulty in the validation of real-world requirements; in contrast, non-formal approaches find it difficult to identify the formal structures in requirements that are useful in a solution. That the problems that computing treats are embedded in the real world with solutions being an essentially formal machine means this dichotomy w...... hiện toàn bộ
Digital privacy: theory, policies and technologies
Springer Science and Business Media LLC - Tập 16 - Trang 1-2 - 2011
Formal semantic conflict detection in aspect-oriented requirements
Springer Science and Business Media LLC - Tập 14 Số 4 - Trang 247-268 - 2009
Requirements engineering for e-business advantage
Springer Science and Business Media LLC - Tập 11 - Trang 4-16 - 2005
As a means of contributing to the achievement of business advantage for companies engaging in e-business, we propose a requirements engineering framework that incorporates a business strategy dimension. We employ Jackson’s Problem Frames approach, goal modeling, and business process modeling (BPM) to achieve this. Jackson’s context diagrams, used to represent business model context, are integrated...... hiện toàn bộ
A domain model of Web recommender systems based on usage mining and collaborative filtering
Springer Science and Business Media LLC - Tập 12 Số 1 - Trang 23-40 - 2006
Tổng số: 406
- 1
- 2
- 3
- 4
- 5
- 6
- 10