Вы здесь

Главная

программный

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

Program Transformation under the Principle of Proof as Program
PRONAOS Ground Control Center: First Operational Ada Application in C.N.E.S.
Providing Highly Automated and Generic Means for Software Deployment Process
Quality Attribute Design Primitives and the Attribute Driven Design Method
Quality Ensuring Development of Software Processes
Quality Measurement of Software Products: An Experience about a Large Automation System
Quantifying Product Line Benefits
Realization of Cooperative Agents Ussing an Active Object-Oriented Database Management System
Reasoning about Programs by Exploiting the Environment Extended Abstract
Reasoning about Software Architectures with Contractually Specified Components
Recent Industrial Experiences with Software Product Metrices
Recovering Software Architecture from Multiple Source Code Analyses
Reduction Operators in ALPHA
Reflection-Based, Aspect-Oriented Software Architecture
Reflections on the Relationship Between BPR and Software Process Modelling
Regression Analysis of Reusable Program Components
Reliable Software Technologies - Ada-Europe 99: Proc./1999 Ada-Europe Intern. Conf. on Reliable Software Technologies. Santander, Spain, June 1999
Representation and Management of Memory and Decision in Evolving Software Systems
Requirements for a Layered Software Architecture Supporting Cooperative Multi-User Interaction
Requirements on Software Process Technology from the Viewpoint of Commercial Software Development: Recommendations for Research Directions
Reuse, a Problem of Understanding Designs
Reuse is for Applications
Reusing Software Processes
Rich Interfaces for Software Modules
ROSE-ADA: a Method and a Tool to Help Reuse of Ada Codes
Runtime Verification: Proc./19th International Conference, RV 2019, Porto, Portugal, October 2019
S4CAD: A Software Tool for Synthesis, Analysis and Modeling of Systolic Structures
Safety Aspects of the Ariane 5 On-Board Software
Scalable Benchmarking and Performance Monitoring: A Coordination and Mobility Perspective
Scalable Multithreading in a Low Latency Myrinet Cluster
Scenario-Based Analysis of Software Architecture
Scenario-Based Conector Optimization
Scenario-Based Generation and Evaluation of Software Architectures
Scientific Software Libraries for Scalable Architectures
SCT: a Tool for Hydrid Execution of Hydrid Software Systems
SDL Based Approach to Software Process Modeling
Security Benefits from Software Architecture
Selected, Annotated Bibliography on Process-Centered Software Engineering Environments
Selecting Software Subcontractors
Service-Oriented Systems Engineering: Modeling Services and Layered Architectures
Simulation-Based Risk Reduction for Planning Inspections
Simulation of ATM Computer Networks with Class
Six Theses on Software Process Research
SMAQ: A Measurement-Based Tool for Traffic Modeling and Queuing Analysis. Part I: Design Methodologies and Software Architecture
Software Agents and Intelligent Object Fusion
Software Agents and Soft Computing: Towards Enhancing Machine Intelligence; Concepts and Applications
Software Agents: The Future of Web Services
Software Architectre and Software Configuration Management
Software Architecture and Dependability
Software Architecture and Softeare Engineering