Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
specification programming » verification programming, identification programming, specification program
interface specification » service specification
programming programming » programming programmed, programming program
programming computers » programming computer, programming chapter, programs computer
computers https » computing https, computers gtt, computers help
specification programming » verification programming, identification programming, specification program
interface specification » service specification
programming programming » programming programmed, programming program
programming computers » programming computer, programming chapter, programs computer
computers https » computing https, computers gtt, computers help
1
Published 2007
Table of Contents:
“... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“...: Integration into the Leuven Paradigm for Robot Task Specification and Human Motion Estimation -- Simulating...”View full text
Electronic
eBook
3
Published 2012
Table of Contents:
“... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...”View full text
Electronic
eBook
4
Published 2014
Table of Contents:
“....- Steps towards Scenario-Based Programming with a Natural Language Interface.- Assembly Theories...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... -- From Authorization Logics to Types for Authorization -- Interface Types for Haskell -- Exception...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”View full text
Electronic
eBook
7
Published 2012
Table of Contents:
“... Programs -- Formal Specification as High-Level Programming: The ASSL Approach -- Atomicity in Real-time...”View full text
Electronic
eBook
8
Published 2014
Table of Contents:
“... Interfaces in the Context of the Internet of Services -- Interactive Service Composition and Query...”View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“... User -- Programs and Predicates -- Validity Invariants and Effects -- Non-null References by Default...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... Programs -- Deriving Acceptance Tests from Goal Requirements -- Human-Computer Interfaces and the Web...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative...”View full text
Electronic
eBook
12
Published 2011
Table of Contents:
“...1. Introduction -- 2. Architectures and Environments for the Generation of User Interfaces -- 2.1.1...”View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“... of Teamworking Systems -- Towards Model Checking Stochastic Aspects of the thinkteam User Interface -- Incident...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... to Facilitate Adaptive User Interfaces -- Toward Quality-Driven Development of 3D Computer Games -- Group...”View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“... Features -- The Drawing Carousel: A Pair Programming Experience -- Agile Development with Domain Specific...”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“... Information Overload -- Multi-fidelity User Interface Specifications -- HOPS: A Prototypical Specification...”View full text
Electronic
eBook
17
Table of Contents:
“...Overview -- Assembly Language -- Computer Organization -- Digital Logic Circuits -- Memory...”
View full text
View full text
Electronic
eBook
18
Table of Contents:
“... Weakly Typed Struct Objects -- Using Strongly Typed Interfaces with JPublisher -- Using Oracle...”
View full text
View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... in Pair Programming -- Continuous Selective Testing -- Applying SCRUM in an OSS Development Process...”View full text
Electronic
eBook
20