Torthaí Cuardaigh - interaction education program generating java https

Cuardaigh malartuithe:
interaction education » interactive education , intervention education , international education
program generating » programs generating , program generation , problem generating
generating java » generating data , generating a , generating fast
https » http

FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings /

Foilsithe 2006

Clár Ábhair: “... Reasoning About Non-atomic Java Card Methods in Dynamic Logic -- Programming Languages -- Formal...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Advances in Web Based Learning -- ICWL 2006 5th International Conference, Penang, Malaysia, July 19-21, 2006, Revised Papers /

Foilsithe 2006

Clár Ábhair: “... -- Courseware Recommendation in E-Learning System -- A Model for Personalized Course Material Generation Based...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008, Proceedings /

Foilsithe 2008

Clár Ábhair: “... in Aspect-Oriented Modeling -- Mapping the UML2 Semantics of Associations to a Java Code Generation Model...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Software Engineering Techniques: Design for Quality

Foilsithe 2007

Clár Ábhair: “... -- An Integrated Regression Testing Framework to Multi-Threaded Java Programs -- DynAlloy as a Formal Method...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings /

Foilsithe 2014

Clár Ábhair: “... Teaching Materials Using KETpic -- IFSGen4LATEX: Interactive Graphical User Interface For Generation...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part IV /

Foilsithe 2007

Clár Ábhair: “... Logical Rule Generations Based on the Genetic Programming and Its Applications to Data Mining...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Advances in Web Based Learning - ICWL 2008 7th International Conference, Jinhua, China, August 20-22, 2008, Proceedings /

Foilsithe 2008

Clár Ábhair: “...-Learning Issues under an Affective Perspective -- Recommendation in Education Portal by Relation Based...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Innovations and Advances in Computer, Information, Systems Sciences, and Engineering

Foilsithe 2013

Clár Ábhair: “... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Cuardach Cúng