Suchergebnisse - concurrent Java components

Testing concurrent Java components

Autoren: Bradley Long

Schlagwörter: Java (Computer program language), 080304 Concurrent Programming, Computer multitasking

A method for verifying concurrent Java components based on an analysis of concurrency failures

Autoren: Long, Brad Strooper, Paul Wildman, Luke et al.

Weitere Verfasser: Long, Brad Strooper, Paul Wildman, Luke et al.

Quelle: Concurrency and Computation: Practice and Experience. 19:281-294

Schlagwörter: Inspections, Design, Theory & Methods, Software Engineering, 02 engineering and technology, testing, 280302 Software Engineering, C1, 700102 Application tools and system utilities, Computer Science, component, 0202 electrical engineering, electronic engineering, information engineering, Programs, concurrency, verification, Java

Synthesis of verifiable concurrent Java components from formal models

Autoren: Julio Mariño Raúl N. N. Alborodo Lars-Åke Fredlund et al.

Quelle: Software & Systems Modeling. 18:71-105

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Tool support for testing concurrent java components

Autoren: Long, B. Hoffman, D. Strooper, P. et al.

Weitere Verfasser: Long, B. Hoffman, D. Strooper, P. et al.

Quelle: IEEE Transactions on Software Engineering. 29:555-566

Schlagwörter: Software Engineering, 02 engineering and technology, Execution, 280302 Software Engineering, Engineering, C1, 700199 Computer software and services not elsewhere classified, Computer Science, Concurrency, Unit Testing, 0202 electrical engineering, electronic engineering, information engineering, Electrical & Electronic, Programs, Component Testing, Tool Support

Comparing the Cost-Effectiveness of Statically Analysing and Model Checking Concurrent Java Components for Deadlocks

Autoren: John Ngui Paul Strooper Luke Wildman et al.

Quelle: 2007 Australian Software Engineering Conference (ASWEC'07). :223-232

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Mutation-based exploration of a method for verifying concurrent java components

Autoren: B. Long R. Duke D. Goldson et al.

Quelle: 18th International Parallel and Distributed Processing Symposium, 2004. Proceedings.. :265-272

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Maximising the information gained from an experimental analysis of code inspection and static analysis for concurrent java components

Autoren: Margaret A. Wojcicki Paul Strooper

Quelle: Proceedings of the 2006 ACM/IEEE international symposium on Empirical software engineering. :174-183

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

A Framework for Model Checking Concurrent Java Components

Autoren: Brad Long

Quelle: Journal of Software. 4

Schlagwörter: 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 01 natural sciences

Testing concurrent java components

Autoren: Paul Strooper Luke Wildman

Quelle: Proceedings of the 28th international conference on Software engineering. :1075-1076

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Maximising the information gained from a study of static analysis technologies for concurrent software

Autoren: Wojcicki, M.A. Strooper, P.A Maldonado, J.C.

Weitere Verfasser: Wojcicki, M.A. Strooper, P.A Maldonado, J.C.

Quelle: Empirical Software Engineering. 12:617-645

Schlagwörter: Testing Strategies, controlled experiment, verification and validation, Framework, Software Engineering, 02 engineering and technology, concurrent Java components, Tools, 280302 Software Engineering, Knowledge, C1, 700102 Application tools and system utilities, Computer Science, Validation, 0202 electrical engineering, electronic engineering, information engineering, Programs, Java Components, Experimentation

Dealing with non-determinism in testing concurrent Java components

Autoren: L. Wildman B. Long P. Strooper

Quelle: 12th Asia-Pacific Software Engineering Conference (APSEC'05). :8

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Testing concurrent Java components

Autoren: Paul Strooper Luke Wildman The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Paul Strooper Luke Wildman The Pennsylvania State University CiteSeerX Archives

Quelle: http://www.irisa.fr/lande/lande/icse-proceedings/icse/p1075.pdf.

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1050.7565

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1050.7565
http://www.irisa.fr/lande/lande/icse-proceedings/icse/p1075.pdf

Maximising the information gained from an experimental analysis of code inspection and static analysis for concurrent Java components

Autoren: Wojcicki, Margaret A. Strooper, Paul G. H. Travassos et al.

Weitere Verfasser: Wojcicki, Margaret A. Strooper, Paul G. H. Travassos et al.

Schlagwörter: Concurrent Java components, Controlled experiment, Verification and validation, 280302 Software Engineering, E1, 700102 Application tools and system utilities, 0803 Computer Software

Relation: orcid:0000-0003-4789-2897

Verfügbarkeit: https://espace.library.uq.edu.au/view/UQ:104279

Testing concurrent Java components

Autoren: Long, Bradley.

Quelle: Testing concurrent Java componentsRead the abstract of the thesis..

Schlagwörter: University of Queensland. Java (Computer program language) Computer multitasking.

Verfügbarkeit: http://www.library.uq.edu.au/pdfserve.php?image=thesisabs/absthe18735.pdf

Towards Exogenous Coordination of Concurrent Cloud Applications.

Autoren: Le-Khanh, Trinh Nguyen, Hoang-Gia Bliudze, Simon et al.

Quelle: International Journal of Software Engineering & Knowledge Engineering; Jan2024, Vol. 34 Issue 1, p1-25, 25p

Schlagwörter: CLOUD computing, MODULAR design

The use of Java in large scientific applications in HPC environments

Autoren: Fries, Aidan

Weitere Verfasser: University/Department: Universitat de Barcelona. Departament d'Astronomia i Meteorologia

Thesis Advisors: aidan.fries@gmail.com, Portell de Mora, Jordi, Sirvent Pardell, Raül, Luri Carrascoso, Xavier

Quelle: TDX (Tesis Doctorals en Xarxa)

Schlagwörter: Java (Llenguatge de programació), Java (Lenguaje de programación), Java (Computer program language), HPC, MPJ, Gaia (Space astronomy mission), Gaia (Misión astronómica espacial), Gaia (Missió astronòmica espacial), Ciències Experimentals i Matemàtiques

Dateibeschreibung: application/pdf

Zugangs-URL: http://hdl.handle.net/10803/98405

A method for verifying concurrent Java components based on an analysis of concurrency failures

Autoren: Long, Brad Strooper, Paul Wildman, Luke et al.

Weitere Verfasser: Long, Brad Strooper, Paul Wildman, Luke et al.

Schlagwörter: Computer Science, Software Engineering, Theory & Methods, concurrency, verification, testing, component, Java, Programs, Inspections, Design, 280302 Software Engineering, C1, 700102 Application tools and system utilities

Relation: orcid:0000-0003-4789-2897

Verfügbarkeit: https://espace.library.uq.edu.au/view/UQ:128138

Comparing the cost-effectiveness of statically analysing and model checking concurrent java components for deadlocks

Autoren: Ngui, J. Strooper, P. A. Wildman, L. et al.

Weitere Verfasser: Ngui, J. Strooper, P. A. Wildman, L. et al.

Schlagwörter: Java PathFinder 2, Code inspection, Multithreading, Static analysis, 280302 Software Engineering, E1, 700102 Application tools and system utilities

Relation: orcid:0000-0003-4789-2897

Verfügbarkeit: https://espace.library.uq.edu.au/view/UQ:135097

Testing concurrent java components

Autoren: Strooper, Paul Wildman, Luke

Schlagwörter: Component, Concurrency, Testing methodology, 1712 Software

Relation: orcid:0000-0003-4789-2897

Verfügbarkeit: https://espace.library.uq.edu.au/view/UQ:b4fe77a

Evaluation of the Antioxidant, Antidiabetic, and Antibacterial Activity of Curcuma domestica, Zingiber officinale, Alpinia galanga, Curcuma xanthorrhiza, and Kaempferia galanga Concurrent With Its Metabolite's Constituent Analysis.

Autoren: Windarsih A Indrianingsih AW Suryani R et al.

Quelle: Chemistry & biodiversity [Chem Biodivers] 2025 Oct; Vol. 22 (10), pp. e00645. Date of Electronic Publication: 2025 May 21.

Publikationsart: Journal Article

Info zur Zeitschrift: Publisher: Verlag Helvetica Chimica Acta Country of Publication: Switzerland NLM ID: 101197449 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1612-1880 (Electronic) Linking ISSN: 16121872 NLM ISO Abbreviation: Chem Biodivers Subsets: MEDLINE

MeSH-Schlagworte: Anti-Bacterial Agents*/pharmacology , Anti-Bacterial Agents*/chemistry , Anti-Bacterial Agents*/isolation & purification , Anti-Bacterial Agents*/metabolism , Hypoglycemic Agents*/pharmacology , Hypoglycemic Agents*/chemistry , Hypoglycemic Agents*/metabolism , Hypoglycemic Agents*/isolation & purification , Antioxidants*/pharmacology , Antioxidants*/chemistry , Antioxidants*/metabolism , Antioxidants*/isolation & purification , Curcuma*/chemistry , Curcuma*/metabolism , Plant Extracts*/chemistry , Plant Extracts*/pharmacology , Plant Extracts*/metabolism , Zingiberaceae*/chemistry , Zingiberaceae*/metabolism , Alpinia*/chemistry , Alpinia*/metabolism, Zingiber officinale/chemistry ; Zingiber officinale/metabolism ; Biphenyl Compounds/antagonists & inhibitors ; Picrates/antagonists & inhibitors ; Rhizome/chemistry ; Phenols/pharmacology ; Phenols/chemistry ; Microbial Sensitivity Tests