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:  
Attribute-based variability in feature models
Springer Science and Business Media LLC - Tập 21 - Trang 185-208 - 2014
Ahmet Serkan Karataş, Halit Oğuztüzün
Extended feature models enable the expression of complex cross-tree constraints involving feature attributes. The inclusion of attributes in cross-tree relations not only enriches the constraints, but also engenders an extended type of variability that involves attributes. In this article, we elaborate on the effects of this new variability type on feature models. We start by analyzing the nature ...... hiện toàn bộ
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
Springer Science and Business Media LLC -
Waleed Abdeen, Xingru Chen, Michael Unterkalmsteiner
Tóm tắtKiể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ộ
TiQi: answering unstructured natural language trace queries
Springer Science and Business Media LLC - Tập 20 - Trang 215-232 - 2015
Piotr Pruski, Sugandha Lohar, William Goss, Alexander Rasin, Jane Cleland-Huang
Software traceability is a required element in the development and certification of safety-critical software systems. However, trace links, which are created at significant cost and effort, are often underutilized in practice due primarily to the fact that project stakeholders often lack the skills needed to formulate complex trace queries. To mitigate this problem, we present a solution which tra...... hiện toàn bộ
The system reliability analyser tool
Springer Science and Business Media LLC - - 2004
Andreas Gregoriades, Alistair Sutcliffe
This paper describes the design and evaluation of a socio-technical design support system, the system reliability analyser (SRA). The tool is used to validate non-functional system requirements, such as system reliability. It employs a Bayesian belief network (BBN) model to assess system reliability (Pearl in Probabilistic reasoning in intelligent systems: networks of plausible information, 1988) ...... hiện toàn bộ
On the systematic transformation of requirements to specifications
Springer Science and Business Media LLC - Tập 19 - Trang 397-419 - 2013
Zhi Li, Jon G. Hall, Lucia Rapanotti
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ộ
Basic notions regarding business processes and supporting information systems
Springer Science and Business Media LLC - Tập 10 Số 3 - Trang 175-183 - 2005
Jan L. G. Dietz, Antonia Albani
The performance of the N-fold requirement inspection method
Springer Science and Business Media LLC - Tập 2 Số 3 - Trang 152-164 - 1997
Eliezer Kantorowitz, András Guttman, L. Arzi
Socio-Technical and Soft Approaches to Information Requirements Elicitation in the Post-Methodology Era
Springer Science and Business Media LLC - Tập 5 Số 2 - Trang 67-73 - 2000
Christopher Atkinson
There's More to Information Systems Development than Structured Approaches: Information Requirements Analysis as a Socially Mediated Process
Springer Science and Business Media LLC - - 2000
Robert D. Galliers, Jacky Swan
A Methodology for Constructing User-Oriented Requirements Specifications for Large-Scale Systems Using Electronic Hypermedia
Springer Science and Business Media LLC - Tập 4 Số 1 - Trang 1-18 - 1999
Scott P. Overmyer
Tổng số: 406   
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 10