On the public citation graph
Scenario-Based Techniques for Supporting the Elaboration and the Validation of Formal Requirements
0 signed · 75 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1006/inco.1994.1045openalex-snapshot
Symbolic Model Checking for Real-Time Systems
inferredcites →https://doi.org/10.1007/3-540-60406-5_19openalex-snapshot
An integrated formal model of scenarios based on statecharts
inferredcites →https://doi.org/10.1007/978-0-387-34919-0_9openalex-snapshot
Using a Formal Declarative Language for Specifying Requirements Modelled in CIMOSA
inferredcites →https://doi.org/10.1007/bf00961873openalex-snapshot
ConceptBase ? A deductive object base for meta data management
inferredcites →https://doi.org/10.1007/bf02802919openalex-snapshot
A proposal for a scenario classification framework
inferredcites →https://doi.org/10.1007/bfb0014711openalex-snapshot
State clock logic: A decidable real-time logic
inferredcites →https://doi.org/10.1007/bfb0035136openalex-snapshot
A natural language approach for Requirements Engineering
inferredcites →https://doi.org/10.1007/bfb0053600openalex-snapshot
ALBERT: A formal language and its supporting tools for requirements engineering
inferredcites →https://doi.org/10.1016/b978-0-444-81594-1.50013-1openalex-snapshot
Utilizing Scenarios in the Software Development Process
inferredcites →https://doi.org/10.1016/s0306-4379(98)00007-6openalex-snapshot
Integrating semi-formal and formal software specification techniques
inferredcites →https://doi.org/10.1023/a:1018977602872openalex-snapshot
Towards quality requirements via animated formal specifications
inferredcites →https://doi.org/10.1109/32.54292openalex-snapshot
STATEMATE: a working environment for the development of complex reactive systems
inferredcites →https://doi.org/10.1109/52.268952openalex-snapshot
Inquiry-based requirements analysis
inferredcites →https://doi.org/10.1109/52.268953openalex-snapshot
Formal approach to scenario analysis
inferredcites →https://doi.org/10.1109/dexa.1998.707398openalex-snapshot
Writing and correcting textual scenarios for system design
inferredcites →https://doi.org/10.1109/ecbs.1996.494538openalex-snapshot
A hierarchical use case model with graphical representation
inferredcites →https://doi.org/10.1109/icre.1998.667820openalex-snapshot
CREWS-SAVRE: systematic scenario generation and use
inferredcites →https://doi.org/10.1109/isre.1995.512546openalex-snapshot
Consistency checking of SCR-style requirements specifications
inferredcites →https://doi.org/10.1109/isre.1997.566850openalex-snapshot
On the use of a formal RE language-the generalized railroad crossing problem
inferredcites →https://doi.org/10.1109/iwssd.1991.213081openalex-snapshot
Goal-directed concept acquisition in requirements elicitation
inferredcites →https://doi.org/10.1109/ms.1985.229776openalex-snapshot
On Formalism in Specifications
inferredcites →https://doi.org/10.1145/102675.102676openalex-snapshot
Telos: representing knowledge about information systems
inferredcites →https://doi.org/10.1145/22719.22947openalex-snapshot
Language support for the specification and development of composite systems
inferredcites →https://doi.org/10.1145/237432.237434openalex-snapshot
Four dark corners of requirements engineering
inferredcites →https://doi.org/10.14236/ewic/adbis1997.21openalex-snapshot
A Validation System for Object-Oriented Specifications of Information Systems
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.3217/jucs-010-04-0359openalex-extracted
Methodologies for Developing Multi-Agent Systems
inferred← citeshttps://doi.org/10.1002/kpm.264openalex-snapshot
The roles of scenario use in ontology development
inferred← citeshttps://doi.org/10.1007/1-4020-2673-0_4openalex-snapshot
Reasoning with Goals to Engineer Requirements
inferred← citeshttps://doi.org/10.1007/1-4020-8058-1_4openalex-snapshot
A Survey on Agent-Oriented Oriented Software Engineering Research
inferred← citeshttps://doi.org/10.1007/3-540-45341-5_18openalex-snapshot
An Assembly Process Model for Method Engineering
inferred← citeshttps://doi.org/10.1007/3-540-48738-7_9openalex-snapshot
Method Enhancement with Scenario Based Techniques
inferred← citeshttps://doi.org/10.1007/978-1-4615-0167-1_4openalex-snapshot
Goal Oriented Requirements Engineering
inferred← citeshttps://doi.org/10.1007/978-3-031-93706-4_7openalex-snapshot
Eliminating Flakiness: Deterministic Control for Validating Nondeterministic Asmeta Specifications
inferred← citeshttps://doi.org/10.1007/978-3-319-11958-8_16openalex-snapshot
GoalDAG – ArchiMate Integration
inferred← citeshttps://doi.org/10.1007/978-3-540-39964-3_27openalex-snapshot
Animating ebXML Transactions with a Workflow Engine
inferred← citeshttps://doi.org/10.1007/978-3-540-87603-8_7openalex-snapshot
A Scenario-Based Validation Language for ASMs
inferred← citeshttps://doi.org/10.1007/978-3-642-58663-7_25openalex-snapshot
Crews: Towards Systematic Usage of Scenarios, Use Cases and Scenes
inferred← citeshttps://doi.org/10.1007/s00766-002-0163-8openalex-snapshot
Continuous requirements management for organisation networks: a (dis)trust-based approach
inferred← citeshttps://doi.org/10.1007/s00766-004-0200-xopenalex-snapshot
The system reliability analyser tool
inferred← citeshttps://doi.org/10.1007/s007660050002openalex-snapshot
Scenario Management: An Interdisciplinary Approach
inferred← citeshttps://doi.org/10.1007/s007660050018openalex-snapshot
A Multi-Model View of Process Modelling
inferred← citeshttps://doi.org/10.1007/s10270-002-0015-5openalex-snapshot
Specifying and executing behavioral requirements: the play-in/play-out approach
inferred← citeshttps://doi.org/10.1007/s10723-013-9281-4openalex-snapshot
A Framework for Adaptive Fault-Tolerant Execution of Workflows in the Grid: Empirical and Theoretical Analysis
inferred← citeshttps://doi.org/10.1016/j.compeleceng.2007.02.004openalex-snapshot
A high-level requirements engineering methodology for electronic system-level design
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.2011.07.037openalex-snapshot
Dependability analysis in the Ambient Assisted Living Domain: An exploratory case study
inferred← citeshttps://doi.org/10.1016/s0950-5849(01)00184-7openalex-snapshot
Verifying scenarios with time Petri-nets
inferred← citeshttps://doi.org/10.1016/s0967-0661(01)00161-7openalex-snapshot
Experience-based knowledge management: a cooperative information systems perspective
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)37287-7openalex-snapshot
Experience-Based Knowledge Management
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80672-8openalex-snapshot
Model-Generation of a Fictitious Clock Real-Time Logic Using Sharing Trees
inferred← citeshttps://doi.org/10.1023/a:1025890110119openalex-snapshot
An Evaluation of Scenario Notations and Construction Approaches for Telecommunication Systems Development
inferred← citeshttps://doi.org/10.1109/dexa.1999.795184openalex-snapshot
Reusing scenario based approaches in requirement engineering methods: CREWS method base
inferred← citeshttps://doi.org/10.1109/dexa.2000.875148openalex-snapshot
Fitting scenarios to the requirements process
inferred← citeshttps://doi.org/10.1109/ecbs.2005.52openalex-snapshot
MoDeII: Modeling and Analyzing Time-Constraints
inferred← citeshttps://doi.org/10.1109/escience.2013.41openalex-snapshot
Biocharts: Unifying Biological Hypotheses with Models and Experiments
inferred← citeshttps://doi.org/10.1109/icre.2003.1232737openalex-snapshot
Requirements engineering for a pervasive health care system
inferred← citeshttps://doi.org/10.1109/icre.2003.1232776openalex-snapshot
Scenario-based requirements engineering
inferred← citeshttps://doi.org/10.1109/icre.2004.1335650openalex-snapshot
Precise specification and validation of transactional business software
inferred← citeshttps://doi.org/10.1109/icre.2004.1335679openalex-snapshot
Goal-oriented requirements animation
inferred← citeshttps://doi.org/10.1109/isre.1999.777986openalex-snapshot
Bridging the gap between past and future in RE: a scenario-based approach
inferred← citeshttps://doi.org/10.1109/isre.2001.948555openalex-snapshot
Requirements modeling for organization networks: a (dis)trust-based approach
inferred← citeshttps://doi.org/10.1109/isre.2001.948567openalex-snapshot
Goal-oriented requirements engineering: a guided tour
inferred← citeshttps://doi.org/10.1109/re.2004.36openalex-snapshot
Precise specification and validation of transactional business software
inferred← citeshttps://doi.org/10.1109/re.2013.6636709openalex-snapshot
Requirements elicitation: Towards the unknown unknowns
inferred← citeshttps://doi.org/10.1109/tse.2014.2327044openalex-snapshot
Supporting Process Model Validation through Natural Language Generation
inferred← citeshttps://doi.org/10.1142/s021819402350047xopenalex-snapshot
An Extensible Modeling Method Supporting Ontology-Based Scenario Specification and Domain-Specific Extension
inferred← citeshttps://doi.org/10.1145/3019612.3019799openalex-snapshot
A process to establish, model and validate missions of systems-of-systems in reference architectures
inferred← citeshttps://doi.org/10.1504/ijcat.2008.017715openalex-snapshot
A knowledge hierarchy model for adaptive multi-agent systems
inferred← citeshttps://doi.org/10.1631/jzus.2004.0587openalex-snapshot
Testing agile requirements models
inferred← citeshttps://doi.org/10.57709/5792075openalex-snapshot
Traveling of Requirements in the Development of Packaged Software: An Investigation of Work Design and Uncertainty
inferred← citeshttps://doi.org/10.70675/1a9d8f43z004ez4c7aza8dfzfc71cac1c8c8openalex-snapshot
An overview on systems of systems control : general discussions and application to multiple autonomous vehicles
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.