Results 321 to 330 of about 29,604,152 (395)
Some of the next articles are maybe not open access.
Enhancing Goal-Oriented Security Requirements Analysis using Common Criteria-Based Knowledge
International journal of software engineering and knowledge engineering, 2013Goal-oriented requirements analysis (GORA) is one of the promising techniques to elicit software requirements, and it is natural to consider its application to security requirements analysis.
M. Saeki, Shinpei Hayashi, H. Kaiya
semanticscholar +1 more source
Automated Analysis of Privacy Requirements for Mobile Apps
Network and Distributed System Security Symposium, 2016Mobile apps have to satisfy various privacy requirements. App publishers are often obligated to provide a privacy policy and notify users of their apps’ privacy practices. But how can we tell whether an app behaves as its policy promises?
Sebastian Zimmeck +9 more
semanticscholar +1 more source
Requirements analysis and modelling
Proceedings Software Education Conference (SRIG-ET'94), 2002The rapid change in the software engineering field, in particular the emerging of software development methodologies has relaxed the need for well definedness of the requirements. A primary characteristic of the process in developing a system with ill defined requirements is the iteration through one or more development phases before the requirements ...
openaire +2 more sources
Formal Analysis of Memory Requirements
Requirements Engineering, 1999In this paper we show how requirements on memory systems can be given from the viewpoint of the application domain formally in a first-order theory MemReq, to improve the requirements engineering process for such systems. We show the general use of MemReq in expressing major classes of requirements for memory systems and conduct a case study of the use
Hussak, Walter, Keane, John A.
openaire +3 more sources
Analysis of Requirements-Related Arguments in User Forums
IEEE International Requirements Engineering Conference, 2019In the past, users were asked to express their needs and intentions by writing a structured requirements document in natural language. Due to the pervasive use of online forums and social media, user feedback is more accessible today.
Javed Ali Khan +3 more
semanticscholar +1 more source
2013
The chapter addresses formal verification of the SysML model of the pacemaker that serves as running example throughout the book.
Apvrille, Ludovic +1 more
openaire +1 more source
The chapter addresses formal verification of the SysML model of the pacemaker that serves as running example throughout the book.
Apvrille, Ludovic +1 more
openaire +1 more source
Quality Requirements and Analysis
2015For the control of the production of medicines quality requirements are essential. Quality requirements cover the quality of the preparation throughout the whole shelf life, from release until the end of the shelf life. Medicines that are produced by the industry or prepared in a pharmacy have to meet the requirements of the European Pharmacopoeia ...
Hans van Rooij +2 more
openaire +2 more sources
Taxonomy for requirements analysis
Proceedings of IEEE International Conference on Requirements Engineering, 2002Techniques that are claimed to be applicable to analysing requirements for software intensive systems have been available for many years, but the extent to which they address this problem for large, complex systems is open to question. The techniques tend to focus on aspects of the system that are understood by specialist system designers, rather than ...
R.M. Rankin, C.T. Sennett, K.J. Hughes
openaire +2 more sources
IET Software, 2012
Software development is mainly a social activity where teams of developers should work as a coordinated unit to fulfill the needs of customers. Studies have shown the importance of teamwork ability as the main skill for software professionals both in ...
L. F. Sanz, S. Misra
semanticscholar +1 more source
Software development is mainly a social activity where teams of developers should work as a coordinated unit to fulfill the needs of customers. Studies have shown the importance of teamwork ability as the main skill for software professionals both in ...
L. F. Sanz, S. Misra
semanticscholar +1 more source
Software Requirements Analysis and Specification
1997As we mentioned earlier, a fundamental problem of software engineering is the problem of scale. The complexity and size of applications employing automation, and consequently the complexity and size of software systems, are continuously increasing. As the scale changes to more complex and larger software systems, new problems occur that did not exist ...
openaire +2 more sources