Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
interface specifications » interface specification, service specifications, interface applications
specifications program » specification program, specifications property, specifications from
program constructs » program construction, program constructing, programming constructs
constructs https » construction https, constructs loops, constructs arti
program program » programs program, programming program
interface specifications » interface specification, service specifications, interface applications
specifications program » specification program, specifications property, specifications from
program constructs » program construction, program constructing, programming constructs
constructs https » construction https, constructs loops, constructs arti
program program » programs program, programming program
1
Argitaratua 2008
Aurkibidea:
“... -- ML Modules and Haskell Type Classes: A Constructive Comparison -- The Essence of Form Abstraction...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2005
Aurkibidea:
“... Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2014
Aurkibidea:
“....- Steps towards Scenario-Based Programming with a Natural Language Interface.- Assembly Theories...”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2007
Aurkibidea:
“... Probabilistic Model Checking -- Static Analysis -- Causal Dataflow Analysis for Concurrent Programs -- Type...”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2014
Aurkibidea:
“... Morality Computationally with Logic Programming -- A Declarative Specification of Giant Number Arithmetic...”Testu osoa
Baliabide elektronikoa
eBook
6
Gaiak:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2007
Aurkibidea:
“... and Tool Support -- Preliminary Design of BML: A Behavioral Interface Specification Language for Java...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2005
Aurkibidea:
“...Architectures, Design and Interfaces -- Incremental Software Construction with Refinement Diagrams...”Testu osoa
Baliabide elektronikoa
eBook
9
Argitaratua 2005
Aurkibidea:
“... Programs -- Specification and Verification of Encapsulation in Java Programs -- Detecting Errors...”Testu osoa
Baliabide elektronikoa
eBook
10
Gaiak:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
11
Argitaratua 2008
Aurkibidea:
“... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...”Testu osoa
Baliabide elektronikoa
eBook
12
Argitaratua 2014
Gaiak:
“...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...”Testu osoa
Baliabide elektronikoa
eBook
13
Aurkibidea:
“... -- Form Storyboarding -- Formcharts and Dialogue Specification -- Model Decomposition and Refinement...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
14
Argitaratua 2008
Aurkibidea:
“... Examples for Component Retrieval in Reuse Repositories -- A Reuse Repository System: From Specification...”Testu osoa
Baliabide elektronikoa
eBook
15
Argitaratua 2010
Aurkibidea:
“... Specifications for a Document Management Assistant -- Towards a Spatial-Temporal Processing Model -- Structure...”Testu osoa
Baliabide elektronikoa
eBook
16
Argitaratua 2010
Aurkibidea:
“... of C Programs -- Analysing Message Sequence Graph Specifications -- Optimize Context-Sensitive Andersen...”Testu osoa
Baliabide elektronikoa
eBook
17
Argitaratua 2005
Aurkibidea:
“... Generation from UML Models with Semantic Variation Points -- Composing Domain-Specific Languages for Wide...”Testu osoa
Baliabide elektronikoa
eBook
18
Argitaratua 2010
Aurkibidea:
“... -- Fixing Collaborative Edition on Typed Documents -- Towards the Construction of a Knowledge Building...”Testu osoa
Baliabide elektronikoa
eBook
19
Argitaratua 2005
Aurkibidea:
“... and Implementation of Improved Intelligent Answering Model -- Information Systems Analysis and Specification...”Testu osoa
Baliabide elektronikoa
eBook
20
Argitaratua 2005
Aurkibidea:
“... Research -- A MDA-Compliant Environment for Developing User Interfaces of Information Systems -- Toward...”Testu osoa
Baliabide elektronikoa
eBook
- 1
- 2
- 3
- Hurrengoa »
- [3]