Zoekresultaten - interface specification programs program constructs https

Alternatieven:
interface specification » service specification
specification programs » specification program , specifications program , specification programming
program constructs » program construction , program constructing , programming constructs
programs program » programming program
constructs https » construction https , constructs loops , constructs arti

Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, Proceedings /

Gepubliceerd in 2008

Inhoudsopgave: “... -- ML Modules and Haskell Type Classes: A Constructive Comparison -- The Essence of Form Abstraction...”
Volledige tekst

Elektronisch E-boek

Generative Programming and Component Engineering 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings /

Gepubliceerd in 2005

Inhoudsopgave: “... Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative...”
Volledige tekst

Elektronisch E-boek

From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor...

Gepubliceerd in 2014

Inhoudsopgave: “....- Steps towards Scenario-Based Programming with a Natural Language Interface.- Assembly Theories...”
Volledige tekst

Elektronisch E-boek

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference...

Gepubliceerd in 2007

Inhoudsopgave: “... Probabilistic Model Checking -- Static Analysis -- Causal Dataflow Analysis for Concurrent Programs -- Type...”
Volledige tekst

Elektronisch E-boek

Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings /

Gepubliceerd in 2014

Inhoudsopgave: “... Morality Computationally with Logic Programming -- A Declarative Specification of Giant Number Arithmetic...”
Volledige tekst

Elektronisch E-boek

Software Development and Professional Practice

door Dooley, John., Dooley, John.
Gepubliceerd in 2011

Onderwerpen: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Volledige tekst

Elektronisch E-boek

Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007...

Gepubliceerd in 2007

Inhoudsopgave: “... and Tool Support -- Preliminary Design of BML: A Behavioral Interface Specification Language for Java...”
Volledige tekst

Elektronisch E-boek

Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany, f...

Gepubliceerd in 2005

Inhoudsopgave: “...Architectures, Design and Interfaces -- Incremental Software Construction with Refinement Diagrams...”
Volledige tekst

Elektronisch E-boek

Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings /

Gepubliceerd in 2005

Inhoudsopgave: “... Programs -- Specification and Verification of Encapsulation in Java Programs -- Detecting Errors...”
Volledige tekst

Elektronisch E-boek

Component-Based Software Testing with UML

door Gross, Hans-Gerhard., Gross, Hans-Gerhard.
Gepubliceerd in 2005

Onderwerpen: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Volledige tekst

Elektronisch E-boek

Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008, Proceedings /

Gepubliceerd in 2008

Inhoudsopgave: “... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...”
Volledige tekst

Elektronisch E-boek

Robotic Fabrication in Architecture, Art and Design 2014

Gepubliceerd in 2014

Onderwerpen: “...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...”
Volledige tekst

Elektronisch E-boek

Form-Oriented Analysis A New Methodology to Model Form-Based Applications /

door Draheim, Dirk., Draheim, Dirk., Weber, Gerald.
Gepubliceerd in 2005

Inhoudsopgave: “... -- Form Storyboarding -- Formcharts and Dialogue Specification -- Model Decomposition and Refinement...”
Volledige tekst

Elektronisch E-boek

High Confidence Software Reuse in Large Systems 10th International Conference on Software Reuse, ICSR 2008, Bejing, China, May 25-29, 2008 /

Gepubliceerd in 2008

Inhoudsopgave: “... Examples for Component Retrieval in Reuse Repositories -- A Reuse Repository System: From Specification...”
Volledige tekst

Elektronisch E-boek

Innovations in Computing Sciences and Software Engineering

Gepubliceerd in 2010

Inhoudsopgave: “... Specifications for a Document Management Assistant -- Towards a Spatial-Temporal Processing Model -- Structure...”
Volledige tekst

Elektronisch E-boek

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21,...

Gepubliceerd in 2010

Inhoudsopgave: “... of C Programs -- Analysing Message Sequence Graph Specifications -- Optimize Context-Sensitive Andersen...”
Volledige tekst

Elektronisch E-boek

Model Driven Engineering Languages and Systems 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings /

Gepubliceerd in 2005

Inhoudsopgave: “... Generation from UML Models with Semantic Variation Points -- Composing Domain-Specific Languages for Wide...”
Volledige tekst

Elektronisch E-boek

Enterprise Information Systems V

Gepubliceerd in 2005

Inhoudsopgave: “... and Implementation of Improved Intelligent Answering Model -- Information Systems Analysis and Specification...”
Volledige tekst

Elektronisch E-boek

Cooperative Design, Visualization, and Engineering 7th International Conference, CDVE 2010, Calvia, Mallorca, Spain, September 19-22, 2010, Proceedings /

Gepubliceerd in 2010

Inhoudsopgave: “... -- Fixing Collaborative Edition on Typed Documents -- Towards the Construction of a Knowledge Building...”
Volledige tekst

Elektronisch E-boek

Advanced Information Systems Engineering 17th International Conference, CAiSE 2005, Porto, Portugal, June 13-17, 2005, Proceedings /

Gepubliceerd in 2005

Inhoudsopgave: “... Research -- A MDA-Compliant Environment for Developing User Interfaces of Information Systems -- Toward...”
Volledige tekst

Elektronisch E-boek

Verfijnd zoeken