Torthaí Cuardaigh - ((function computing) or (functions computation)) programming test methods case*

1

Foilsithe 2006

Clár Ábhair: “... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

2

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

Foilsithe 2015

Clár Ábhair: “... Generation Tools for the B-Method Using Tests: a Case Study -- Software Validation via Model Animation...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

3

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

Foilsithe 2007

Clár Ábhair: “... Automata: The Case of Rule 90 -- Methods and Tools of Parallel Programming of Multicomputers -- Intensive...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

4

Reflections on the Teaching of Programming Methods and Implementations /

Foilsithe 2008

Clár Ábhair: “... -- Experiences with Functional Programming in an Introductory Curriculum -- Learning Programming with the PBL...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

5

Automated model-based test case generation using UML activity diagram

le Monim, Md Abdul
Foilsithe 2018

Ábhair: “...Computer software...”
Faigh an téacs iomlán

Thesis

6

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

Foilsithe 2007

Clár Ábhair: “... Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

7

Computing and Combinatorics 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007, Proceedings /

Foilsithe 2007

Clár Ábhair: “... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

8

Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers /

Foilsithe 2005

Clár Ábhair: “...Symbolic Test Generation -- Test Generation Based on Symbolic Specifications -- Symbolic Test Case...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

9

Electronic Engineering and Computing Technology

Foilsithe 2010

Clár Ábhair: “... Without Prior Fault Data -- Models of Computation for Heterogeneous Embedded Systems -- A Quotient-Graph...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

10

Innovations in Computing Sciences and Software Engineering

Foilsithe 2010

Clár Ábhair: “... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

11

Computer Safety, Reliability, and Security 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings /

Foilsithe 2005

Clár Ábhair: “... Testing on Function Block Diagrams -- Comparing Software Measures with Fault Counts Derived from Unit...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

12

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

Foilsithe 2007

Clár Ábhair: “...Safety Cases -- Establishing Evidence for Safety Cases in Automotive Systems – A Case Study -- Goal...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

13

Computer Safety, Reliability, and Security 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings /

Foilsithe 2008

Clár Ábhair: “... Cases -- Constructing a Safety Case for Automatically Generated Code from Formal Program Verification...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

14

Advances in Computation and Intelligence Second International Symposium, ISICA 2007, Wuhan, China, September 21-23, 2007, Proceedings /

Foilsithe 2007

Clár Ábhair: “... Theorem Proving Method Using Logical Reinforcement Learning -- Gene Expression Programming with DAG...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

15

Advances in Communication and Computing

Foilsithe 2015

Clár Ábhair: “... Test Cases Minimization for Object Oriented Programs....”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

16

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

Foilsithe 2015

Clár Ábhair: “... -- Memory Management Test-Case Generation of C Programs using Bounded Model Checking -- Techniques...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

17

Computer Safety, Reliability, and Security 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010, Proceedings /

Foilsithe 2010

Clár Ábhair: “...- and ANBDmem-Encoding: Detecting Hardware Errors in Software -- Session 5 -- Field Test Methods for a Co...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

18

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

Foilsithe 2014

Clár Ábhair: “... Aggregation in Wireless Sensor Networks -- The Complex Network Analysis of Power Grid: A Case Study...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

19

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory...

Foilsithe 2010

Clár Ábhair: “... -- Web Science: The Digital-Heritage Case -- Model-Driven Software Product Line Testing: An Integrated...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

20

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

Foilsithe 2012

Clár Ábhair: “... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Cuardach Cúng