Works matching DE "JAVA programming language"

Results: 1845

Language learning with interactive virtual agent scenarios and speech recognition: Lessons learned.

Published in:

Computer Animation & Virtual Worlds, 2008, v. 19, n. 5, p. 605, doi. 10.1002/cav.265

By:

Anderson, James N.;
Davidson, Nancie;
Morton, Hazel;
Jack, Mervyn A.

Publication type:

Article

KEEL Data-Mining Software Tool: Data Set Repository, Integration of Algorithms and Experimental Analysis Framework.

Published in:

Journal of Multiple-Valued Logic & Soft Computing, 2011, v. 17, n. 2-3, p. 255

By:

Alcalá-fdez, J.;
Fernández, A.;
Luengo, J.;
Derrac, J.;
García, S.;
Sánchez, L.;
Herrera, F.

Publication type:

Article

An Automated Assessment System for Analysis of Coding Convention Violations in Java Programming Assignments.

Published in:

Journal of Information Science & Engineering, 2018, v. 34, n. 5, p. 1203, doi. 10.6688/JISE.201809_34(5).0006

By:

HSI-MIN CHEN;
WEI-HAN CHEN;
CHI-CHEN LEE

Publication type:

Article

Applying Input-Output Tree to the Implementation of a Rapid Prototyping Tool for Java Web Applications.

Published in:

Journal of Information Science & Engineering, 2014, v. 30, n. 1, p. 125

By:

CHUN-FENG HSIAO;
CHIH-PING CHU

Publication type:

Article

Smart Door: A Ubiquitous Collaboration System for Home Activities in the Smart Home.

Published in:

Journal of Information Science & Engineering, 2013, v. 29, n. 6, p. 1227

By:

YUAN-CHIH YU;
SHINGCHERN D. YOU;
DWEN-REN TSAI

Publication type:

Article

A New Concave Hull Algorithm and Concaveness Measure for n-dimensional Datasets.

Published in:

Journal of Information Science & Engineering, 2013, v. 29, n. 2, p. 379

By:

JIN-SEO PARK;
SE-JONG OH

Publication type:

Article

A New Concave Hull Algorithm and Concaveness Measure for n-dimensional Datasets.

Published in:

Journal of Information Science & Engineering, 2012, v. 28, n. 3, p. 587

By:

Jin-Seo Park;
Se-Jong Oh

Publication type:

Article

Preventing Information Leakage in Mobile Applications with Object-Oriented Access Control Lists and Security Monitor Encapsulation.

Published in:

Journal of Information Science & Engineering, 2009, v. 25, n. 6, p. 1921

By:

SHIOW-YANG WU;
SHIH-CHIEN CHOU

Publication type:

Article

A Distributed Multi-Dimensional Publications Management System.

Published in:

Journal of Information Science & Engineering, 2009, v. 25, n. 5, p. 1539

By:

TSUNG-YUAN LIU;
YUH-JZER JOUNG

Publication type:

Article

Impromptu Service Discovery and Delivery in Mobile Environments.

Published in:

Journal of Information Science & Engineering, 2008, v. 24, n. 6, p. 1733

By:

CHOONHWA LEE;
SUMI HELAL;
NORDSTEDT, DAVID;
Tei-Kei Kuo

Publication type:

Article

Integration of Specification-based and CR-based Approaches for GUI Testing.

Published in:

Journal of Information Science & Engineering, 2008, v. 24, n. 5, p. 1293

By:

WOEI-KAE CHEN;
ZHENG-WEN SHEN;
TUNG-HUNG TSAI

Publication type:

Article

The Microsoft Litigation's Lessons for United States v. Google.

Published in:

University of Miami Law Review, 2023, v. 77, n. 2, p. 319

By:

LOPATKA, JOHN E.;
PAGE, WILLIAM H.

Publication type:

Article

Baking cakes and making modeling software.

Published in:

ASHRAE Journal, 2004, v. 46, n. 6, p. 56

By:

Vaughan, Jack

Publication type:

Article

Banker builds 'dream' data abstraction layer.

Published in:

ASHRAE Journal, 2004, v. 46, n. 6, p. 54

By:

Seeley, Rich

Publication type:

Article

Tools and Technologies.

Published in:: ASHRAE Journal, 2004, v. 46, n. 6, p. 52
Publication type:: Article

Application Management/ Deployment.

Published in:: ASHRAE Journal, 2004, v. 46, n. 6, p. 52
Publication type:: Article

Mercury Performance Center.

Published in:: ASHRAE Journal, 2004, v. 46, n. 6, p. 51
Publication type:: Article

SpectrumSCM offers cross-platform value.

Published in:

ASHRAE Journal, 2004, v. 46, n. 6, p. 50

By:

Gunderloy, Mike

Publication type:

Article

BEA, IBM OFFER BP ADD-ON FOR JAVA.

Published in:

ASHRAE Journal, 2004, v. 46, n. 6, p. 25

By:

Waters, John K.

Publication type:

Article

AS J2EE 1.4 DEBUTS, FOCUS MOVES TO TOOLS.

Published in:

ASHRAE Journal, 2004, v. 46, n. 6, p. 25

By:

Waters, John K.

Publication type:

Article

ORACLE RELEASES JDEVELOPER 1OG.

Published in:

ASHRAE Journal, 2004, v. 46, n. 6, p. 25

By:

Waters, John K.

Publication type:

Article

VENDOR TOOL APPROACHES TO EASING EJB DEVELOPMENT.

Published in:

ASHRAE Journal, 2004, v. 46, n. 6, p. 24

By:

Seeley, Rich

Publication type:

Article

Simple EJB Is It Ready Yet?

Published in:

ASHRAE Journal, 2004, v. 46, n. 6, p. 20

By:

Ambrosio, Johanna

Publication type:

Article

Can EJB be fixed?

Published in:

2004

By:

Bucken, Michael W.

Publication type:

Editorial

Optimization of Multidimensional Clinical Information System for Schizophrenia.

Published in:

Complexity, 2021, p. 1, doi. 10.1155/2021/1744155

By:

Jiang, Yu;
Yu, Hang;
Jiang, Jun

Publication type:

Article

Probabilistic verification and synthesis of the next generation airborne collision avoidance system.

Published in:

International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 2, p. 227, doi. 10.1007/s10009-015-0388-8

By:

Essen, Christian;
Giannakopoulou, Dimitra

Publication type:

Article

A blueprint for system-level performance modeling of software-intensive embedded systems.

Published in:

International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 1, p. 21, doi. 10.1007/s10009-014-0340-3

By:

Hendriks, Martijn;
Basten, Twan;
Verriet, Jacques;
Brassé, Marco;
Somers, Lou

Publication type:

Article

KIV: overview and VerifyThis competition.

Published in:

International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 6, p. 677, doi. 10.1007/s10009-014-0308-3

By:

Ernst, Gidon;
Pfähler, Jörg;
Schellhorn, Gerhard;
Haneberg, Dominik;
Reif, Wolfgang

Publication type:

Article

Solving the VerifyThis 2012 challenges with VeriFast.

Published in:

International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 6, p. 659, doi. 10.1007/s10009-014-0310-9

By:

Jacobs, Bart;
Smans, Jan;
Piessens, Frank

Publication type:

Article

Witnessing the elimination of magic wands.

Published in:

International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 6, p. 757, doi. 10.1007/s10009-015-0372-3

By:

Blom, Stefan;
Huisman, Marieke

Publication type:

Article

Implementation-level verification of algorithms with KeY.

Published in:

International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 6, p. 729, doi. 10.1007/s10009-013-0293-y

By:

Bruns, Daniel;
Mostowski, Wojciech;
Ulbrich, Mattias

Publication type:

Article

On piggyback runtime monitoring of object-oriented programs.

Published in:

International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 2, p. 125, doi. 10.1007/s10009-014-0326-1

By:

Hallé, Sylvain;
Vallet, Jason;
Tremblay-Lessard, Raphaël

Publication type:

Article

Survey on test data generation tools.

Published in:

International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 6, p. 727, doi. 10.1007/s10009-013-0272-3

By:

Galler, Stefan;
Aichernig, Bernhard

Publication type:

Article

Thoughtful brute-force attack of the RERS 2012 and 2013 Challenges.

Published in:

International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 5, p. 481, doi. 10.1007/s10009-014-0324-3

By:

Pol, Jaco;
Ruys, Theo;
Brinke, Steven

Publication type:

Article

Combining static analysis and state transition graphs for verification of event-condition-action systems in the RERS 2012 and 2013 challenges.

Published in:

International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 5, p. 493, doi. 10.1007/s10009-014-0338-x

By:

Schordan, Markus;
Prantl, Adrian

Publication type:

Article

More testable properties.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 4, p. 407, doi. 10.1007/s10009-011-0220-z

By:

Falcone, Yliès;
Fernandez, Jean-Claude;
Jéron, Thierry;
Marchand, Hervé;
Mounier, Laurent

Publication type:

Article

Model generation for quantified formulas with application to test data generation.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 4, p. 439, doi. 10.1007/s10009-012-0227-0

By:

Gladisch, Christoph

Publication type:

Article

An overview of the MOP runtime verification framework.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 3, p. 249, doi. 10.1007/s10009-011-0198-6

By:

Meredith, Patrick;
Jin, Dongyun;
Griffith, Dennis;
Chen, Feng;
Roşu, Grigore

Publication type:

Article

The common aspect proof environment.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 1, p. 41, doi. 10.1007/s10009-011-0191-0

By:

Katz, Shmuel;
Faitelson, David

Publication type:

Article

Finding concurrency-related bugs using random isolation.

Published in:

International Journal on Software Tools for Technology Transfer, 2011, v. 13, n. 6, p. 495, doi. 10.1007/s10009-011-0197-7

By:

Kidd, Nicholas;
Reps, Thomas;
Dolby, Julian;
Vaziri, Mandana

Publication type:

Article

Preface to a special section on verification, model checking, and abstract interpretation.

Published in:

International Journal on Software Tools for Technology Transfer, 2011, v. 13, n. 6, p. 491, doi. 10.1007/s10009-011-0214-x

By:

Jones, Neil;
Müller-Olm, Markus

Publication type:

Article

Scenario-based testing from UML/OCL behavioral models.

Published in:

International Journal on Software Tools for Technology Transfer, 2011, v. 13, n. 5, p. 431, doi. 10.1007/s10009-011-0189-7

By:

Castillos, Kalou;
Dadeau, Frédéric;
Julliand, Jacques

Publication type:

Article

Deductive software verification.

Published in:

International Journal on Software Tools for Technology Transfer, 2011, v. 13, n. 5, p. 397, doi. 10.1007/s10009-011-0211-0

By:

Filliâtre, Jean-Christophe

Publication type:

Article

Improved usability and performance of SMT solvers for debugging specifications.

Published in:

International Journal on Software Tools for Technology Transfer, 2010, v. 12, n. 6, p. 467, doi. 10.1007/s10009-010-0138-x

By:

Cok, David R.

Publication type:

Article

Towards an industrial grade IVE for Java and next generation research platform for JML.

Published in:

International Journal on Software Tools for Technology Transfer, 2010, v. 12, n. 6, p. 429, doi. 10.1007/s10009-010-0164-8

By:

Chalin, Patrice;
Robby;
James, Perry R.;
Jooyong Lee;
Karabotsos, George

Publication type:

Article

From objects to services: toward a stepwise migration approach for Java applications.

Published in:

International Journal on Software Tools for Technology Transfer, 2009, v. 11, n. 6, p. 427, doi. 10.1007/s10009-009-0123-4

By:

Marchetto, Alessandro;
Ricca, Filippo

Publication type:

Article

A survey of new trends in symbolic execution for software testing and analysis.

Published in:

International Journal on Software Tools for Technology Transfer, 2009, v. 11, n. 4, p. 339, doi. 10.1007/s10009-009-0118-1

By:

Păsăreanu, Corina;
Visser, Willem

Publication type:

Article

Symbolic execution with abstraction.

Published in:

International Journal on Software Tools for Technology Transfer, 2009, v. 11, n. 1, p. 53, doi. 10.1007/s10009-008-0090-1

By:

Anand, Saswat;
Păsăreanu, Corina;
Visser, Willem

Publication type:

Article

Slicing concurrent Java programs using Indus and Kaveri.

Published in:

International Journal on Software Tools for Technology Transfer, 2007, v. 9, n. 5/6, p. 489, doi. 10.1007/s10009-007-0043-0

By:

Ranganath, Venkatesh;
Hatcliff, John

Publication type:

Article

Model-driven development of reactive information systems: from graph transformation rules to JML contracts.

Published in:

International Journal on Software Tools for Technology Transfer, 2007, v. 9, n. 2, p. 193, doi. 10.1007/s10009-006-0020-z

By:

Heckel, Reiko;
Lohmann, Marc

Publication type:

Article