Resultados da pesquisa - processing java https development validation https

1

Pivotal Certified Spring Web Application Developer Exam A Study Guide /

Por Cosmina, Iuliana., Cosmina, Iuliana.
Publicado em 2015

Assuntos: “...Java. https://scigraph.springernature.com/ontologies/product-market-codes/I29070...”
Obter o texto integral

Recurso Electrónico livro electrónico

2

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques...

Publicado em 2014

Sumário: “... -- The Guided System Development Framework: Modeling and Verifying Communication Systems -- Processes and Data...”
Obter o texto integral

Recurso Electrónico livro electrónico

3

Product-Focused Software Process Improvement 9th International Conference, PROFES 2008, Monte Porzio Catone, Italy, June 23-25, 2008, Proceedings /

Publicado em 2008

Sumário: “...Keynote Addresses -- Software Testing Forever: Old and New Processes and Techniques for Validating...”
Obter o texto integral

Recurso Electrónico livro electrónico

4

Expert Spring MVC and Web Flow

Por Yates, Colin., Yates, Colin., Ladd, Seth., Devijver, Steven., Davison, Darren.
Publicado em 2006

Sumário: “... -- The Processing Pipeline -- The Controller Menagerie -- The View Layer -- Supported View Types -- Validation...”
Obter o texto integral

Recurso Electrónico livro electrónico

5

Agile Processes in Software Engineering and Extreme Programming 15th International Conference, XP 2014, Rome, Italy, May 26-30, 2014, Proceedings /

Publicado em 2014

Sumário: “...Part Agile Development -- UX Design in Agile: A DSDM Case Study -- Agile Principles in the Embedded...”
Obter o texto integral

Recurso Electrónico livro electrónico

6

Developments in Spatial Data Handling 11th International Symposium on Spatial Data Handling /

Publicado em 2005

Sumário: “...Plenary of Submitted Papers -- About Invalid, Valid and Clean Polygons -- 3D Geographic...”
Obter o texto integral

Recurso Electrónico livro electrónico

7

Adobe ColdFusion Anthology The Best of The Fusion Authority /

Por Dinowitz, Michael., Dinowitz, Michael., Dinowitz, Judith.
Publicado em 2010

Sumário: “... Support in ColdFusion -- Image Processing in ColdFusion -- Essentials to Server Productivity -- Tuning...”
Obter o texto integral

Recurso Electrónico livro electrónico

8

Enterprise Interoperability III New Challenges and Industrial Approaches /

Publicado em 2008

Sumário: “...: Development and Validation -- Interoperability — Network Systems for SMEs -- Engineer to Order Supply Chain...”
Obter o texto integral

Recurso Electrónico livro electrónico

9

Business Information Systems 10th International Conference, BIS 2007, Poznan, Poland, April 25-27, 2007, Proceedings /

Publicado em 2007

Sumário: “... Applications in Java 2 Micro Edition -- Pitfalls of Agent System Development on the Basis of a Travel Support...”
Obter o texto integral

Recurso Electrónico livro electrónico

10

Objects, Components, Models and Patterns 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30-July 4, 2008, Proceedings /

Publicado em 2008

Sumário: “... Composition in Java-Like Languages -- The Meta in Meta-object Architectures -- An AsmL Semantics for Dynamic...”
Obter o texto integral

Recurso Electrónico livro electrónico

11

Proceedings of the Ninth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX. June 30 – July 4, 2014, Brunów, Poland

Publicado em 2014

Sumário: “... for the railway safety management system – first validation results -- Reductions of operators in Java mutation...”
Obter o texto integral

Recurso Electrónico livro electrónico

12

ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers /

Publicado em 2013

Sumário: “... Java Development.- About One Efficient Algorithm for Reachability Checking in Modeling and Its...”
Obter o texto integral

Recurso Electrónico livro electrónico

13

Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings /

Publicado em 2005

Sumário: “... -- XPi: A Typed Process Calculus for XML Messaging -- UML -- Checking the Validity of Scenarios in UML...”
Obter o texto integral

Recurso Electrónico livro electrónico

14

Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings /

Publicado em 2008

Sumário: “... for Maude -- Long-Run Cost Analysis by Approximation of Linear Operators over Dioids -- Towards Validating a...”
Obter o texto integral

Recurso Electrónico livro electrónico

15

Software Technologies for Embedded and Ubiquitous Systems 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 7-8, 2007, Revised Papers /

Publicado em 2007

Sumário: “... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...”
Obter o texto integral

Recurso Electrónico livro electrónico

16

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

Publicado em 2013

Sumário: “... for Large Systems -- Improving Post-silicon Validation Efficiency by Using Pre-generated Data -- Development...”
Obter o texto integral

Recurso Electrónico livro electrónico

17

Simulation, Modeling, and Programming for Autonomous Robots Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012, Proceedings /

Publicado em 2012

Sumário: “... for Robotics -- A Reuse-Oriented Development Process for Component-Based Robotic Systems -- UAV Simulation...”
Obter o texto integral

Recurso Electrónico livro electrónico

18

Fundamental Approaches to Software Engineering 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 20...

Publicado em 2010

Sumário: “... of Evolving Software -- Dynamic Resource Scheduling in Disruption-Prone Software Development Environments...”
Obter o texto integral

Recurso Electrónico livro electrónico

19

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Publicado em 2005

Sumário: “... -- The nomore?+?+ Approach to Answer Set Solving -- Optimizing the Runtime Processing of Types in Polymorphic...”
Obter o texto integral

Recurso Electrónico livro electrónico

20

Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures /

Publicado em 2007

Sumário: “..., Applications, and Tools -- Learning Meets Verification -- Trust and Security -- JACK — A Tool for Validation...”
Obter o texto integral

Recurso Electrónico livro electrónico

Refinar a Pesquisa