On the public citation graph

Lightweight validation of natural language requirements

https://doi.org/10.1002/spe.430
0 signed · 101 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/3-540-45251-6_1openalex-snapshot
Lightweight Formal Methods
inferredcites →https://doi.org/10.1007/3-540-48958-4_1openalex-snapshot
Attempto Controlled English — Not Just Another Logic Specification Language
inferredcites →https://doi.org/10.1007/3-540-59498-1_238openalex-snapshot
A framework for requirements analysis using automated reasoning
inferredcites →https://doi.org/10.1007/3-540-59498-1_239openalex-snapshot
Towards a deeper understanding of quality in requirements engineering
inferredcites →https://doi.org/10.1007/bf01384048openalex-snapshot
Assisting requirement formalization by means of natural language translation
inferredcites →https://doi.org/10.1007/bfb0028775openalex-snapshot
SCR: A toolset for specifying and analyzing software requirements
inferredcites →https://doi.org/10.1007/bfb0035136openalex-snapshot
A natural language approach for Requirements Engineering
inferredcites →https://doi.org/10.1007/bfb0035146openalex-snapshot
A method for validating a conceptual model by natural language discourse generation
inferredcites →https://doi.org/10.1007/bfb0095017openalex-snapshot
Process metrics for requirements analysis
inferredcites →https://doi.org/10.1016/0141-9331(93)90087-nopenalex-snapshot
Safety critical systems
inferredcites →https://doi.org/10.1016/0164-1212(94)00054-qopenalex-snapshot
The importance of ignorance in requirements engineering
inferredcites →https://doi.org/10.1017/s1351324996001337openalex-snapshot
NL-OOPS: from natural language to object oriented requirements using the natural language processing system LOLITA
inferredcites →https://doi.org/10.1023/a:1008617922496openalex-snapshot
AbstFinder, A Prototype Natural Language Text Abstraction Finder for Use in Requirements Elicitation
inferredcites →https://doi.org/10.1023/a:1008669014807openalex-snapshot
Lightweight Formalisation in Support of Requirements Engineering
inferredcites →https://doi.org/10.1049/ip-sen:19990156openalex-snapshot
Restructuring requirements specifications
inferredcites →https://doi.org/10.1093/comjnl/38.4.310openalex-snapshot
A Method for Controlling the Production of Specifications in Natural Language
inferredcites →https://doi.org/10.1108/ir.1999.04926fae.001openalex-snapshot
Lecture Notes in Computer Science 1205
inferredcites →https://doi.org/10.1109/32.538605openalex-snapshot
Elements of style: analyzing a software design feature with a counterexample detector
inferredcites →https://doi.org/10.1109/32.663994openalex-snapshot
Experiences using lightweight formal methods for requirements modeling
inferredcites →https://doi.org/10.1109/32.730544openalex-snapshot
Rapid application of lightweight formal methods for consistency analyses
inferredcites →https://doi.org/10.1109/32.75413openalex-snapshot
The Requirements Apprentice: automated assistance for requirements acquisition
inferredcites →https://doi.org/10.1109/52.57891openalex-snapshot
Integrating formal methods into the development process
inferredcites →https://doi.org/10.1109/52.896254openalex-snapshot
How to use linguistic instruments for object-oriented analysis
inferredcites →https://doi.org/10.1109/ase.1997.632822openalex-snapshot
Processing natural language requirements
inferredcites →https://doi.org/10.1109/icre.2000.855601openalex-snapshot
Lightweight validation of natural language requirements: a case study
inferredcites →https://doi.org/10.1109/icse-fose59343.2023.00005openalex-snapshot
Future of Software Engineering @ ICSE 2023
inferredcites →https://doi.org/10.1109/ms.1984.233702openalex-snapshot
Verifying and Validating Software Requirements and Design Specifications
inferredcites →https://doi.org/10.1109/ms.1997.589224openalex-snapshot
Ariane 5: Who Dunnit?
inferredcites →https://doi.org/10.1145/222124.222147openalex-snapshot
Lightweight source model extraction
inferredcites →https://doi.org/10.1145/226295.226322openalex-snapshot
Elements of style
inferredcites →https://doi.org/10.1145/234426.234431openalex-snapshot
Automated consistency checking of requirements specifications
inferredcites →https://doi.org/10.1145/336512.336523openalex-snapshot
Requirements engineering

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/sys.21560openalex-snapshot
Toward a better integration of requirements and model‐based specifications
inferred← citeshttps://doi.org/10.1007/3-540-28244-0_10openalex-snapshot
Managing Large Repositories of Natural Language Requirements
inferred← citeshttps://doi.org/10.1007/3-540-28244-0_11openalex-snapshot
Understanding Ambiguity in Requirements Engineering
inferred← citeshttps://doi.org/10.1007/978-1-4615-0465-8_2openalex-snapshot
Ambiguity in Requirements Specification
inferred← citeshttps://doi.org/10.1007/978-3-030-34706-2_2openalex-snapshot
Requirement Engineering as a Software Development Process
inferred← citeshttps://doi.org/10.1007/978-3-030-44322-1_42openalex-snapshot
ERP Implementation: Requirements Engineering for ERP Product Customization
inferred← citeshttps://doi.org/10.1007/978-3-031-26500-6_2openalex-snapshot
A Proposal to Trace and Maintain Requirements Constraints of Real-time Embedded Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-07055-1_9openalex-snapshot
Towards Collaborative Requirements Engineering Tool for ERP Product Customization
inferred← citeshttps://doi.org/10.1007/978-3-540-25970-1_12openalex-snapshot
SMART: System Model Acquisition from Requirements Text
inferred← citeshttps://doi.org/10.1007/978-3-540-89778-1_10openalex-snapshot
Reducing Ambiguities in Requirements Specifications Via Automatically Created Object-Oriented Models
inferred← citeshttps://doi.org/10.1007/978-3-540-92966-6_3openalex-snapshot
Requirements in the 21st Century: Current Practice and Emerging Trends
inferred← citeshttps://doi.org/10.1007/978-3-642-21001-3_8openalex-snapshot
Product-Line Models to Address Requirements Uncertainty, Volatility and Risk
inferred← citeshttps://doi.org/10.1007/978-3-642-37422-7_3openalex-snapshot
Using Clustering to Improve the Structure of Natural Language Requirements Documents
inferred← citeshttps://doi.org/10.1007/s00766-003-0169-xopenalex-snapshot
Value-based requirements engineering: exploring innovative e-commerce ideas
inferred← citeshttps://doi.org/10.1007/s00766-005-0018-1openalex-snapshot
Requirements quality control: a unifying framework
inferred← citeshttps://doi.org/10.1007/s00766-011-0139-7openalex-snapshot
Requirements engineering within a large-scale security-oriented research project: lessons learned
inferred← citeshttps://doi.org/10.1007/s007660200002openalex-snapshot
A Feasibility Study of Automated Natural Language Requirements Analysis in Market-Driven Development
inferred← citeshttps://doi.org/10.1007/s10270-006-0031-yopenalex-snapshot
Informal description and analysis of geographic requirements: an approach based on problems
inferred← citeshttps://doi.org/10.1007/s10462-011-9237-7openalex-snapshot
Mining textual requirements to assist architectural software design: a state of the art review
inferred← citeshttps://doi.org/10.1007/s10515-006-5468-2openalex-snapshot
On the Systematic Analysis of Natural Language Requirements with CIRCE
inferred← citeshttps://doi.org/10.1007/s10515-011-0099-7openalex-snapshot
Decision support for the software product line domain engineering lifecycle
inferred← citeshttps://doi.org/10.1007/s11219-011-9163-6openalex-snapshot
Automated measurement of models of requirements
inferred← citeshttps://doi.org/10.1016/j.infsof.2004.03.003openalex-snapshot
Erratum to “On the interplay between consistency, completeness, and correctness in requirements evolution”
inferred← citeshttps://doi.org/10.1016/j.infsof.2009.10.010openalex-snapshot
Identification of non-functional requirements in textual specifications: A semi-supervised learning approach
inferred← citeshttps://doi.org/10.1016/j.jides.2015.11.001openalex-snapshot
A pattern-based method for refining and formalizing informal specifications in critical control systems
inferred← citeshttps://doi.org/10.1016/j.jss.2016.02.047openalex-snapshot
Rapid quality assurance with Requirements Smells
inferred← citeshttps://doi.org/10.1016/j.procs.2015.05.326openalex-snapshot
Automated Requirements Extraction for Scientific Software
inferred← citeshttps://doi.org/10.1016/s0950-5849(03)00100-9openalex-snapshot
On the interplay between consistency, completeness, and correctness in requirements evolution
inferred← citeshttps://doi.org/10.1049/ic:20040204openalex-snapshot
Eclipse as a requirements engineering environment
inferred← citeshttps://doi.org/10.1049/ip-sen:20060034openalex-snapshot
Identifying tacit knowledge-based requirements
inferred← citeshttps://doi.org/10.1109/aire.2014.6894853openalex-snapshot
Content-based recommendation techniques for requirements engineering
inferred← citeshttps://doi.org/10.1109/apsec.2001.991469openalex-snapshot
Using default reasoning to discover inconsistencies in natural language requirements
inferred← citeshttps://doi.org/10.1109/cise.2009.5363401openalex-snapshot
B Method Based Framework for Correct Software Development
inferred← citeshttps://doi.org/10.1109/compsac.2014.27openalex-snapshot
Eliciting Relations from Natural Language Requirements Documents Based on Linguistic and Statistical Analysis
inferred← citeshttps://doi.org/10.1109/dsn.2009.5270320openalex-snapshot
A linguistic analysis engine for natural language use case description and its application to dependability analysis in industrial use cases
inferred← citeshttps://doi.org/10.1109/esem.2013.13openalex-snapshot
Automatic Checking of Conformance to Requirement Boilerplates via Text Chunking: An Industrial Case Study
inferred← citeshttps://doi.org/10.1109/fdl.2014.7119356openalex-snapshot
Automating the translation of assertions using natural language processing techniques
inferred← citeshttps://doi.org/10.1109/icre.2004.1335683openalex-snapshot
RETNA: from requirements to testing in a natural way
inferred← citeshttps://doi.org/10.1109/icsea.2008.32openalex-snapshot
Experiences on Analysis of Requirements Quality
inferred← citeshttps://doi.org/10.1109/quatic.2010.30openalex-snapshot
Requirements Certification for Offshoring Using LSPCM
inferred← citeshttps://doi.org/10.1109/re.2005.58openalex-snapshot
Requirements engineering and the creative process in the video game industry
inferred← citeshttps://doi.org/10.1109/re.2006.31openalex-snapshot
Identifying Nocuous Ambiguities in Natural Language Requirements
inferred← citeshttps://doi.org/10.1109/re.2009.8openalex-snapshot
Analysis of Multi-Party Agreement in Requirements Validation
inferred← citeshttps://doi.org/10.1109/re.2015.7320460openalex-snapshot
A language for writing system specifications in an aeronautical context
inferred← citeshttps://doi.org/10.1109/seaa.2015.39openalex-snapshot
Verification of Use-Cases with FOAM Tool in Context of Cloud Providers
inferred← citeshttps://doi.org/10.1109/sew.2005.20openalex-snapshot
Bayesian Networks applied to Software IV&V
inferred← citeshttps://doi.org/10.1109/srii.2011.11openalex-snapshot
Business Operating Environment for Service Clouds
inferred← citeshttps://doi.org/10.1109/syscon.2017.7934808openalex-snapshot
A language proposition for system requirements
inferred← citeshttps://doi.org/10.1109/tse.2005.129openalex-snapshot
Shallow knowledge as an aid to deep understanding in early phase requirements engineering
inferred← citeshttps://doi.org/10.1109/tse.2015.2428709openalex-snapshot
Automated Checking of Conformance to Requirements Templates Using Natural Language Processing
inferred← citeshttps://doi.org/10.1109/tse.2016.2635134openalex-snapshot
Automated Extraction and Clustering of Requirements Glossary Terms
inferred← citeshttps://doi.org/10.1145/1072997.1072999openalex-snapshot
Reasoning about inconsistencies in natural language requirements
inferred← citeshttps://doi.org/10.1145/2593812.2593817openalex-snapshot
Rapid requirements checks with requirements smells: two case studies
inferred← citeshttps://doi.org/10.14419/ijet.v7i2.5.10051openalex-snapshot
Unstructured source artifacts ontology for requirement validation in GDSD
inferred← citeshttps://doi.org/10.15368/theses.2013.227openalex-snapshot
Parsing of Natural Language Requirements
inferred← citeshttps://doi.org/10.17081/invinno.8.3.4704openalex-snapshot
Validación de requisitos no funcionales bajo el enfoque de la gestión del conocimiento
inferred← citeshttps://doi.org/10.17877/de290r-16066openalex-snapshot
Vitruv: Specifying Temporal Aspects of Multimedia Presentations - A Transformational Approach based on Intervals
inferred← citeshttps://doi.org/10.4018/978-1-5225-3923-0.ch033openalex-snapshot
Natural Language Processing
inferred← citeshttps://doi.org/10.4018/978-1-60960-509-4.ch002openalex-snapshot
Natural Language Processing Techniques in Requirements Engineering
inferred← citeshttps://doi.org/10.4018/978-1-61350-456-7.ch3.3openalex-snapshot
Natural Language Processing Techniques in Requirements Engineering
inferred← citeshttps://doi.org/10.4018/978-1-61350-456-7.ch303openalex-snapshot
Natural Language Processing Techniques in Requirements Engineering
inferred← citeshttps://doi.org/10.4018/ijssoe.2014010105openalex-snapshot
Natural Language Processing
inferred← citeshttps://doi.org/10.4018/jwp.2012070104openalex-snapshot
Software Requirements Management through the Lenses of People, Organizational and Technological Dimensions
inferred← citeshttps://doi.org/10.48550/arxiv.0902.0924openalex-snapshot
Towards a Theory of Requirements Elicitation: Acceptability Condition for the Relative Validity of Requirements
inferred← citeshttps://doi.org/10.5220/0001311701390144openalex-snapshot
USING PRE-REQUIREMENTS TRACING TO INVESTIGATE REQUIREMENTS BASED ON TACIT KNOWLEDGE
inferred← citeshttps://doi.org/10.5220/0004713703560367openalex-snapshot
Natural-language Scenario Descriptions for Testing Core Language Models of Domain-Specific Languages
inferred← citeshttps://doi.org/10.70675/0c4350ddzd03bz4b4az8f05z8663f4c08474openalex-snapshot
Contribution to the integration of supervisory control theory in a model-based system engineering method
inferred← citeshttps://doi.org/10.70675/44a1aa95z2f3bz4d59z88adza56f947edf63openalex-snapshot
Démarche de conception sûre de la Supervision de la fonction de Conduite Autonome
inferred← citeshttps://doi.org/10.7321/jscse.v2.n8.2openalex-snapshot
A Formal Framework for the Formalization of Informal Requirements
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.