Arama Sonuçları - ((function composition) or (function compositional)) programming testing methods tools*

Şunu mu demek istediniz:
function compositional » functions composition , function computational , functionally compositional
function composition » functions composition , function decomposition , functional composition
programming testing » programming designing , programming reasoning , programming extending
testing methods » tests methods , test methods , learning methods

Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods...

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Testing -- Verification 1 -- Decomposition for Compositional Verification -- A Formal Soundness Proof...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2012

İçindekiler: “... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...”
Tam Metin Erişim

Elektronik Ekitap

Formal Methods and Software Engineering 15th International Conference on Formal EngineeringMethods...

Baskı/Yayın Bilgisi 2013

İçindekiler: “... and Non-functional Requirements of Web Service Composition -- vTRUST: A Formal Modeling and Verification...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Methods -- Composition of Web Services Using Wrappers....”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “...-Time Scheduling Theory Feasibility Tests with the Use of Design-Patterns -- Seamless Model-Driven...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2014

İçindekiler: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... for Testing Asynchronous Creol Components -- Compositional Strategy Mapping -- A Sound Analysis for Secure...”
Tam Metin Erişim

Elektronik Ekitap

Reuse of Off-the-Shelf Components 9th International Conference on Software Reuse, ICSR 2006, Torino, Italy, June 12-15, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “...-Oriented Programming -- Comparing White-Box, Black-Box, and Glass-Box Composition of Aspect Mechanisms...”
Tam Metin Erişim

Elektronik Ekitap

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Practical Single Refinement Method for B -- The Composition of Event-B Models -- Reconciling Axiomatic...”
Tam Metin Erişim

Elektronik Ekitap

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “...Invited Talks -- Tests, Proofs and Refinements -- Formal Verification and Biology -- Trust...”
Tam Metin Erişim

Elektronik Ekitap

Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Complexity: Dependability Confirmation for a Railway Brake System -- Compositional Temporal Fault Tree...”
Tam Metin Erişim

Elektronik Ekitap

Formal Techniques for Networked and Distributed Systems - FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Programs -- State Isomorphism in Model Programs with Abstract Data Structures -- Composition of Model...”
Tam Metin Erişim

Elektronik Ekitap

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”
Tam Metin Erişim

Elektronik Ekitap

Web Engineering 7th International Conference, ICWE 2007, Como, Italy, July 16-20, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “...On Embedding Task Memory in Services Composition Frameworks -- A QoS Test-Bed Generator for Web...”
Tam Metin Erişim

Elektronik Ekitap

Bioinformatics Research and Applications Third International Symposium,ISBRA 2007, Atlanta, GA, USA, May 7-10, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Parsimonious Phylogenetic Tree Via Linear Programming -- A Multi-Stack Based Phylogenetic Tree Building Method...”
Tam Metin Erişim

Elektronik Ekitap

Advanced Data Mining and Applications 6th International Conference, ADMA 2010, Chongqing, China, November 19-21, 2010, Proceedings, Part II /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Basic Function Neural Networks Based on Artificial Immune Networks -- Spatial Filter Selection...”
Tam Metin Erişim

Elektronik Ekitap

Digital Product and Process Development Systems IFIP TC 5 International Conference, NEW PROLAMAT 2013, Dresden, Germany, October 10-11, 2013, Proceedings /

Baskı/Yayın Bilgisi 2013

İçindekiler: “... Management Process -- Improving the Usability of Collaboration Methods and Technologies in Engineering...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt