Výsledky vyhledávání - "concurrent Java components"

Upřesnit hledání
  1. 1

    Synthesis of verifiable concurrent Java components from formal models

    Autoři: Julio Mariño Raúl N. N. Alborodo Lars-Åke Fredlund a další

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

    Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  2. 2

    Testing concurrent Java components

    Autoři: Bradley Long

    Témata: Java (Computer program language), 080304 Concurrent Programming, Computer multitasking

    Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  3. 3

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

    Autoři: Long, Brad Strooper, Paul Wildman, Luke a další

    Přispěvatelé: Long, Brad Strooper, Paul Wildman, Luke a další

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

    Témata: 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

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  4. 4

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

    Autoři: John Ngui Paul Strooper Luke Wildman a další

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

    Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

    Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  5. 5

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

    Autoři: Margaret A. Wojcicki Paul Strooper

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

    Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

    Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  6. 6

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

    Autoři: B. Long R. Duke D. Goldson a další

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

    Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

    Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  7. 7

    Tool support for testing concurrent java components

    Autoři: Long, B. Hoffman, D. Strooper, P. a další

    Přispěvatelé: Long, B. Hoffman, D. Strooper, P. a další

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

    Témata: 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

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  8. 8

    A Framework for Model Checking Concurrent Java Components

    Autoři: Brad Long

    Zdroj: Journal of Software. 4

    Témata: 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 01 natural sciences

    Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  9. 9

    Testing concurrent java components

    Autoři: Paul Strooper Luke Wildman

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

    Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

    Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  10. 10

    Dealing with non-determinism in testing concurrent Java components

    Autoři: L. Wildman B. Long P. Strooper

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

    Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

    Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  11. 11

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

    Autoři: Wojcicki, Margaret A. Strooper, Paul G. H. Travassos a další

    Přispěvatelé: Wojcicki, Margaret A. Strooper, Paul G. H. Travassos a další

    Témata: 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

    Dostupnost: https://espace.library.uq.edu.au/view/UQ:104279

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  12. 12

    Testing concurrent Java components

    Autoři: Paul Strooper Luke Wildman The Pennsylvania State University CiteSeerX Archives

    Přispěvatelé: Paul Strooper Luke Wildman The Pennsylvania State University CiteSeerX Archives

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

    Popis souboru: application/pdf

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

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

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  13. 13

    Testing concurrent Java components

    Autoři: Long, Bradley.

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

    Témata: University of Queensland. Java (Computer program language) Computer multitasking.

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

    View record from Networked Digital Library of Theses & Dissertations Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  14. 14

    Testing concurrent Java components

    Autoři: Strooper, Paul Wildman, Luke

    Témata: 1712 Software

    Relation: orcid:0000-0003-4789-2897

    Dostupnost: https://espace.library.uq.edu.au/view/UQ:693620

    View record from BASE Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  15. 15

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

    Autoři: Ngui, J. Strooper, P. A. Wildman, L. a další

    Přispěvatelé: Ngui, J. Strooper, P. A. Wildman, L. a další

    Témata: Java PathFinder 2, Code inspection, Multithreading, Static analysis, 280302 Software Engineering, E1, 700102 Application tools and system utilities

    Relation: orcid:0000-0003-4789-2897

    Dostupnost: https://espace.library.uq.edu.au/view/UQ:135097

    View record from BASE Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  16. 16

    Testing concurrent java components

    Autoři: Strooper, Paul Wildman, Luke

    Témata: Component, Concurrency, Testing methodology, 1712 Software

    Relation: orcid:0000-0003-4789-2897

    Dostupnost: https://espace.library.uq.edu.au/view/UQ:b4fe77a

    View record from BASE Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  17. 17

    Dealing with non-determinism in testing concurrent java components

    Autoři: Wildman, Luke Long, Brad Strooper, Paul a další

    Přispěvatelé: Wildman, Luke Long, Brad Strooper, Paul a další

    Témata: Java, Distributed programming, Object-oriented programming, Program testing, Software tools, 280302 Software Engineering, E1, 700102 Application tools and system utilities

    Relation: orcid:0000-0003-4789-2897

    Dostupnost: https://espace.library.uq.edu.au/view/UQ:102600

    View record from BASE Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  18. 18

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

    Autoři: Long, Brad Duke, Roger Goldson, Doug a další

    Témata: 2200 Engineering

    Relation: orcid:0000-0003-4789-2897

    Dostupnost: https://espace.library.uq.edu.au/view/UQ:9f65dba

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  19. 19

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

    Autoři: Long, B. J. Duke, R. W. Goldson, D. W. a další

    Přispěvatelé: Long, B. J. Duke, R. W. Goldson, D. W. a další

    Témata: 280302 Software Engineering, E1, 700199 Computer software and services not elsewhere classified

    Relation: orcid:0000-0003-4789-2897

    Dostupnost: https://espace.library.uq.edu.au/view/UQ:100723

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  20. 20

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

    Autoři: Long, Brad Strooper, Paul Wildman, Luke a další

    Přispěvatelé: Long, Brad Strooper, Paul Wildman, Luke a další

    Témata: 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

    Dostupnost: https://espace.library.uq.edu.au/view/UQ:128138

    View record from BASE Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených

Vyhledávací nástroje: