Вы здесь

Главная

программное обеспечение

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

Agent-Oriented Software Engineering V: Revised Selected Papers/5th International Workshop, AOSE 2004.New York, NY, USA, July 2004
Agent-Oriented Software Engineering XI: Revised Selected Papers/11th International Workshop, AOSE 2010, Toronto, Canada, May 2010
Agents Based Collaborative Framework for B2C Business Model and Related Services
Agile Modeling with the UML
A Giotto-Based Helicopter Control System
A Grand Challenge Proposal for Formal Methods: A Verified Stack
A Graph-Theoretical Metric for Object-Oriented Software Complexity
A Guide for Software Maintenance Evaluation: Experience Report
A History Concept for Design Recovery Tools
A Layered Software Specification Architecture
Algebra and Coalgebra in Computer Science: Proc./5th International Conference, CALCO 2013, Warsaw, Poland, September 2013
Algebraic and Numeric Biology: Revised Selected Papers/4th International Conference, ANB 2010, Hagenberg, Austria, July 2010
Algebraic Methodology and Software Technology: Revised Selected Papers/13th International Conference, AMAST 2010, Lac-Beauport,QC,Canada, June 2010
Algebraic Techniques in Software Development
Algorithm 727: Quantile Estimation Using Overlapping Batch Statistics
Algorithmic Learning Theory: Proc./16th International Conference, ALT 2005. Singapore, October 2005
Algorithms and Architectures for Parallel Processing, Part I: Proc./14th International Conference, ICA3PP 2014, Dalian, China, August 2014
Algorithms and Architectures for Parallel Processing, Part IV: Proc./15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 2015
A Light in a Dark Place: Test-Driven Development with 3rd Party Packages
Alignment of Software Quality and Service Quality
A Logical Basis for Component-Oriented Software and Systems Engineering
A Logical Basis for Modular Software and Systems Engineering
A Logic-based Framework for Reasoning Support in Software Evolution
A Markovian Imperfect Debugging Model for Software Reliability Measurement
Ambient Intelligence: Proc./Second European Symposium, EUSAI 2004. Eindhoven, The Netherlands, November 2004
A methoddology for the design of calloborative services
A Method for Software Quality Planning, Control, and Evaluation
A Method for the Development of Correct Software
A Methodology for Testing Intrusion Detection Systems
A Metric for Evaluating Effectiveness of Object-Oriented Interface Abstraction for Promoting Software Reuse
AMI: Application of Metrics in Industry
A Model-Driven Runtime Environment for Web Applications
A Model for Analyzing Measurement Based Feedback Loops in Software Development Projects
A Model for the Protection of Reusable Software
A Multi-variant Approach to Software Process Modeling
An Ada95 Programming Style Checker Using the GNAT ASIS Implementation
Analysis of a Conflict between Aggregation and Interface Negotiation in Microsoft s Component Object Model
Analysis of Aspect-Oriented Software
Analytical and Empirical Evaluation of Software Reuse Metrics
Analyzing Regression Test Selection Techniques
An Annotated Bibliography on Software Inspections
An Annotated Bibliography on Software Maintenance
An Applicable Test Data Generation Algorithm for Domain Errors
An Application of Formal Analysis to Software in a Fault-Tolerant Environment
An Application of the Chains-of-Rare-Events Model to Software Development Failure Prediction
An Approach to Combining B and Alloy
An Approach to Designing Safe Embedded Software
An Approach to Self-adaptive Software Based on Supervisory Control
An Architecture for a Construction System
ANDROMEDE. Systeme de gestion et de developpement de logiciel