Rezultaty - ((function computation) or (functions computational)) programming validating methods case*

Inne możliwości wyszukiwania:
functions computational » functions computation , directions computational , section computational
programming validating » programming evaluating , programming writing , programming balancing
function computation » function computing , function decomposition , section computational
validating methods » validation methods , evaluating methods , aliasing methods

Leveraging Applications of Formal Methods, Verification and Validation Third International...

Wydane 2008

Spis treści: “...-Service Construction -- Applications of Formal Approaches to Service-Oriented Computing -- A Use-Case...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium...

Wydane 2010

Spis treści: “... Software, Data and Knowledge -- HATS: Highly Adaptable and Trustworthy Software Using Formal Methods...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium...

Wydane 2010

Spis treści: “... Development Put into Practice -- Timely Time Estimates -- Compiler-Support for Robust Multi-core Computing...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2014

Spis treści: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Validated Designs for Object-oriented Systems

od Fitzgerald, John., Fitzgerald, John., Larsen, Peter Gorm., Mukherjee, Paul., Plat, Nico., Verhoef, Marcel.
Wydane 2005

Spis treści: “... -- Modelling Object-oriented Systems in VDM++ -- Defining Data -- Defining Functionality -- Modelling Unordered...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings /

Wydane 2007

Spis treści: “... Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings /

Wydane 2015

Spis treści: “... Verification of Functional Behaviour of Concurrent Programs -- Investigating Instrumentation Techniques for ESB...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Intelligent Computing, Networking, and Informatics Proceedings of the International Conference...

Wydane 2014

Spis treści: “... Aggregation in Wireless Sensor Networks -- The Complex Network Analysis of Power Grid: A Case Study...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 /

Wydane 2012

Spis treści: “... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Discrete Geometry for Computer Imagery 12th International Conference, DGCI 2005, Poitiers, France, April 11-13, 2005, Proceedings /

Wydane 2005

Spis treści: “... Validation -- Discrete Hierarchical Geometry -- Hierarchical Watersheds Within the Combinatorial Pyramid...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Intelligent Computing in Engineering and Architecture 13th EG-ICE Workshop 2006, Ascona, Switzerland, June 25-30, 2006, Revised Selected Papers /

Wydane 2006

Spis treści: “... Optimization of Braced Steel Frameworks Using Genetic Programming -- On the Adoption of Computing...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Service-Oriented Computing – ICSOC 2005 Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005, Proceedings /

Wydane 2005

Spis treści: “... -- Toward a Programming Model for Service-Oriented Computing -- Speaking a Common Language: A Conceptual...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Soft Computing for Hybrid Intelligent Systems

Wydane 2008

Spis treści: “... Inference Systems as Integration Methods in Modular Neural Networks for Multimodal Biometry and Its...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Genetic Programming 9th European Conference, EuroGP 2006, Budapest, Hungary, April 10-12, 2006. Proceedings /

Wydane 2006

Spis treści: “... of Simulated Snake-Like Robot -- Evolving Crossover Operators for Function Optimization -- Genetic Programming...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings /

Wydane 2006

Spis treści: “... Fine-Grained Join Point Model for More Reusable Aspects -- Automatic Testing of Higher Order Functions...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2014

Spis treści: “...Part Agile Development -- UX Design in Agile: A DSDM Case Study -- Agile Principles in the Embedded...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Emerging Trends in Computing, Informatics, Systems Sciences, and Engineering

Wydane 2013

Spis treści: “... -- Computer Aided Diagnostic Methods to Forecast Condition-based Maintenance Tasks -- On Numerical Approach...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing 10th International Conference, RSFDGrC...

Wydane 2005

Spis treści: “... Methods in Data Analysis -- Interpretable Rule Extraction and Function Approximation from Numerical Input...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers /

Wydane 2010

Spis treści: “... Systems -- Program Logics for Sequential Higher-Order Control -- Modular Schedulability Analysis...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /

Wydane 2015

Spis treści: “... Generation Tools for the B-Method Using Tests: a Case Study -- Software Validation via Model Animation...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty