Søgeresultater - ((functions computation) or (structure function)) programming testing methods tools*

1

Udgivet 2006

Indholdsfortegnelse: “...TOPOLOGICAL OPTIMIZATION OF CONTINUUM STRUCTURE WITH GLOBAL STRESS CONSTRAINTS BASED ON ICM METHOD...”
Få fuldtekst

Electronisk eBog

2

Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013...

Udgivet 2014

Indholdsfortegnelse: “...Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification...”
Få fuldtekst

Electronisk eBog

3

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

Udgivet 2015

Indholdsfortegnelse: “... Generation for Concurrent Systems Using Event Structures -- Fast Model-Based Fault Localisation with Test...”
Få fuldtekst

Electronisk eBog

4

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

Udgivet 2012

Indholdsfortegnelse: “... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...”
Få fuldtekst

Electronisk eBog

5

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

Udgivet 2008

Indholdsfortegnelse: “...Invited Talks -- How Can We Make Industry Adopt Formal Methods? -- Programmers Ain’t Mathematicians...”
Få fuldtekst

Electronisk eBog

6

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I /

Udgivet 2015

Indholdsfortegnelse: “... via Primal-Dual Method -- What Percentage of Programs Halt? -- The Parity of Set Systems Under Random...”
Få fuldtekst

Electronisk eBog

7

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Få fuldtekst

Electronisk eBog

8

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

Udgivet 2014

Indholdsfortegnelse: “... Computational Model to Find Semantic Similarity -- Energy Efficient Cluster Based Aggregation Protocol (EECAP...”
Få fuldtekst

Electronisk eBog

9

Innovations in Computing Sciences and Software Engineering

Udgivet 2010

Indholdsfortegnelse: “... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...”
Få fuldtekst

Electronisk eBog

10

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

Udgivet 2007

Indholdsfortegnelse: “... for Nuclear Digital Protection System -- Specification of a Software Common Cause Analysis Method -- Combining...”
Få fuldtekst

Electronisk eBog

11

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

Udgivet 2007

Indholdsfortegnelse: “... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”
Få fuldtekst

Electronisk eBog

12

Agile Processes in Software Engineering and Extreme Programming 9th International Conference, XP 2008, Limerick, Ireland, June 10-14, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... -- Adaptation of Agile -- Method Configuration: The eXtreme Programming Case -- Adopting Agile in a Large...”
Få fuldtekst

Electronisk eBog

13

Theoretical Aspects of Computing -- ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings /

Udgivet 2013

Indholdsfortegnelse: “...-Physical Systems -- Embedding Functions into Disjunctive Logic Programs -- Reactive Designs of Interrupts...”
Få fuldtekst

Electronisk eBog

14

Recent Advances in Parallel Virtual Machine and Message Passing Interface 15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”
Få fuldtekst

Electronisk eBog

15

Advanced Techniques in Computing Sciences and Software Engineering

Udgivet 2010

Indholdsfortegnelse: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
Få fuldtekst

Electronisk eBog

16

Algorithms in Bioinformatics 7th International Workshop, WABI 2007, Philadelphia, PA, USA, September 8-9, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “... and Computing Optimum RMSD for Gapped Multiple Structure Alignment -- Using Protein Domains to Improve...”
Få fuldtekst

Electronisk eBog

17

Antibiotic Resistance Methods and Protocols

Udgivet 2001

Indholdsfortegnelse: “... Structure Function Relationships in Streptococcus pneumoniae Penicillin-Binding Protein Genes -- Detection...”
Få fuldtekst

Electronisk eBog

18

Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... Conformance Checking of Recursive and Parallel Component-Based Systems -- Structural Testing of Component...”
Få fuldtekst

Electronisk eBog

19

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

Udgivet 2010

Indholdsfortegnelse: “... -- Fundamental Concepts for the Structuring of Functionality into Modular Parts....”
Få fuldtekst

Electronisk eBog

20

Mathematical and Statistical Methods for Actuarial Sciences and Finance

Udgivet 2014

Indholdsfortegnelse: “...Weak form efficiency of selected European stock markets: alternative testing approaches (G. Albano...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning