Suchergebnisse - "concurrent Java components"

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

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

Autoren: John Ngui Paul A. 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

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

Autoren: Margaret A. Wojcicki Paul A. 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

Testing concurrent Java components

Autoren: Bradley Long

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

Zugangs-URL: https://search.library.uq.edu.au/permalink/f/l3gdeh/61UQ_ALMA21112301160003131

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

Autoren: Brad Long Roger Duke Doug 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

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

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

Weitere Verfasser: Brad Long Paul A. Strooper Luke Wildman 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

Tool support for testing concurrent java components

Autoren: Brad Long Daniel Hoffman Paul A. Strooper et al.

Weitere Verfasser: Brad Long Daniel Hoffman Paul A. Strooper 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

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 A. 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

Dealing with non-determinism in testing concurrent Java components

Autoren: Luke Wildman Brad Long Paul A. 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

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

Testing Concurrent Java Components

Autoren: Strooper, Paul Wildman, Luke

Quelle: 29th International Conference on Software Engineering (ICSE'07 Companion) ; page 161-162

Verfügbarkeit: https://doi.org/10.1109/icsecompanion.2007.74
http://xplorestaging.ieee.org/ielx5/4222653/4222654/04222725.pdf?arnumber=4222725

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

Autoren: Margaret A. Wojcicki Paul A. Strooper Maldonado, J.C.

Weitere Verfasser: Margaret A. Wojcicki Paul A. Strooper 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

A Framework for Model Checking Concurrent Java Components

Autoren: Brad Long The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Brad Long The Pennsylvania State University CiteSeerX Archives

Quelle: http://ojs.academypublisher.com/index.php/jsw/article/download/0408867874/1122/.

Schlagwörter: Index Terms — model checking, concurrency, Java

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.669.5486; http://ojs.academypublisher.com/index.php/jsw/article/download/0408867874/1122/

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.669.5486
http://ojs.academypublisher.com/index.php/jsw/article/download/0408867874/1122/

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

Selecting V&V Technology Combinations: How to Pick a Winner?

Autoren: Strooper, P. Wojcicki, M.A.

Quelle: 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007); 2007, p87-96, 10p

Models@Runtime: The Development and Re-Configuration Management of Python Applications Using Formal Methods.

Autoren: Bouhamed, Mohammed Mounir Díaz, Gregorio Chaoui, Allaoua et al.

Quelle: Applied Sciences (2076-3417); Oct2021, Vol. 11 Issue 20, p9743, 21p

Schlagwörter: PYTHON programming language, PETRI nets, SERVICE level agreements

Model‐based testing of Apache ZooKeeper: Fundamental API usage and watchers.

Autoren: Artho, Cyrille Banzai, Kazuaki Gros, Quentin et al.

Quelle: Software Testing: Verification & Reliability; Nov/Dec2020, Vol. 30, p1-29, 29p

Schlagwörter: SCALABILITY, TELECOMMUNICATION systems

Editorial to theme issue on model-driven engineering of component-based software systems.

Autoren: Ciccozzi, Federico Carlson, Jan Pelliccione, Patrizio et al.

Quelle: Software & Systems Modeling; Feb2019, Vol. 18 Issue 1, p7-10, 4p

Schlagwörter: SOFTWARE engineering, MODEL-driven software architecture, COMPUTER software development, COMPUTER systems, AUTOMATION