Buscar
Mostrando ítems 11-20 de 29589
Improving lazy abstraction for SCR specifications through constraint relaxation
(John Wiley & Sons Ltd, 2018-03)
Formal requirements specifications, eg, software cost reduction (SCR) specifications, are challenging to analyse using automated techniques such as model checking. Since such specifications are meant to capture requirements, ...
Towards a model-driven testing framework for GUI test cases generation from user stories
(Institute for Systems and Technologies of Information, Control and Communication INSTICC, 2021)
In the software testing stage, it is possible to benefit from combining the requirements with the testing specification activities. On the one hand, the specification of the tests will require less manual effort, since ...
Reuse of use cases diagrams: an approach based on ontologies and semantic web technologies
(2012-07-04)
Software reuse is defined as the use of any artifact, or part thereof, created before, on a new Project. This practice has significant benefits in reducing costs and increasing quality and productivity in software development. ...
An Approach for Automating Use Case Refactoring
(Sociedad Argentina de Informática E Investigación Operativa, 2014-06)
Carrying out requirements capture and modeling activities successfully is not easy, often requiring a thoughtful analysis of clients needs and demanding an adequate expertise from analysts. To ensure a fluid communication ...
JGOOSE: A REQUIREMENTS ENGINEERING TOOL TO INTEGRATE I* ORGANIZATIONAL MODELING WITH USE CASES IN UML
(Universidad de Tarapacá., 2009)
Data regarding country-specific variability in Covid-19 prevalence, incidence, and case fatality rate
This article contains data on country-specific variability in
Covid-19 prevalence, incidence, and case fatality rate among
the 238 countries globally. We used the World Health Organization worldwide Covid-19 tracking ...
An evolutionary approach to translating operational specifications into declarative specifications
(Elsevier Science, 2019-05)
Various tools for program analysis, including run-time assertion checkers and static analyzers such as verification and test generation tools, require formal specifications of the programs being analyzed. Moreover, many ...