Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Four dark corners of requirements engineering
P Zave, M Jackson - ACM transactions on Software Engineering and …, 1997 - dl.acm.org
Research in requirements engineering has produced an extensive body of knowledge, but
there are four areas in which the foundation of the discipline seems weak or obscure. This …
there are four areas in which the foundation of the discipline seems weak or obscure. This …
Verification and validation and artificial intelligence
Artificial Intelligence (AI) is useful. AI can deliver more functionality for reduced cost. AI
should be used more widely but won't be unless developers can trust adaptive …
should be used more widely but won't be unless developers can trust adaptive …
Automated consistency checking of requirements specifications
CL Heitmeyer, RD Jeffords, BG Labaw - ACM Transactions on Software …, 1996 - dl.acm.org
This article describes a formal analysis technique, called consistency checking, for
automatic detection of errors, such as type errors, nondeterminism, missing cases, and …
automatic detection of errors, such as type errors, nondeterminism, missing cases, and …
Inconsistency management in software engineering: Survey and open research issues
G Spanoudakis, A Zisman - Handbook of Software Engineering and …, 2001 - World Scientific
The development of complex software systems is a complex and lengthy activity that
involves the participation and collaboration of many stakeholders (eg customers, users …
involves the participation and collaboration of many stakeholders (eg customers, users …
[ספר][B] Goal identification and refinement in the specification of software-based information systems
AI Anton - 1997 - search.proquest.com
This dissertation introduces the Goal-Based Requirements Analysis Method (GBRAM) for
the identification and refinement of goals into operational requirements for software-based …
the identification and refinement of goals into operational requirements for software-based …
[ספר][B] Computer science handbook
AB Tucker - 2004 - taylorfrancis.com
When you think about how far and fast computer science has progressed in recent years, it's
not hard to conclude that a seven-year old handbook may fall a little short of the kind of …
not hard to conclude that a seven-year old handbook may fall a little short of the kind of …
Completeness and consistency in hierarchical state-based requirements
MPE Heimdahl, NG Leveson - IEEE transactions on Software …, 1996 - ieeexplore.ieee.org
This paper describes methods for automatically analyzing formal, state-based requirements
specifications for some aspects of completeness and consistency. The approach uses a low …
specifications for some aspects of completeness and consistency. The approach uses a low …
Coverage based test-case generation using model checkers
S Rayadurgam, MPE Heimdahl - Proceedings. Eighth Annual …, 2001 - ieeexplore.ieee.org
Presents a method for automatically generating test cases according to structural coverage
criteria. We show how a model checker can be used to automatically generate complete test …
criteria. We show how a model checker can be used to automatically generate complete test …
SCR: A toolset for specifying and analyzing requirements
C Heitmeyer, A Bull, C Gasarch… - … '95 Proceedings of the …, 1995 - ieeexplore.ieee.org
A set of CASE tools is described for develo** formal requirements specifications
expressed in the SCR (Software Cost Reduction) tabular notation. The tools include an …
expressed in the SCR (Software Cost Reduction) tabular notation. The tools include an …
Elements of style: Analyzing a software design feature with a counterexample detector
D Jackson, CA Damon - ACM SIGSOFT Software Engineering Notes, 1996 - dl.acm.org
We illustrate the application of Nitpick, a specification checker, to the design of a style
mechanism for a word processor. The design is cast, along with some expected properties …
mechanism for a word processor. The design is cast, along with some expected properties …