Search Results - interface component programming programmed constructs https

Search alternatives:
programming programmed » processing programmed
component programming » computer programming , computers programming , computing programming
programmed constructs » programming constructs , programme contract , programmed instructions
interface component » interface components , interfaces component , interface composing
constructs https » construction https , constructs loops , constructs arti

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

Published 2005

Table of Contents: “... Eden with Template Haskell -- Syntactic Abstraction in Component Interfaces -- Component-Oriented...”
View full text

Electronic eBook

Component-Based Software Testing with UML

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

Table of Contents: “...Component-Based and Model-Driven Development with UML -- Model-Based Testing with UML -- Built...”
View full text

Electronic eBook

Recent Advances in Parallel Virtual Machine and Message Passing Interface 15th European PVM/MPI...

Published 2008

Table of Contents: “... of the Component Collective Messaging Interface -- X-SRQ - Improving Scalability and Performance of Multi-core...”
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

Software Composition 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings /

Published 2008

Table of Contents: “... Models -- Composition Middleware -- Composing Components and Services Using a Planning-Based Adaptation...”
View full text

Electronic eBook

AdvancED Flex 3

by Tiwari, Shashank., Tiwari, Shashank., Elrom, Elad.
Published 2008

Table of Contents: “...Harnessing the Power of Flex 3 -- Leveraging Architectural and Design Patterns -- Constructing...”
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: “... Demonstrations -- Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More...”
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: “... Dynamic Class Construct for Asynchronous Concurrent Objects -- An Abstract Machine for the Kell Calculus...”
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: “... Approaches: A Component-Based System Development Perspective -- High Confidence and Reuse -- Component-Based...”
View full text

Electronic eBook

Innovations in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “... Based Approach for Optimal Clustering of Distributed Program's Call Flow Graph -- Fuzzy Adaptive Swarm...”
View full text

Electronic eBook

End-User Development 4th International Symposium, IS-EUD 2013, Copenhagen, Denmark, June 10-13, 2013, Proceedings /

Published 2013

Table of Contents: “... Programming -- Automated Test Case Generation in End-User Programming -- Component-Based Design and Software...”
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: “... for Composite Concepts -- Transformation from CIM to PIM: A Feature-Oriented Component-Based Approach -- Weaving...”
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

Computers and Education: Towards Educational Change and Innovation

Published 2008

Table of Contents: “... Communication in Synchronous CSCL Environments -- Components of an EML Proposal for Collaborative Learning...”
View full text

Electronic eBook

Hardware Verification with System Verilog An Object-Oriented Framework /

by Mintz, Mike., Mintz, Mike., Ekendahl, Robert.
Published 2007

Subjects: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013, Proceedings /

Published 2013

Table of Contents: “... Requirements and Component Interfaces....”
View full text

Electronic eBook

People and Computers XIX - The Bigger Picture Proceedings of HCI 2005 /

Published 2006

Table of Contents: “... Interactions in a Tangible Programming Space -- The Usability of Digital Ink Technologies for Children...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “... to Delay Analysis under Arbitrary Scheduling -- Flow Control with (Min,+) Algebra -- An Interface Algebra...”
View full text

Electronic eBook

Narrow Search