|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 9726 occurrences of 4203 keywords
|
|
|
Results
Found 28136 publication records. Showing 28136 according to the selection in the facets
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 |
Displaying result #101 - #200 of 28136 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|