Resultados da pesquisa - interface components programming program constraint https

Pesquisas alternativas:
components programming » component programming , computers programming , complete programming
interface components » interactive components , internet components , interactive component
programming program » programming programmed , programming problem , programming problems
program constraint » programs constraints , problem constraint , diagram constraint
constraint https » constraint atoms , constraint graphs , constraint codes

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

Publicado em 2007

Sumário: “... of Component-Based Systems -- Performance-Driven Interface Contract Enforcement for Scientific Components...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2008

Sumário: “... Robots -- Programming -- A Software Platform for Component Based RT-System Development: OpenRTM-Aist -- A...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2006

Sumário: “... the Network into a Database with Active XML -- Languages -- SuperGlue: Component Programming with Object...”
Obter o texto integral

Recurso Electrónico livro electrónico

Formal Methods and Software Engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings /

Publicado em 2006

Sumário: “...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2007

Sumário: “... Demonstrations -- Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2006

Sumário: “... Developing a Dynamic OCL Constraint Enforcement Tool for Java -- OCL and Graph-Transformations – A Symbiotic...”
Obter o texto integral

Recurso Electrónico livro electrónico

Models in Software Engineering Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers /

Publicado em 2007

Sumário: “... -- A Qualitative Investigation of UML Modeling Conventions -- W5 – Advanced User Interfaces -- Model...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2008

Sumário: “... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2008

Sumário: “... Approaches: A Component-Based System Development Perspective -- High Confidence and Reuse -- Component-Based...”
Obter o texto integral

Recurso Electrónico livro electrónico

Innovations in Computing Sciences and Software Engineering

Publicado em 2010

Sumário: “...D Virtual Agents -- Unbiased Statistics of a Constraint Satisfaction Problem – a Controlled-Bias...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2005

Sumário: “... and Embedded Systems -- Process -- Activity Diagram Patterns for Modeling Quality Constraints in Business...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2012

Sumário: “... Components, Changing Interfaces, Varying Compositions.- An Object Group-Based Component Model.- Automated...”
Obter o texto integral

Recurso Electrónico livro electrónico

Computers and Education: Towards Educational Change and Innovation

Publicado em 2008

Sumário: “... Communication in Synchronous CSCL Environments -- Components of an EML Proposal for Collaborative Learning...”
Obter o texto integral

Recurso Electrónico livro electrónico

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /

Publicado em 2010

Sumário: “... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2005

Sumário: “...Invited Session I -- Protocol System Integration, Interface and Interoperability -- Session I...”
Obter o texto integral

Recurso Electrónico livro electrónico

Advanced Information Systems Engineering 18th International Conference, CAiSE 2006, Luxembourg, Luxembourg, June 5-9, 2006, Proceedings /

Publicado em 2006

Sumário: “... Applications -- Conceptual Modelling -- Incremental Evaluation of OCL Constraints -- Object-Relational...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2013

Sumário: “... Requirements and Component Interfaces....”
Obter o texto integral

Recurso Electrónico livro electrónico

Hybrid Artificial Intelligent Systems, Part II 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010, Proceedings /

Publicado em 2010

Sumário: “... Classification Rules with Gene Expression Programming: A Preliminary Study -- Solving Classification Problems...”
Obter o texto integral

Recurso Electrónico livro electrónico

Multi-Agent Systems and Applications IV 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15-17, 2005, Pro...

Publicado em 2005

Sumário: “... Compatibility and Substitutability of Rolebased Interactions Components in Multi-agent Systems -- MAS Meta...”
Obter o texto integral

Recurso Electrónico livro electrónico

Multi-Agent Systems and Applications V 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Leipzig, Germany, September 25-27, 2007, Proce...

Publicado em 2007

Sumário: “... of Verifying Game Equilibria -- Component-Based Development of Secure Mobile Agents Applications -- Design...”
Obter o texto integral

Recurso Electrónico livro electrónico

Refinar a Pesquisa