Вы здесь

Главная

программный

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

Efficient Reliability Prediction for N-Version Software Systems with Muliple Stages
Effort Estimation Using Analogy
Eine Algebraische Spezifikation des Software-Produkts INTAKT
Eine objekt-orientierte Sprache fur die Modellierung von Software-Prozessen
Emerald: Software Metrics and Models on the Desktop
Empirical Validation of the Prospect Method for Systematic Software Process Elicitation
Enabling Agents tpo Work Together
Enabling Design Evolution in Software through Pattern Oriented Approach
Enaction of Software Process Description in a Petri Net Model with Registers
Establishing a Software Product Line in an Immature Domain
Establishing Trust in COTS Components
Euro-Par 2017: Parallel Processing: Proc./23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 2017
EVA: A Flexible Programming Method for Evolving Systems
Event-Based Software Architectures
Evolutionary Introduction of Software Product Lines
Evolution of Software Product Families
Exdasy - A User-Friendly and Extendable Data Distribution System
Experience Assessing an Architectural Approach to Large-Scale Systematic Reuse
Experience Based Process Improvement
Experiences in Telecommunications Protocols with an OO Based Implementation Framework
Experiences with Architectural Software Configuration Management in Ragnarok
Experiences with the Evolution of an Application Family Architecture
Exploiting Reusable Specifications Throuph Analogy
Exploring New Uses of Video with VideoSpace
Extending UML for Modeling Reflective Software Components
Extra-Functional Contract Support in Components
Fast Text Searching Allowing Errors
FIBER: A Generalized Framework for Auto-tuning Software
Flexible and Reliable Process Model Properties: An Integrated Approach
FLEX - семейство аппаратных и программных средств САПР для ПЭВМ
Formal Approach to Software Architecture
Formal Derivation of Multilayered Hardware/Software Structures
Formal Design Constraints
Formalizing Rework in Software Processes
Formalizing Software Architectures for Embedded Systems
Formal Methods for Software Architectures: Advanced Lectures/Third Intern. School on Formal Methods for the Design of Computer, Communication and Software Systems - Software Architectures, SFM 2003, Bertinoro, Italy, September 2003
Formal Methods in Testing Software Architectures
Formal Modeling and Analysis of Software Architecture: Components, Connectors, and Events
Formal Modeling and Analysis of the HLA Component Integration Standard
Formal Verification of Object-Oriented Software: Revised Selected Papers/ International Conference, FoVeOOS 2010, Paris, France, June 2010
Formulations and Formalisms in Software Architecture
Foundational and Practical Aspects of Resource Analysis: Revised Selected Papers/3rd International Workshop, FOPARA 2013, Bertinoro, Italy, August 2013
Foundations for Software Configuration Management Policies Using Graph Transformations
Foundations for the Study of Software Architecture
Foundations of Software Science and Computation Structures: Proc./Third Intern. Conf., FOSSACS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000. Berlin, Germany, March-April 2000
Framework Component Systems: Concepts, Design, Heuristics, and Perspectives
From Separation Logic to First-Order Logic
From System Goals to Software Architecture
Future Directions in User-Computer Interface Software
Fuzzy Dynamics in Software Project Simulation and Support