Search results for "validation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
30	Stef Graillat, Jean Luc Lamotte, Diep Nguyen Hong	Error-Free Transformation in Rounding Mode toward Zero.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF
30	Markus Grimmer	Extending the Range of C-XSC: Some Tools and Applications for the Use in Parallel and Other Environments.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF	C-XSC, Verified Linear System Solver, MPI, Maple, Interval Arithmetic, Integral Equations, Parallel Environment
30	R. Baker Kearfott, John D. Pryce, Nathalie Revol	Discussions on an Interval Arithmetic Standard at Dagstuhl Seminar 08021.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF
30	Eva Dyllong	Some Applications of Interval Arithmetic in Hierarchical Solid Modeling.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF	Reliable solid modeling, interval arithmetic, hierarchical data structure
30	Ulrich W. Kulisch	Complete Interval Arithmetic and Its Implementation on the Computer.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF	arithmetic standards, computer arithmetic, interval arithmetic, floating-point arithmetic
30	Frithjof Blomquist, Werner Hofschuster, Walter Krämer	A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF	AMS classification 65G20, 65Y99, 37M99, 30-04, 65G30
30	Annie A. M. Cuyt, Franky Backeljauw, Stefan Becuwe, Michel Colman, Tom Docx, Joris Van Deun	Continued Fractions for Special Functions: Handbook and Software.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF
30	Walter Krämer, Michael Zimmer 0002	Fast (Parallel) Dense Linear System Solvers in C-XSC Using Error Free Transformations and BLAS.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF	AMS subject classification 65H10, 15-04, 65G10, 65-04, 68W15, 65G99
30	Evgenija D. Popova	Mathematica Connectivity to Interval Libraries filib++ and C-XSC.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF	interval software, C-XSC, filib++, MathLink, external programs, interfacing, Mathematica, Software interoperability
30	Werner Hofschuster, Walter Krämer, Markus Neher 0001	C-XSC and Closely Related Software Packages.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF	AMS subject classification 68N30, 68N19, 65F99, 65G20, 65G30
30	Michel Kieffer	Distributed Bounded-Error Parameter and State Estimation in Networks of Sensors.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF
30	Andreas Rauh, Johanna Minisini, Eberhard P. Hofer	Towards the Development of an Interval Arithmetic Environment for Validated Computer-Aided Design and Verification of Systems in Control Engineering.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF
30	Andreas Frommer, Valeria Simoncini	Error Bounds for Lanczos Approximations of Rational Functions of Matrices.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF
30	Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle (eds.)	Validation of Stochastic Systems - A Guide to Current Research	Validation of Stochastic Systems	2004	DBLP DOI BibTeX RDF
30	Matthias Kuntz, Kai Lampka	Probabilistic Methods in State Space Analysis.	Validation of Stochastic Systems	2004	DBLP DOI BibTeX RDF
30	Jeremy Sproston	Model Checking for Probabilistic Timed Systems.	Validation of Stochastic Systems	2004	DBLP DOI BibTeX RDF
30	Andrew S. Miner, David Parker 0001	Symbolic Representations and Analysis of Large Probabilistic Systems.	Validation of Stochastic Systems	2004	DBLP DOI BibTeX RDF
30	Benedikt Bollig, Martin Leucker	Verifying Qualitative Properties of Probabilistic Programs.	Validation of Stochastic Systems	2004	DBLP DOI BibTeX RDF
30	Frank Ciesinski, Marcus Größer	On Probabilistic Computation Tree Logic.	Validation of Stochastic Systems	2004	DBLP DOI BibTeX RDF	PCTL, PCTL*, probabilistic deterministic systems, probabilistic nondeterministic systems, quantitative model checking, scheduler, fairness, Markov decision processes, discrete time Markov chains
30	Rashid Mehmood	Serial Disk-based Analysis of Large Stochastic Models.	Validation of Stochastic Systems	2004	DBLP DOI BibTeX RDF
30	Mario Bravetti, Pedro R. D'Argenio	Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions.	Validation of Stochastic Systems	2004	DBLP DOI BibTeX RDF
30	Michael Huth 0001	An Abstraction Framework for Mixed Non-deterministic and Probabilistic Systems.	Validation of Stochastic Systems	2004	DBLP DOI BibTeX RDF
30	Natalia López, Manuel Núñez 0001	An Overview of Probabilistic Process Algebras and their Equivalences.	Validation of Stochastic Systems	2004	DBLP DOI BibTeX RDF
30	Gethin Norman	Analysing Randomized Distributed Algorithms.	Validation of Stochastic Systems	2004	DBLP DOI BibTeX RDF
30	Philippe Schnoebelen	The Verification of Probabilistic Lossy Channel Systems.	Validation of Stochastic Systems	2004	DBLP DOI BibTeX RDF
30	Peter Buchholz 0001, Peter Kemper	Kronecker Based Matrix Representations for Large Markov Models.	Validation of Stochastic Systems	2004	DBLP DOI BibTeX RDF
30	Ana Sokolova, Erik P. de Vink	Probabilistic Automata: System Types, Parallel Composition and Comparison.	Validation of Stochastic Systems	2004	DBLP DOI BibTeX RDF	probabilistic automata (transition systems), probabilistic bisimulation, preservation and reflection of bisimulation, non-determinism, parallel composition
30	Jean-Paul Bodeveix, Mamoun Filali	Experimenting Acceleration Methods for the Validation of Infinite State Systems.	ICDCS Workshop on Distributed System Validation and Verification	2000	DBLP BibTeX RDF
30	Egon Börger (eds.)	Specification and validation methods	Specification and validation methods	1995	DBLP BibTeX RDF
30	Zohar Manna, Amir Pnueli	Verification of parameterized programs.	Specification and validation methods	1993	DBLP BibTeX RDF
30	Egon Börger	Annotated bibliography on evolving algebras.	Specification and validation methods	1993	DBLP BibTeX RDF
30	James K. Huggins	Kermit: specification and verification.	Specification and validation methods	1993	DBLP BibTeX RDF
30	Charles Wallace 0001	The semantics of the C++ programming language.	Specification and validation methods	1993	DBLP BibTeX RDF
30	Yuri Gurevich, Raghu Mani	Group membership protocol: specification and verification.	Specification and validation methods	1993	DBLP BibTeX RDF
30	Yuri Gurevich	Evolving algebras 1993: Lipari guide.	Specification and validation methods	1993	DBLP BibTeX RDF
30	Werner Damm, Bernhard Josko, Rainer Schlör	Specification and verification of VHDL-based system-level hardware designs.	Specification and validation methods	1993	DBLP BibTeX RDF
30	Egon Börger, Rosario F. Salamone	CLAM specification for provably correct compilation of CLP( R ) programs.	Specification and validation methods	1993	DBLP BibTeX RDF
30	Krzysztof R. Apt	Program verification and Prolog.	Specification and validation methods	1993	DBLP BibTeX RDF
30	Dean Rosenzweig, Egon Börger, Yuri Gurevich	The bakery algorithm: yet another specification and verification.	Specification and validation methods	1993	DBLP BibTeX RDF
30	David M. Russinoff	Specification and verification of gate-level VHDL models of synchronous and asynchronous circuits.	Specification and validation methods	1993	DBLP BibTeX RDF
30	Matthew B. Dwyer	Modular Flow Analysis for Concurrent Software.	ASE	1997	DBLP DOI BibTeX RDF	modular flow analysis, FLAVERS, early validation, individual module designs, system-level validation, whole-program automated static analysis technique, concurrent software systems, program flow analysis, explicitly stated correctness properties, modular analysis approach, realistic concurrent multi-component system, parallel programming
29	Wihem Arsac, Luca Compagna, Samuel Paul Kaluvuri, Serena Elisa Ponta	Security validation tool for business processes.	SACMAT	2011	DBLP DOI BibTeX RDF
29	Ryma Abassi, Sihem Guemara El Fatmi	A Model for Specification and Validation of Security Policies in Communication Networks: The Firewall Case.	ARES	2008	DBLP DOI BibTeX RDF
29	Feiyan Min, Ping Ma, Ming Yang 0015	A knowledge-based method for the validation of military simulation.	WSC	2007	DBLP DOI BibTeX RDF
29	Bendik Bygstad, Bjørn Erik Munkvold	The Significance of Member Validation in Qualitative Analysis: Experiences from a Longitudinal Case Study.	HICSS	2007	DBLP DOI BibTeX RDF
29	Yong-Joon Park, Zhao Zhang, Gyungho Lee	An Efficient Hardware Support for Control Data Validation.	ASAP	2007	DBLP DOI BibTeX RDF
29	Sreekumar V. Kodakara, Deepak Mathaikutty, Ajit Dingankar, Sandeep K. Shukla, David J. Lilja	Model Based Test Generation for Microprocessor Architecture Validation.	VLSI Design	2007	DBLP DOI BibTeX RDF
29	Hiren D. Patel, Sandeep K. Shukla	Model-driven Validation of SystemC Designs.	DAC	2007	DBLP DOI BibTeX RDF
29	José Barahona da Fonseca	Validation of a Model of an AGVs Scheduling Heuristic Using Radio-Taxi Data.	EUROCAST	1995	DBLP DOI BibTeX RDF
29	Colin H. West	Protocol Validation in Complex Systems.	SIGCOMM	1989	DBLP DOI BibTeX RDF
28	Willy Picard	An Algebraic Algorithm for Structural Validation of Social Protocols.	BIS	2007	DBLP DOI BibTeX RDF	algebraic representation of social protocols, semantical validation, structural validation, Collaboration modeling
28	Maria Cecilia Mazzaro, Mario Sznaier, Octavia I. Camps	A Model (In)Validation Approach to Gait Classification.	IEEE Trans. Pattern Anal. Mach. Intell.	2005	DBLP DOI BibTeX RDF	Gait classification, model (in)validation, risk-adjusted (in)validation, activity recognition
28	Indradeep Ghosh, Srivaths Ravi 0001	On automatic generation of RTL validation test benches using circuit testing techniques.	ACM Great Lakes Symposium on VLSI	2003	DBLP DOI BibTeX RDF	OCCOM, RTL ATPG, RTL testing, path coverage, small validation, toggle coverage, test, testing, generation, ATPG, fault coverage, code coverage, test sets, design validation, coverage metrics, universal test sets, testbench, branch coverage
28	Noppanunt Utamaphethai, R. D. (Shawn) Blanton, John Paul Shen	A Buffer-Oriented Methodology for Microarchitecture Validation.	J. Electron. Test.	2000	DBLP DOI BibTeX RDF	processor validation, superscalar microarchitecture, design validation
28	Amir Pnueli, Ofer Strichman, Michael Siegel	The Code Validation Tool CVT: Automatic Verification of a Compilation Process.	Int. J. Softw. Tools Technol. Transf.	1998	DBLP DOI BibTeX RDF	Code validation, BDD, Industrial application, Compiler verification, Translation validation
28	Guido Rovetta, Patrizia Monteforte, Gerolamo Bianchi, Stefano Rovetta, Rodolfo Zunino	Validation of a Large Medical Database.	CBMS	1995	DBLP DOI BibTeX RDF	large medical database, database validation, clinical problems, experimental evidence, observed data validation, incorrect sampling, sample distribution, data-inherent regularities, unsupervised models, clinical records analysis, osteoporosis, data distribution uniformity, unbiased sampling, neural networks, data integrity, probability, unsupervised learning, neural nets, medical information systems, very large databases, biasing
28	Sastry Nanduri, Spencer Rugaber	Requirements validation via automated natural language parsing.	HICSS (3)	1995	DBLP DOI BibTeX RDF	automated natural language parsing, validation technique, document reviews, candidate objects, object model diagram, automated natural language parser, formal specification, formal verification, natural languages, grammars, object-oriented methods, object oriented analysis, requirements validation, system requirements, requirements document, high level specifications, OOA
28	Robert G. Sargent	Verification and validation: verification and validation of simulation models.	WSC	2003	DBLP DOI BibTeX RDF
28	Pradip A. Thaker, Vishwani D. Agrawal, Mona E. Zaghloul	Validation Vector Grade (VVG): A New Coverage Metric for Validation and Test.	VTS	1999	DBLP DOI BibTeX RDF
28	Huafeng Yu, Abdoulaye Gamatié, Éric Rutten, Jean-Luc Dekeyser	Safe design of high-performance embedded systems in an MDE framework.	Innov. Syst. Softw. Eng.	2008	DBLP DOI BibTeX RDF	High-performance embedded systems, Gaspard2, SIGALI, Mode automata, Synchronous languages, MARTE, Formal validation
28	Gary Wassermann, Zhendong Su 0001	Static detection of cross-site scripting vulnerabilities.	ICSE	2008	DBLP DOI BibTeX RDF	static analysis, web applications, cross-site scripting, input validation
28	Yixin Shi, Gyungho Lee	Augmenting Branch Predictor to Secure Program Execution.	DSN	2007	DBLP DOI BibTeX RDF	Control Flow Validation, Indirect Branch, Bloom Filter, Software Protection, Branch Predictor
27	Angelo Chiappini, Alessandro Cimatti, Luca Macchi, Oscar Rebollo, Marco Roveri, Angelo Susi, Stefano Tonetta, Berardino Vittorini	Formalization and validation of a subset of the European Train Control System.	ICSE (2)	2010	DBLP DOI BibTeX RDF	formal methods, methodology, requirements validation
27	Ervin Ramollari, Dimitrios Kourtesis, Dimitris Dranidis, Anthony J. H. Simons	Leveraging Semantic Web Service Descriptions for Validation by Automated Functional Testing.	ESWC	2009	DBLP DOI BibTeX RDF	Service Validation, Semantic Web Services, Web service testing
27	Markus Schwaninger, Stefan N. Groesser	New Frontiers in the Validation of Simulation Models-Structural Dominance Analysis.	EUROCAST	2009	DBLP DOI BibTeX RDF	Structural Dominance Analysis, Simulation, Modeling, Validation, Validity, System Dynamics, Model Quality
27	Jorge L. Hernandez-Ardieta, Ana Isabel González-Tablas Ferreres, Benjamín Ramos	Formal Validation of OFEPSP+ with AVISPA.	ARSPA-WITS	2009	DBLP DOI BibTeX RDF	AVISPA, security protocol, Fair exchange, SPAN, formal validation
27	Prabhat Mishra 0001, Nikil D. Dutt	Specification-driven directed test generation for validation of pipelined processors.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF	Model checking, test generation, functional validation
27	Pedram Hayati, Nastaran Jafari, S. Mohammad Rezaei, Saeed Sarencheh, Vidyasagar M. Potdar	Modeling Input Validation in UML.	Australian Software Engineering Conference	2008	DBLP DOI BibTeX RDF	Software engineering, Unified Modeling Language, Object Constraint Language, Software security, Input validation
27	Farhang Nemati, Johan Kraft, Christer Norström	Validation of Temporal Simulation Models of Complex Real-Time Systems.	COMPSAC	2008	DBLP DOI BibTeX RDF	Legacy Systems, Impact Analysis, Model Validation, Model Extraction
27	Klaus-Dieter Schewe, Bernhard Thalheim, Qing Wang 0002	Validation of streaming XML documents with abstract state machines.	iiWAS	2008	DBLP DOI BibTeX RDF	XML, validation, abstract state machines
27	Joumana Dargham, Rima Semaan	A Navigational Web Requirements Validation through Animation.	ICIW	2008	DBLP DOI BibTeX RDF	web engineering Navigational Requirements, Finite State Machine, requirements validation
27	Ayaz Farooq, Reiner R. Dumke	Research directions in verification & validation process improvement.	ACM SIGSOFT Softw. Eng. Notes	2007	DBLP DOI BibTeX RDF	STP, TMM, V&V, testing maturity model, verification & validation process, software process, SPI, software process improvement, SP, software test process, test process improvement
27	Tamarah Arons, Elad Elster, Terry Murphy, Eli Singerman	Embedded Software Validation: Applying Formal Techniques for Coverage and Test Generation.	MTV	2006	DBLP DOI BibTeX RDF	Formal methods, Test generation, Software verification and validation
27	Jirka Kosek, Petr Nálevka	Relaxed: on the way towards true validation of compound documents.	WWW	2006	DBLP DOI BibTeX RDF	RELAX NG, Schematron, XML, validation, XHTML, compound documents
27	Sven Mielordt, Ivo Grosse, Jürgen Kleffe	Data Structures for Genome Annotation, Alternative Splicing, and Validation.	DILS	2006	DBLP DOI BibTeX RDF	Gene and genome annotation, splice template, validation and confirmation, Fasta-XML format, data integration, quality control, alternative splicing
27	Paul Ormerod, Bridget Rosewell	Validation and Verification of Agent-Based Models in the Social Sciences.	EPOS	2006	DBLP DOI BibTeX RDF	Verification, agents, validation, agent-based models, behaviour
27	Hoonmo Yang, Moonkey Lee	Embedded Processor Validation Environment Using a Cycle-Accurate Retargetable Instruction-Set Simulator.	J. Supercomput.	2005	DBLP DOI BibTeX RDF	cycle-accurate, validation, system-on-chip (SoC), architecture description language (ADL), retargetable, instruction-set simulator
27	Ming-Chang Lee	Statistical Data Analysis for Software Metrics Validation.	KES (4)	2005	DBLP DOI BibTeX RDF	Metrics validation methodology, quality functions, nonparametric statistical methods, validity criteria
27	Andrew Gemino	Empirical comparisons of animation and narration in requirements validation.	Requir. Eng.	2004	DBLP DOI BibTeX RDF	Multimedia, Animation, Systems analysis, Requirements validation, Narration
27	Pablo Rossi, George Fernandez	Definition and Validation of Design Metrics for Distributed Applications.	IEEE METRICS	2003	DBLP DOI BibTeX RDF	design measures, formal validation, distributed software
27	Jos De Brabanter, Kristiaan Pelckmans, Johan A. K. Suykens, Joos Vandewalle	Robust Cross-Validation Score Function for Non-linear Function Estimation.	ICANN	2002	DBLP DOI BibTeX RDF	Weighted LS-SVM, Robust Cross-Validation Score function, Breakdown point, M-estimators and L-estimators, Influence functions
27	Christof Ebert, Casimiro Hernandez Parro, Roland Suttels, Harald Kolarczyk	Better Validation in a World-Wide Development Environment.	IEEE METRICS	2001	DBLP DOI BibTeX RDF	Global development, cost of non-quality, feature development, validation, efficiency, teamwork, inspection, defect detection, incremental development, coaching
27	Tyng-Ruey Chuang	Generic Validation of Structural Content with Parametric Modules.	ICFP	2001	DBLP DOI BibTeX RDF	modules and interfaces, XML, XML, validation, functional programming, ML, ML, fixed points
27	Josef Kittler, Kieron Messer, Mohammad Sadeghi 0001	Model Validation for Model Selection.	ICAPR	2001	DBLP DOI BibTeX RDF	predictive validation, model selection, gaussian mixtures
27	Cristian Constantinescu	Teraflops Supercomputer: Architecture and Validation of the Fault Tolerance Mechanisms.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	fault/error detection coverage, fault-tolerant computing, validation, fault injection, Supercomputing
27	Amir A. Khwaja	An MFC Based Multi-Threaded Test Environment for the Validation of an Embedded Automotive Microcontroller.	TOOLS (34)	2000	DBLP DOI BibTeX RDF	embedded microcontrollers, MFC, Object-orientation, system validation
27	Jonathan E. Cook, Alexander L. Wolf	Software Process Validation: Quantitatively Measuring the Correspondence of a Process to a Model.	ACM Trans. Softw. Eng. Methodol.	1999	DBLP DOI BibTeX RDF	balboa, process validation, tools, software process
27	Theofanis Vassiliou-Gioles, Ina Schieferdecker	Case Study in Protocol Validation: Validating an ATM Signalling Protocol.	Formal Aspects Comput.	1998	DBLP DOI BibTeX RDF	ATM signalling, Validation, SDL
26	Xiangdong Lei, Wuke Li, Xiaoli Yuan	Scheduling Real-Time Nested Transactions in Mobile Broadcast Environments.	ICYCS	2008	DBLP DOI BibTeX RDF
26	C. Seger	Integrating design and verification - from simple idea to practical system.	MEMOCODE	2006	DBLP DOI BibTeX RDF
26	Timothy J. O'Leary, Michael Goul, Kathleen E. Moffitt, A. Essam Radwan	Validating Expert Systems.	IEEE Expert	1990	DBLP DOI BibTeX RDF
26	Mark Horowitz, Metha Jeeradit, Frances Lau, Sabrina Liao, ByongChan Lim, James Mao	Fortifying analog models with equivalence checking and coverage analysis.	DAC	2010	DBLP DOI BibTeX RDF	analog validation, model-first design, design methodology, fault coverage, equivalence checking, formal validation
26	Jane Huffman Hayes, Alex Dekhtyar, Senthil Karthikeyan Sundaram	Advancing Candidate Link Generation for Requirements Tracing: The Study of Methods.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	dynamic link generation, Verification and Validation (V&V), Independent Validation and Verification (IV&V), information retrieval, precision, recall, LSI, TF-IDF, Requirements tracing
26	Marcela Genero, David Miranda, Mario Piattini	Defining Metrics for UML Statechart Diagrams in a Methodological Way.	ER (Workshops)	2003	DBLP DOI BibTeX RDF	OO Software, UML statechart diagrams, theoretical validation, experiment replication, metrics, maintainability, size, empirical validation, understandability, structural complexity
26	Christophe Paoli, Marie-Laure Nivet, Jean François Santucci, Antoine Campana	Path-Oriented Test Data Generation of Behavioral VHDL Description.	DELTA	2002	DBLP DOI BibTeX RDF	High level design validation, simulation-based validation, software testing techniques, constraint logic programming language, VHDL
26	Rajesh Raina, Robert F. Molyneaux	Random Self-Test Method - Applications on PowerPC (tm) Microprocessor Caches.	Great Lakes Symposium on VLSI	1998	DBLP DOI BibTeX RDF	High-Level Design Validation, Silicon Validation, Pseudo-Random Testing, Microprocessor Testing
26	Alena Griffiths	Modular reasoning in Object-Z.	APSEC	1997	DBLP DOI BibTeX RDF	formal specification validation, modular semantics, object property, system property, partial validation, formal specification, complex systems, Object-Z, proof, modular reasoning, large systems
26	Ramkumar V. Pichai, Joseph E. Urban	A technique for validating Booch object-oriented designs from extensions to the Descartes specification language.	HASE	1996	DBLP DOI BibTeX RDF	Booch object-oriented design validation, Descartes specification language, executable specification language, traceability approach, real time systems, software reliability, rapid prototyping, object-oriented methods, CASE tool, safety critical software, secure systems, software validation, high assurance systems
26	Jie Xu 0007, Brian Randell	Roll-forward error recovery in embedded real-time systems.	ICPADS	1996	DBLP DOI BibTeX RDF	roll-forward error recovery, checkpointing schemes, time-critical applications, checkpoint validation steps, fault-free processors, interaction-intensive applications, checkpoint validation, real-time systems, fault tolerant computing, distributed processing, multiprocessing systems, system recovery, embedded real-time systems
26	Paul A. Gough, Filip T. Fodemski, Stewart A. Higgins, S. J. Ray	Scenarios-an industrial case study and hypermedia enhancements.	RE	1995	DBLP DOI BibTeX RDF	hypermedia enhancements, Fagan inspections, scenario validation, hypermedia Scenario Manager, formal specification, requirements engineer, software tools, validation, program verification, hypermedia, requirements elicitation, stakeholders, industrial case study, system documentation, requirements documentation, industrial environment