Buscas alternativas:
interface specification » service specification
specification program » specifications program, verification program, purification program
program computing » program comparing, programs compiling, problem computing
program program » programs program, programming program
1
Publicado em 2007
Sumário: ... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...
Obter o texto integral
Recurso Eletrônico livro eletrônico
2
Publicado em 2010
Sumário: ...: Integration into the Leuven Paradigm for Robot Task Specification and Human Motion Estimation -- Simulating...
Obter o texto integral
Recurso Eletrônico livro eletrônico
3
Publicado em 2012
Sumário: ... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...
Obter o texto integral
Recurso Eletrônico livro eletrônico
4
Publicado em 2014
Sumário: ....- Steps towards Scenario-Based Programming with a Natural Language Interface.- Assembly Theories...
Obter o texto integral
Recurso Eletrônico livro eletrônico
5
Publicado em 2008
Sumário: ... -- From Authorization Logics to Types for Authorization -- Interface Types for Haskell -- Exception...
Obter o texto integral
Recurso Eletrônico livro eletrônico
6
Publicado em 2012
Sumário: ... Programs -- Formal Specification as High-Level Programming: The ASSL Approach -- Atomicity in Real-time...
Obter o texto integral
Recurso Eletrônico livro eletrônico
7
Publicado em 2014
Sumário: ... Interfaces in the Context of the Internet of Services -- Interactive Service Composition and Query...
Obter o texto integral
Recurso Eletrônico livro eletrônico
8
Publicado em 2007
Sumário: ... User -- Programs and Predicates -- Validity Invariants and Effects -- Non-null References by Default...
Obter o texto integral
Recurso Eletrônico livro eletrônico
9
Publicado em 2005
Sumário: ... Programs -- Deriving Acceptance Tests from Goal Requirements -- Human-Computer Interfaces and the Web...
Obter o texto integral
Recurso Eletrônico livro eletrônico
10
Publicado em 2005
Sumário: ... Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative...
Obter o texto integral
Recurso Eletrônico livro eletrônico
11
Publicado em 2005
Sumário: ... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...
Obter o texto integral
Recurso Eletrônico livro eletrônico
12
Publicado em 2006
Sumário: ... of Teamworking Systems -- Towards Model Checking Stochastic Aspects of the thinkteam User Interface -- Incident...
Obter o texto integral
Recurso Eletrônico livro eletrônico
13
Publicado em 2007
Sumário: ... to Facilitate Adaptive User Interfaces -- Toward Quality-Driven Development of 3D Computer Games -- Group...
Obter o texto integral
Recurso Eletrônico livro eletrônico
14
Publicado em 2010
Sumário: ... in Pair Programming -- Continuous Selective Testing -- Applying SCRUM in an OSS Development Process...
Obter o texto integral
Recurso Eletrônico livro eletrônico
15
Publicado em 2005
Sumário: ... Features -- The Drawing Carousel: A Pair Programming Experience -- Agile Development with Domain Specific...
Obter o texto integral
Recurso Eletrônico livro eletrônico
16
Sumário: ...Overview -- Assembly Language -- Computer Organization -- Digital Logic Circuits -- Memory...
Obter o texto integral
Recurso Eletrônico livro eletrônico
17
Publicado em 2008
Sumário: ... Information Overload -- Multi-fidelity User Interface Specifications -- HOPS: A Prototypical Specification...
Obter o texto integral
Recurso Eletrônico livro eletrônico
18
Publicado em 2011
Sumário: ...1. Introduction -- 2. Architectures and Environments for the Generation of User Interfaces -- 2.1.1...
Obter o texto integral
Recurso Eletrônico livro eletrônico
19
por Menon, R.M., Menon, R.M.
Publicado em 2005
Sumário: ... Weakly Typed Struct Objects -- Using Strongly Typed Interfaces with JPublisher -- Using Oracle...
Obter o texto integral
Recurso Eletrônico livro eletrônico
20
Assuntos: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Obter o texto integral
Recurso Eletrônico livro eletrônico