Результаты поиска - interface automated programming programming constraints https

Альтернативы поиска:
programming programming » programming programmed , programming program
programming constraints » programming constraint , programming constrained , programming constructs
automated programming » automatic programming , autocad programming , automated program
interface automated » interfaces automated , interface automata , interface automation
constraints https » constraints haptic , constraints data , constraints chap

Simulation, Modeling, and Programming for Autonomous Robots First International Conference, SIMPAR 2008 Venice, Italy, November 3-7, 2008. Proceedings /

Опубликовано 2008

Оглавление: “...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...”
Полный текст

Электронный ресурс eКнига

Multiparadigm Programming in Mozart/Oz Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers /

Опубликовано 2005

Оглавление: “... Programs -- Deriving Acceptance Tests from Goal Requirements -- Human-Computer Interfaces and the Web...”
Полный текст

Электронный ресурс eКнига

Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings /

Опубликовано 2005

Оглавление: “... of Reachability Properties -- Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming...”
Полный текст

Электронный ресурс eКнига

ECOOP 2006 - Object-Oriented Programming 20th European Conference, Nantes, France, July 3-7, 2006, Proceedings /

Опубликовано 2006

Оглавление: “... Software Upgrades for Distributed Systems -- Demeter Interfaces: Adaptive Programming Without Surprises...”
Полный текст

Электронный ресурс eКнига

Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings /

Опубликовано 2007

Оглавление: “... Change Set Composition -- Automated and Unanticipated Flexible Component Substitution -- Dynamic...”
Полный текст

Электронный ресурс eКнига

Conceptual Modeling - ER 2008 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008, Proceedings /

Опубликовано 2008

Оглавление: “..., Compliance, Location -- Automating the Extraction of Rights and Obligations for Regulatory Compliance...”
Полный текст

Электронный ресурс eКнига

FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings /

Опубликовано 2008

Оглавление: “... -- Simulation, Orchestration and Logical Clocks -- Session 2. Programming Language Analysis -- CoVaC: Compiler...”
Полный текст

Электронный ресурс eКнига

Satellite Events at the MoDELS 2005 Conference MoDELS 2005 International Workshop OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, Nfc, MDD, WUsCaM, Montego Bay, Jamaica, October 2...

Опубликовано 2006

Оглавление: “... Developing a Dynamic OCL Constraint Enforcement Tool for Java -- OCL and Graph-Transformations – A Symbiotic...”
Полный текст

Электронный ресурс eКнига

Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings /

Опубликовано 2014

Оглавление: “... for Constraint Solvers -- Lightweight State Capturing for Automated Testing of Multithreaded Programs -- How Test...”
Полный текст

Электронный ресурс eКнига

Formal Methods and Software Engineering 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings /

Опубликовано 2012

Оглавление: “... pRebeca -- Modular Verification of OO Programs with Interfaces -- Separation Predicates: A Taste...”
Полный текст

Электронный ресурс eКнига

Diagrammatic Representation and Inference 4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006, Proceedings /

Опубликовано 2006

Оглавление: “... Routines Using Constraint Programming -- Deduction with Euler Circles: Diagrams That Hurt -- Diagrams...”
Полный текст

Электронный ресурс eКнига

Advances in Information and Computer Security 5th International Worshop on Security, IWSEC 2010, Kobe, Japan, November 22-24, 2010, Proceedings /

Опубликовано 2010

Оглавление: “...Invited Talks -- Automating Security Configuration and Administration: An Access Control...”
Полный текст

Электронный ресурс eКнига

Software Process Change International Software Process Workshop and International Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006, Shanghai, China, May 20-21,...

Опубликовано 2006

Оглавление: “... with Operating Constraints -- Evaluation of Project Quality: A DEA-Based Approach -- Process Management -- A...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2008

Оглавление: “... Clone-Enabled Feature Models’ Constraints and Customization -- Performing Domain Analysis for Model...”
Полный текст

Электронный ресурс eКнига

Innovations in Computing Sciences and Software Engineering

Опубликовано 2010

Оглавление: “...D Virtual Agents -- Unbiased Statistics of a Constraint Satisfaction Problem – a Controlled-Bias...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2005

Оглавление: “... and Embedded Systems -- Process -- Activity Diagram Patterns for Modeling Quality Constraints in Business...”
Полный текст

Электронный ресурс eКнига

Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings /

Опубликовано 2014

Оглавление: “... and Refutations in Invariant-Based Programming -- Automated Theorem Prover Assisted Program Calculations...”
Полный текст

Электронный ресурс eКнига

Principles of Distributed Systems 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers /

Опубликовано 2005

Оглавление: “...Invited Session I -- Protocol System Integration, Interface and Interoperability -- Session I...”
Полный текст

Электронный ресурс eКнига

Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I /

Опубликовано 2012

Оглавление: “....- LearnLib Tutorial: From Finite Automata to Register Interface Programs.- Automated Learning Setups...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2005

Оглавление: “... Research -- A MDA-Compliant Environment for Developing User Interfaces of Information Systems -- Toward...”
Полный текст

Электронный ресурс eКнига

Сужение результатов поиска