Вы здесь

Главная

метод

Связанные издания:

Evaluation of Expert System Testing Methods
Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics: Proc./10th European Conference, EvoBIO 2012, Malaga, Spain, April 2012
Evolutionary Multi-Criterion Optimization: Proc./ Second International Conference, EMO 2003. Faro, Portugal, April 2003
Evolution of Object Bahavior Using Context Relations
Exceptions in OO Languages: Using Them and Reasoning about Them
Experiences from Applications of RAISE
Experiences on Developing and Using a Tool Support for Formal Specification
Experiences Using Lightweight Formal Methods for Requirements Modeling
Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications
Experienсеs Applying Methods Supported By CASE Tools
Exploring the Boundaries of Static Safety in Persistent Application Systems
Expression and Usage of the Variability in the Software Product Lines
Expression Templates in Ada
Extending Agile Methods: Postmortem Reviews as Extended Feedback
Extending Scalar Optimizations for Arrays
Extracting Non-Strict Independent And-Parallelism Using Sharing and Freeness Information
Extreme Design by Contract
Extreme Programming and Agile Methods - XP/Agile Universe 2002: Proc./Second XP Universe and First Agile Universe Conf., Chicago, IL, USA, August 2002
Extreme Programming and Agile Methods - XP/Agile Universe 2003: Proc./Third XP Agile Universe Conf., New Orleans, LA, USA, August 2003
Facing the Multicore-Challenge II: Aspects of New Paradigms and Technologies in Parallel Computing
Fault Tolerance in Embedded Real-Time Systems: Importance and Treatment of Common Mode Failures
Feasibility of Flexible Information Modeling Support
Fighting Spam with Reputation Systems
Filtered Hashing
Finding Stable System Designs: A Reverse Simulation Technique
Fine-Grain Register Allocation Based on a Global Spill Costs Analysis
FM 99 - Formal Methods: Proc./World Congress on Formal Methods in the Development of Computing Systems. Toulouse, France, September 1999. Vol.I
FM 99 - Formal Methods: Proc./World Congress on Formal Methods in the Development of Computing Systems. Toulouse, France, September 1999. Vol.II
FME 2001: Formal Methods for Increasing Software Productivity: Proc./Intern. Symp. of Formal Methods Europe, Berlin, Germany, March 2001
FME 2002: Formal Methods - Getting IT Right: Proc./Intern. Symp. of Formal Methods Europe, Copenhagen, Denmark, July 2002
FME 2003 - Forma Methods: Proc./Intern. Symp. of Formal Methods Europe, Pisa, Italy, September 2003
FME`93: Industrial-Strength Formal Methods: Proc./First Intern. Symp. of Formal Methods Europe. Odense, Denmark, April 1993
FME 94: Industrial Benefit of Formal Methods: Proc./Second Intern. Symp. of Formal Methods Europe. Barcelona, Spain, October 1994
FME 97: Industrial Applications and Strengthened Foundations of Formal Methods: Proc./4th Intern. Symp. of Formal Methods Europe. Graz, Austria, September 1997
FOCUS: A Formal Design Method for Distributed Systems
Formal and Informal Specifications of a Secure System Component: First Results in a Comparative Study
Formal Approaches to Agent-Based Systems: Proc./First Intern. Workshop, FAABS 2000, Greenbelt, MD, USA, April 2000
Formal Aspects of Software Reusability
Formal Concept Analysis: Proc./13th International Conference, ICFCA 2015. Nerja, Spain, June 2015
Formal Derivation of an Error-Detecting Distributed Data Scheduler Using Changeling
Formal Description Techniques and Software Engineering: Some Reflections after 2 Decades of Research
Formal Discription and Interpretation of Coordination Protocols for Teamwork
Formal Extreme (and Extremely Formal) Programming
Formal Foundations for Software Engineering Methods
Formal Hardware Verification: Methods and Systems in Comparison
Formalism and Method
Formalizing Hierarchical Object-Oriented Design Method
Formally Verified On-Line Diagnosis
Formal Methods & Service Specification
Formal Methods and Customized Visualization: A Fruitful Symbiosis