Вы здесь

Главная

метод

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

Sprachen fur das Software-Engineering
Spreadsheets for Images
Static Head Nodes in the Operations on Dynamic Structures
Static Type Checking of Multi-Methods
Statistical Language and Speech Processing: Proc./1st International Conference, SLSP 2013, Tarragona, Spain, July 2013
Statistical Language and Speech Processing: Proc./2nd International Conference, SLSP 2014, Grenoble, France, October 2014
Statistical Methods in Learning
Statistical Methods in Video Processing: Revised Selected Papers/ ECCV 2004 Workshop, SMVP 2004. Prague, Czech Republic, May 2004
Statistics on Random Trees
Stepwise Design of Real-Time Systems
Stimulus-Response Machines: A New Visual Formalism for Describing Classes and Objects
STOP - Specification Technique of Operational Processes
Strategies for Testing Form Assignment Software
Structural, Syntactic, and Statistical Pattern Recognition: Proc./Joint IAPR International Workshop, S+SSPR 2016, Merida, Mexico, November 2016
Structural Testing of Rule-Based Expert Systems
Structured and Formal Methods: An Investigative Framework
Structured Development of Graph-Grammars for Icon Manipulation
Structuring Complex Software Processes by "Process Landscaping"
Structuring Mechanisms for an Object-Orientedd Formal Specification Language
Subject-Oriented Design: Towards Improved Alignment of Requirements, Design and Code
Subtraction Problem Generating: Two Approaches
Supporting Distributed Individual Work in Cooperative Specification Development
Supporting Reuse in Object-Oriented Design Methods
Supporting Web Development in the OPEN Process: Additional Roles and Techniques
Symbolic Verification Method for Definite Iteration over Data Structures
Synchronous Kahn Networks
Systematic Integration of Design Methods
Table-Lookup Approach for Compiling Two-Level Data-Processor Mappings in HPF
Tailored Protocol Development Using ESTEREL
TAPSOFT`93: Theory and Practice of Software Development: Proc./4th Intern. Joint Conf. CAAP/FASE. Orsay, France, April 1993
Target-Sensitive Construction of Diagnostic Programs for Procedure Calling Sequence Generators
Teaching Formal Extensions of Informal-Based Object-Oriented Analysis Methodologies
Teaching Mathematics to Software Engineers
Teaching Protocol Engineering in Honours Year
Team Selection Methods for Student Programming Projects
Technigue for Universal Quantification in SQL
Technique for Universal Quantification in SQL
Techniques and Tools for Reliability and Performance Evaluation: Problems and Perspectives
Techniques de deverminage pour programmes parralleles
Techniques de transformations de programmes generaux et validation de meta-interpreteurs
Techniques for Modeling Workflows and Their Support of Reuse
Techniques, Tools and Formalisms for Captturing and Assessing the Architectural Quality in Object-Oriented Software
Term Rewriting and Applications: Proc./16th International Conference, RTA 2005. Nara, Japan, April 2005
Testing for a Conformance Relation Based on Acceptance
Testing Software and Systems: Proc./27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 2015
Testing Using Z Specifications
Test Methods and Tools for SOHO Mass Memnory Unit Software
Text Review: A New Method of Computer-Assisted Learning to Promote Careful Reading and Logical Skills
The Application of Multi-Dimensional Indexing Methods to Constraints
The BASIS System: A Benchmarking Approach for Spatial Index Structures