関連のトピックス ...
関連のトピックス ...
提案スペルによる検索:
interface specification » service specification
specification programs » specification program, specifications program, specification programming
program constructing » program construction, diagram constructing, programs conducting
constructing https » construction https, consulting https, constructing better
programs program » programming program
interface specification » service specification
specification programs » specification program, specifications program, specification programming
program constructing » program construction, diagram constructing, programs conducting
constructing https » construction https, consulting https, constructing better
programs program » programming program
1
出版事項 2008
目次:
“... -- ML Modules and Haskell Type Classes: A Constructive Comparison -- The Essence of Form Abstraction...”全文の入手
電子媒体
eBook
2
出版事項 2005
目次:
“... Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative...”全文の入手
電子媒体
eBook
3
出版事項 2014
目次:
“....- Steps towards Scenario-Based Programming with a Natural Language Interface.- Assembly Theories...”全文の入手
電子媒体
eBook
4
出版事項 2007
目次:
“... Probabilistic Model Checking -- Static Analysis -- Causal Dataflow Analysis for Concurrent Programs -- Type...”全文の入手
電子媒体
eBook
5
出版事項 2014
目次:
“... Morality Computationally with Logic Programming -- A Declarative Specification of Giant Number Arithmetic...”全文の入手
電子媒体
eBook
6
主題:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
全文の入手
全文の入手
電子媒体
eBook
7
出版事項 2007
目次:
“... and Tool Support -- Preliminary Design of BML: A Behavioral Interface Specification Language for Java...”全文の入手
電子媒体
eBook
8
出版事項 2005
目次:
“...Architectures, Design and Interfaces -- Incremental Software Construction with Refinement Diagrams...”全文の入手
電子媒体
eBook
9
出版事項 2005
目次:
“... Programs -- Specification and Verification of Encapsulation in Java Programs -- Detecting Errors...”全文の入手
電子媒体
eBook
10
主題:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
全文の入手
全文の入手
電子媒体
eBook
11
出版事項 2008
目次:
“... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...”全文の入手
電子媒体
eBook
12
出版事項 2014
主題:
“...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...”全文の入手
電子媒体
eBook
13
目次:
“... -- Form Storyboarding -- Formcharts and Dialogue Specification -- Model Decomposition and Refinement...”
全文の入手
全文の入手
電子媒体
eBook
14
出版事項 2008
目次:
“... Examples for Component Retrieval in Reuse Repositories -- A Reuse Repository System: From Specification...”全文の入手
電子媒体
eBook
15
出版事項 2010
目次:
“... Specifications for a Document Management Assistant -- Towards a Spatial-Temporal Processing Model -- Structure...”全文の入手
電子媒体
eBook
16
出版事項 2010
目次:
“... of C Programs -- Analysing Message Sequence Graph Specifications -- Optimize Context-Sensitive Andersen...”全文の入手
電子媒体
eBook
17
出版事項 2005
目次:
“... Generation from UML Models with Semantic Variation Points -- Composing Domain-Specific Languages for Wide...”全文の入手
電子媒体
eBook
18
出版事項 2005
目次:
“... and Implementation of Improved Intelligent Answering Model -- Information Systems Analysis and Specification...”全文の入手
電子媒体
eBook
19
出版事項 2010
目次:
“... -- Fixing Collaborative Edition on Typed Documents -- Towards the Construction of a Knowledge Building...”全文の入手
電子媒体
eBook
20
出版事項 2005
目次:
“... Research -- A MDA-Compliant Environment for Developing User Interfaces of Information Systems -- Toward...”全文の入手
電子媒体
eBook