Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
тестирование
Связанные издания:
Rapid Integration of Software Engineering Techniques: Revised Selected Papers/Second International Workshop, RISE 2005. Heraklion, Crete, Greece, September 2005
Realizing Distributed TTCN-3 Test Systems with TCI
Real-World Wireless Sensor Networks: Proc./4th International Workshop, REALWSN 2010, Colombo, Sri Lanka, December 2010
Recent Trends in Algebraic Development Techniques: Revised Selected Papers/19th International Workshop, WADT 2008. Pisa, Italy, June 2008
Reducing and Estimating the Cost of Test Coverage Criteria
Refining Data Flow Information Using Infeasible Paths
Reflections on the Teaching of Programming: Methods and Implementations
Reflections on Trusting Trust
Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing
Relating May and Must Testing Semantics for Discrete Timed Process Algebras
Reliability Assessment Measures Based on Software Reliability Growth Model with Normalized Method
Reliable Programs Must Not Be Written...
Reliable Software Technologies - Ada-Europe 2016: Proc./21st Ada-Europe International Conference on RST, Pisa, Italy, June 2016
Report on the VERA Experiment
Requirements-based Monitors for Real-Time Systems
Restricted Random Testing
Results of an Investigation into Software Integration Testing Automation
Reversible Computation: Proc./9th International Conference, RC 2017, Kolkata, India, July 2017
Reversible Computation: Revised Papers/3rd International Workshop, RC 2011, Gent, Belgium, July 2011
Rigorous Testing by Merging Structural and Behavioral UML Representations
Risk Assessment and Risk-Driven Quality Assurance: Revised Selected Papers/4th International Workshop, RISK 2016 Held in Conjunction with ICTSS 2016, Graz, Austria, October 2016
Risk Assessment and Risk-Driven Testing: Revised Selected Papers/1st International Workshop, RISK 2013 Held in Conjaction with ICTSS 2013, Istanbul,Turkey, November 2013
Robust Testing of AT&T PMX/StarMAIL Using OATS
Rule Condition Testing and Action Execution in Ariel
Runtime Verification: Proc./16th International Conference, RV 2016, Madrid, Spain, September 2016
Runtime Verification: Proc./4th International Conference, RV 2013, Rennes, France, September 2013
Runtime Verification: Proc./First International Conference, RV 2010, St.Julians, Malta, November 2010
Runtime Verification: Revised Selected Papers/7th International Workshop, RV 2007. Vancouver, Canada, March 2007
Runtime Verification: Selected Papers/9th International Workshop, RV 2009. Grenoble, France, June 2009
Scenario-Based Monitoring and Testing of Real-Time UML Models
Scenarios: Models, Transformations and Tools: Revised Selected Papers/International Workshop. Dagstuhl Castle, Germany, September 2003
SDL 2007: Design for Dependable Systems: Proc./13th International SDL Forum. Paris, France, September 2007
SDL 2009: Design for Motes and Mobiles: Proc./14th International SDL Forum, Bochum, Germany, September 2009
SDL 2011 - Integrating System and Software Modeling: Revised Papers/15th International SDL Forum, Toulouse, France, July 2011
SDL 2015: Model-Driven Engineering for Smart Cities: Proc./17th International SDL Forum, Berlin, Germany, October 2015
Search-Based Software Engineering: Proc./10th International Symposium, SSBSE 2018, Montpellier, France, September 2018
Selecting and Using Data for Integration Testing
Selecting an Efficient OO Integration Testing Strategy: An Experimental Comparison of Actual Strategies
Sequences and Their Applications - SETA 2008: Proc./5th International Conference. Lexington, KY, USA, September 2008
Service Engineering Versus Software Engineering - A Functional Study
Setting a Framework for Trusted Component Trading
Simplifying Failure-Inducing Input
Smart Card Research and Advanced Applications: Proc./7th IFIP WG 8.8/11.2 International Conference, Cardis 2006. Terragona, Spain, April 2006
SOFSEM 2002 - Theory and Practice of Informatics: Proc./29th Conf. on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 2002
SOFSEM 2010: Theory and Practice of Computer Science: Proc./36th Conference on Current Trends in Theory and Practic of CS, Spindleruv Mlyn, Czech Republic, January 2010
Software and safety: how compatible are they?
Software Development Bug Tracking: "Tool Isn t User Friendly" or "User isn t Process Friendly"
Software Engineering and Formal Methods: Proc./13th International Conference, SEFM 2015, York, UK, September 2015
Software Engineering and Formal Methods: Revised Selected Papers/SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 2015
Software Engineering - ESEC/FSE 97: Proc./6th European Software Engineering Conf. Held Jointly with the 5th ACM SIGSOFT Symp. on the Foundations of Software Engineering. Zurich, Switzerland, September 22-25, 1997
« первая
‹ предыдущая
…
6
7
8
9
10
11
12
13
14
…
следующая ›
последняя »