Вы здесь

Главная

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

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

Evaluating Evolutionary Software Systems
Evaluating Software Development Objectively
Evaluating the Cost of Software Quality
Evaluating Workflow and Process Automation in Wide-Area Software Development
Evaluation of Technology-based Learning. A Social Science Approach tj Quality Assurance in Education
Every Little Bit Counts: Toward More Reliable Software
Evolution of a CORBA Framework: An Experience Study
Evolution of a Software Component - Experiences with a Network Editor Component
Exact and Approximate Testing/Correcting of Algebraic Functions: A Survey
Exceptions in OO Languages: Using Them and Reasoning about Them
Experience Report on the Maturity of Configuration Management for Embedded Software
Experiences from Applications of RAISE
Experiences of Software Quality Management Using Metrics through the Life-Cycle
Experiences Using Lightweight Formal Methods for Requirements Modeling
Experiences with a High-Speed Network Adaptor: A Software Perspective
Experiences with Software Specification and Verification Using LP, the Larch Proof Assistant
Experiences with the Use of a Configuration Language
Experience Using Design Patterns to Evolve Communination Software Across Diverse OS Platforms
Experience Using Web-Based Shotgun Measures for Large-System Characterization and Improvement
Experience with a Course on Architectures for Software Systems
Experimentation with Usage-Based Reading
Exploitation of Software Test Technology
Exploring the Software Development Trilogy
Extended Application of Ada to Cover ECBS with 04S
Extended Static Checking
Extending Process-Centered Environments with Organizational Competence
Extracting Domain-Specific and Domain-Neutral Patterns Using Software Stability Concepts
Extracting Reusable Functions by Flow Graph-Based Program Slicing
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 2004: Proc./4th Conference on Extreme Programming and Agile Methods. Calgary, Canada, August 2004
Extreme Programming and Agile Processes in Software Engineering: Proc./7th International Conference, XP 2006. Oulu, Finland, June 2006
Extreme Programming in a Research Environments
Facets of Software Development
Fast Software Encryption: Proc./Third Intern. Workshop. Cambridge, UK, February 1996
Fast Software Encryption: Revised Selected Papers/21st International Workshop, FSE 2014, London, UK, March 2014
Faults on Its Sleeve: Amplifying Software Reliability Testing
Feyerabend: Redefining Computing
Field Experiments With Local Software Quality Metrics
Filter-Based Model Checking of Partial Systems
Fine-Grained Revision Control for Collaborative Software Development
Fitting Pieces to the Maintenance Puzzle
FLEX: A Flexible Extension and Integration Concept for Software Development in KORSO and COMPASS
FM 2011: Formal Methods: Proc./17th International Symposium on Formak Methods, Limerick, Ireland, June 2011
FM 2014: Formal Methods: Proc./19th International Symposium, Singapore, May 2014
FM 2016: Formal Methods: Proc./21st International Symposium, Limassol, Cyprus, November 2016
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
Forcing Behavioral Subtyping through Specification Inheritance
Formal Aspects of Component Software: Revised Selected Papers/10th International Symposium, FACS 2013, Nanchang, China, October 2013
Formal Aspects of Component Software: Revised Selected Papers/11th International Symposium, FACS 2014, Bertinoro, Italy, September 2014