בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
programs communicating » program communicating, programming communicating, process communicating
functionality testing » functionality setting, functional testing, functionality using
communicating https » communications https, communication https, communication http
https functionality » its functionality, bags functionality, cross functionality
testing https » teaching https, being https, writing https
1
תמונות העטיפה
יצא לאור 2008
תוכן הענינים: “... Verification of C Programs -- Test Construction for Mathematical Functions -- Model-Based Testing Service...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
2
תמונות העטיפה
יצא לאור 2008
תוכן הענינים: “... to Combinatorial Testing with Constraints -- Functional Testing in the Focal Environment -- Bounded Relational...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
3
תמונות העטיפה
יצא לאור 2010
תוכן הענינים: “... Pairwise for Features Coverage -- Increasing Functional Coverage by Inductive Testing: A Case Study...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
4
תמונות העטיפה
יצא לאור 2014
תוכן הענינים: “... Environment -- Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study -- What...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
5
תמונות העטיפה
יצא לאור 2014
תוכן הענינים: “... Systems -- DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
6
תמונות העטיפה
יצא לאור 2013
תוכן הענינים: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
7
תמונות העטיפה
יצא לאור 2010
תוכן הענינים: “... Cover on k-Partite k-Uniform Hypergraphs -- Dynamic Programming for Graphs on Surfaces -- Interval...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
8
תמונות העטיפה
יצא לאור 2014
תוכן הענינים: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
9
תמונות העטיפה
יצא לאור 2010
תוכן הענינים: “... with Separation Logic -- A PolyTime Functional Language from Light Linear Logic -- Testing Polymorphic Properties...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
10
תמונות העטיפה
יצא לאור 2015
תוכן הענינים: “... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
11
תמונות העטיפה
יצא לאור 2013
תוכן הענינים: “... Satisfiability -- Quantified Maximum Satisfiability: A Core-Guided Approach -- Nested Boolean Functions as Models...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
12
תמונות העטיפה
יצא לאור 2013
תוכן הענינים: “... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
13
תמונות העטיפה
יצא לאור 2008
תוכן הענינים: “... Functional Programs -- Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
14
תמונות העטיפה
יצא לאור 2006
תוכן הענינים: “...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
15
תמונות העטיפה
יצא לאור 2007
תוכן הענינים: “... Assembly Languages for Confidentiality -- A Novel Test Case Generation Method for Prolog Programs Based...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
16
תמונות העטיפה
יצא לאור 2007
תוכן הענינים: “... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
17
תמונות העטיפה
מאת Pratt, Deirdre., Pratt, Deirdre.
יצא לאור 2011
תוכן הענינים: “... 5: Testing out the User's Model -- Chapter 6: The Theoretical Model of Composing -- Chapter 7...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
18
תמונות העטיפה
יצא לאור 2006
תוכן הענינים: “... Based Envelope Protocols -- Defining and Measuring Policy Coverage in Testing Access Control Policies...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
19
תמונות העטיפה
יצא לאור 2015
תוכן הענינים: “... Test Cases Minimization for Object Oriented Programs....”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
20
תמונות העטיפה
יצא לאור 2012
תוכן הענינים: “... Filtering Optimization Using Statistical Traffic Awareness Test -- Group Behavior Metrics for P2P Botnet...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
כלי חיפוש: קבל רסס (RSS) — שליחת חיפוש דרך דואל — שמירת חיפוש