Search Results - interface specification program programming constructs https

Search alternatives:
interface specification » service specification
programming constructs » programming concepts , programming contest
specification program » specifications program , verification program , purification program
program programming » programs programming , programmer programming , pram programming
constructs https » construction https , constructs loops , constructs arti

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

Published 2008

Table of Contents: “... -- ML Modules and Haskell Type Classes: A Constructive Comparison -- The Essence of Form Abstraction...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “... Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative...”
View full text

Electronic eBook

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

Published 2014

Table of Contents: “....- Steps towards Scenario-Based Programming with a Natural Language Interface.- Assembly Theories...”
View full text

Electronic eBook

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

Published 2007

Table of Contents: “... Probabilistic Model Checking -- Static Analysis -- Causal Dataflow Analysis for Concurrent Programs -- Type...”
View full text

Electronic eBook

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

Published 2014

Table of Contents: “... Morality Computationally with Logic Programming -- A Declarative Specification of Giant Number Arithmetic...”
View full text

Electronic eBook

Software Development and Professional Practice

by Dooley, John., Dooley, John.
Published 2011

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “...Architectures, Design and Interfaces -- Incremental Software Construction with Refinement Diagrams...”
View full text

Electronic eBook

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...

Published 2007

Table of Contents: “... and Tool Support -- Preliminary Design of BML: A Behavioral Interface Specification Language for Java...”
View full text

Electronic eBook

Component-Based Software Testing with UML

by Gross, Hans-Gerhard., Gross, Hans-Gerhard.
Published 2005

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “... Programs -- Specification and Verification of Encapsulation in Java Programs -- Detecting Errors...”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “... Examples for Component Retrieval in Reuse Repositories -- A Reuse Repository System: From Specification...”
View full text

Electronic eBook

Innovations in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “... Specifications for a Document Management Assistant -- Towards a Spatial-Temporal Processing Model -- Structure...”
View full text

Electronic eBook

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

by Draheim, Dirk., Draheim, Dirk., Weber, Gerald.
Published 2005

Table of Contents: “... -- Form Storyboarding -- Formcharts and Dialogue Specification -- Model Decomposition and Refinement...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “... Generation from UML Models with Semantic Variation Points -- Composing Domain-Specific Languages for Wide...”
View full text

Electronic eBook

Robotic Fabrication in Architecture, Art and Design 2014

Published 2014

Subjects: “...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

Foundation 3ds Max 8 Architectural Visualization

by Smith, Brian L., Smith, Brian L.
Published 2006

Table of Contents: “...Getting Around Inside 3ds Max -- Getting Started -- Navigating the 3ds Max Interface -- Working...”
View full text

Electronic eBook

Pro VB 2008 and the .NET 3.5 Platform

by Troelsen, Andrew., Troelsen, Andrew.
Published 2008

Table of Contents: “... -- Advanced VB Programming Constructs -- Working with Interface Types -- Collections, Generics, and Nullable...”
View full text

Electronic eBook

Pro C# 2010 and the .NET 4 Platform

by Troelsen, Andrew., Troelsen, Andrew.
Published 2010

Table of Contents: “... C# Programming Constructs -- Core C# Programming Constructs, Part I -- Core C# Programming...”
View full text

Electronic eBook

Pro VB 2010 and the .NET 4.0 Platform

by Troelsen, Andrew., Troelsen, Andrew., Vrat Agarwal, Vidya.
Published 2010

Table of Contents: “... Constructs, Part I -- Core VB 2010 Programming Constructs, Part II -- Defining Encapsulated Class Types...”
View full text

Electronic eBook

Narrow Search