Вы здесь

Главная

область

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

Abstract Interpretation of Constraints on Order-Sorted Domains
A Description Language for Complex Domains
A Financial Information System - Domain Analysis: Formalization
A Financial Information System - Domain Analysis: Narrative
An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs
An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory
An Implementation of Session Types
An Introduction to Organizational Domain Modelling: A Domain Analysis Process Model
A Note on Powerdomains and Modality
Application of Domain Analysis to Object-Oriented Systems
A Preliminary Annotated Bibliography on Domain Engineering
Architecture Software Using: A Methodology for Language Development
Architecturing for Domanin Variability
Arithmetic of Finite Fields: Revised Selected Papers/5th International Workshop, WAIFI 2014, Gebze, Turkey, September 2014
Bistructures, Bidomains and Linear Logic
Class Analysis of Object-Oriented Programs through Abstract Interpretation
Customizable Domain Analysis
Derivation of Proof Methods by Abstract Interpretation
Design Framework Method - A Case Study of Application
Domain Analysis
Domain Analysis - A Prerequisite for Requirements Capture
Domain Analysis for a Budgetary System
Domain Analysis for Software Reuse - A More Detailed Approach
Domain Compression for Complete Abstractions
Domain Engineering: A "Radical Innovation" for Software and Systems Engineering? A Biased Account
Domains as a Prerequisite for Requirements and Software Domain Perspectives & Facets, Requirements Aspects and Software Views
Domain-Specific Languages: From Design to Implementation Application to Video Device Drivers Generation
Domain Theory in HOL
Efficient Bottom-up Abstract Interpretation of Prolog by Means of Constraint Solving over Symbolic Finite Domains
Efficient Software-Based Fault Isolation
Executable Specifications for Language Implementation
Expectation and Reality of Software Reuse
Freeness Analysis Througn Linear Refinement
Generalizing Domain Theory
Generating domain representations using a relationship model
Geographic Information Science: Proc./6th International Conference, GIScience 2010, Zurich, Switzerland, September 2010
High-Level Constraints over Finite Domains
How to Identify Binary Relations for Domain Models
Imaging for Patient-Customized Simulations and Systems for Point-of-Care Ultrasound: Proc./Int.WSp, BIVPCS 2017 and POCUS 2017 Held in Conjunction with MICCAI 2017, Quebec City, QC,Canada, September 2017
Information Retrieval Technology: Proc./6th Asia Information Retrieval Societies Conference, AIRS 2010, Taipei, Taiwan, December 2010
Intuitionistic Implication in Abstract Interpretation
LSD: Logical Systems Development
Mathematical Software - ICMS 2014: Proc./4th International Congress, Seoul, South Korea, August 2014
Metaprogramming Domain Specific Metaprograms
Programs, Proofs, Processes: Proc./6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June/July 2010
Reuse is for Applications
Role of Domain Engineering in Software Development. Why Current Requirements Engineering Is Flawed!
Semantic Heterogeneity as a Result of Domain Evolution
Semantics Domains
Software Systems Engineering from Domain Analysis via Requirements Capture to Software Architectures