Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
программное обеспечение
Связанные издания:
A Short Overview of a History of Software Maintenance: as It Pertains to Reuse
A Simplified Domain-Testing Strategy
A Software Architecture Evaluation Model
A Software Architecture for Multidisciplinary Applications: Integrating Task and Data Parallelism
A Software Bus as a Platform for a Family of Distributed Embedded System Products
A Software Development Environment for CIM Applications
A Software Development Process Laboratory for CS1 and CS2
A Software Fault Prevention Approach in Coding and Root Cause Analysis
A Specification-Based Software Construction Framework for Reuse
Aspect Composition Applying the design by Contract Principle
Assembly Environment for Development of Application Parallel Program
Assessing Software Review Meetings: Results of a Comparative Analysis of Two Experimental Studies
Assessing the State of the Software Process Development Using the Chaos Theory
Assume-Guarantee Model Checking of Software: A Comparative Case Study
A Statistical Approach to the Inspection Checklist Formal Synthesis and Improvement
A Study of the Applicability of Existing Exception-Handling Techniques to Component-Based Real-Time Software Technology
A Survey and Comparison of Some Research Areas Relevant to Software Process Modeling
A Survey of Formal Software Development Methods
A Survey of Software Inspection Checklists
A Tailorable Environment for Assessing the Quality of Deployment Architectures in Highly Distributed Settings
A Tale of Three Developers
A Taxonomy of Software Development Methods
A Theory for Software Revolution - A Guide to Lyee
A Theory of Composition Operations for Software Reuse
A Transformational Approach to Generating Application-Specific Environments
A Triptych Software Development Paradigm: Domain, Requirements and Software
Automated Assistance for Program Restructuring
Automated Deduction - CADE-24: Proc./24th International Conference on AD, Lake Placid,NY,USA, June 2012
Automated Deduction - CADE 26: Proc./26th International Conference on AD, Gothenburg, Sweden, August 2017
Automated Support for Modeling OO Software
Automated Synthesis of Interface Adapters for Reusable Classes
Automated Technology for Verification and Analysis: Proc./12th International Symposium, ATVA 2014, Sydney,NSW,Australia, November 2014
Automatic Measurement at Nokia Mobile Phones: A Case of SDL Based Software Development
Automatic software test generation
Automating Software Failure Reporting
Automating the Object-Oriented Software Development Process: Workshop Report
Autonomic and Trusted Computing: Proc./7th International Conference, ATC 2010, Xi an, China, October 2010
A Visualization Programming Environment for Multicomputers
AVL Trees Revisited: A Case Study in Spectrum
AVL Trees Revisited: A Case Study in SPECTRUM
B 98: Recent Advances in the Development and Use of the B Method: Proc./Second Intern. B Conf. Montpellier, France, April 1998
Bayesian Analysis of Empirical Software Engineering Cost Models
Behavioral Specification of Distributed Software Component Interfaces
Behavioural Retrieval from Class Libraries
Benchmarking European Software Management Practices
Bilan de six annees d utilisation operationnelle d ateliers integres de genie logiciel
Bioinformatics for Personalized Madicine: Revised Selected Papers/10th Spanish Symposium, JBI 2010, Torremolinos, Spain, October 2010
Board tools proliferate
Breaking through the V and V Bottleneck
Breakthrough in Delivering Software Quality: Capability Maturity Model and Six Sigma
« первая
‹ предыдущая
1
2
3
4
5
6
7
8
9
…
следующая ›
последняя »