Proposing a Systematic Approach to Verify Software Requirements
نویسندگان
چکیده
منابع مشابه
A Multiple Viewed Approach To Software Requirements
A problem in current requirements development techniques is that the viewpoints (including implicit pre-existing assumptions) of multiple participants must be satisfied by the resulting requirements. Choosing a single language for all participants requires the additional burden of learning the new language and being prepared to overlook some requirements for which the language was not intended....
متن کاملA systematic approach to software evolution
We present an approach to adjust existing software to new or changed requirements in an systematic way. The approach relies on a set of intermediate artifacts linked by mappings that bridge the gap between requirements and code. Those artifacts and the links between them can be constructed and maintained with reasonable effort. Additional support is supplied by bookkeeping and validation concep...
متن کاملA Systematic Review of Software Requirements Prioritization
.......................................................................................................................................................... 4 CHAPTER 1: INTRODUCTION 1.1. BACKGROUND ..................................................................................................................................... 8 1.2. PROBLEM DESCRIPTION AND MOTIVATION LEADING TO THESIS .........
متن کاملA Logic of Actions to Specify and Verify Process Requirements
Abstract In this paper, Timestamp Petri nets – a special kind of timed Petri nets and a Logic of Actions are used to specify process requirements. Petri net implementations of such specifications are used for a better visualization and to prove whether a given realization is sound and complete with respect to a given specification. The theory is applied to the specification of workflow processe...
متن کاملTest Framework Requirements to Verify Artifacts in Software R&D Project
Researchers do not effectively manage and verify artifacts produced during software R&D projects. And testing software development artifacts cannot test the whole software R&D project. It is necessary to perform continuous and detailed verification of artifacts produced in each phase during software R&D project. Thus, a framework is required to test software and verify documents generated durin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Software Engineering and Applications
سال: 2014
ISSN: 1945-3116,1945-3124
DOI: 10.4236/jsea.2014.74023