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

Synthesis of verifiable concurrent Java components from formal models Autor Mariño, Julio, Alborodo, Raúl N. N., Fredlund, Lars-Åke, Herranz, Ángel

“… In our work, we consider the problem of generating a concurrent Java component from a high-level model of inter-process interaction (i.e., communication…”
Získat plný text

Tool support for testing concurrent Java components Autor Long, B., Hoffman, D., Strooper, P.

“…Concurrent programs are hard to test due to the inherent nondeterminism. This paper presents a method and tool support for testing concurrent Java components…”
Získat plný text

Testing Concurrent Java Components Autor Strooper, Paul, Wildman, Luke

“… (Concurrency Analyser) testing tool supports these techniques for the testing of concurrent Java components and will be discussed and demonstrated in the tutorial…”
Získat plný text

A method for verifying concurrent Java components based on an analysis of concurrency failures Autor Long, Brad, Strooper, Paul, Wildman, Luke

“… In previous work, we have developed the ConAn testing tool for the testing of concurrent Java components…”
Získat plný text

Comparing the Cost-Effectiveness of Statically Analysing and Model Checking Concurrent Java Components for Deadlocks Autor Ngui, J., Strooper, P., Wildman, L., Wojcicki, M.

“… To verify concurrent Java components, the TestCon method combines code inspection, static analysis and dynamic analysis…”
Získat plný text

Dealing with non-determinism in testing concurrent Java components Autor Wildman, L., Long, B., Strooper, P.

“… In this paper, we present and discuss several possible solutions to this problem in the context of testing concurrent Java components using the ConAn testing tool…”
Získat plný text

Maximising the information gained from a study of static analysis technologies for concurrent software Autor Wojcicki, Margaret A., Strooper, Paul

“…The results of empirical studies in Software Engineering are limited to particular contexts, difficult to generalise and the studies themselves are expensive…”
Získat plný text

Infrastructure for the synchronization and coordination of concurrent Java component programs Autor Mitra, Sandeep, Aggarwal, Sudhir

“…), a system incorporating a methodology and toolkit for developing concurrent, coordinating systems in a high-level, component oriented, reusable manner…”
Získat plný text

Mutation-based exploration of a method for verifying concurrent Java components Autor Long, B., Duke, R., Goldson, D., Strooper, P., Wildman, L.

“… In previous work, we proposed a method for verifying concurrent Java components based on a mix of code inspection, static analysis tools, and the ConAn testing tool…”
Získat plný text

Concurrent Testing of Java Components Using Java PathFinder Autor Mutilin, V.

“…Concurrent systems work nondeterministically. For concurrent systems, UniTESK-based test suite executes methods with different parameters in different states…”
Získat plný text

Testing Java interrupts and timed waits Autor Wildman, L., Long, B., Strooper, P.

“… In previous work, we have presented a method and tool support for the testing of concurrent Java components…”
Získat plný text

A concurrent object-based model and its use for coordinating Java components Autor Majoul, S., Percebois, C., Bodeveix, J.-P.

“… Finally, we propose to use the prototype that we carried out as a coordination tool for communicating Java components…”
Získat plný text

Creating components; object oriented, concurrent, and distributed computing in Java

Získat plný text

Selecting V&V Technology Combinations: How to Pick a Winner? Autor Strooper, P., Wojcicki, M.A.

“…Numerous software verification and validation (V&V) techniques and tools exist to analyse requirements, designs and implementations of software systems. These…”
Získat plný text

Communicating Process Architectures 2007: WoTUG-30 Autor McEwan, A. A, Schneider, S, Ifill, W

“…This publication deals with Computer Science and models of Concurrency. It particularly emphasises on hardware/software co-design, and the understanding of…”
Získat plný text

A new function block modeling language based on Petri nets for automatic code generation Autor Hagge, N., Wagner, B.

“… The event-discrete behavior of CNet components is described by a special class of colored Petri nets with timed arcs and sharpened semantics in order to allow automatic generation of possibly concurrent Java code…”
Získat plný text

Slicing concurrent Java programs using Indus and Kaveri Autor Ranganath, Venkatesh Prasad, Hatcliff, John

“… In this paper, we present Indus--a robust framework for analyzing and slicing concurrent Java programs, and Kaveri--a feature-rich Eclipse-based GUI front end for Indus slicing…”
Získat plný text

simpA: An agent-oriented approach for programming concurrent applications on top of Java Autor Ricci, Alessandro, Viroli, Mirko, Piancastelli, Giulio

“…–Java is a main example–with libraries providing fine-grained mechanisms and idioms to support concurrent programming, in particular for building efficient programs…”
Získat plný text

Component-Based Lock Allocation Autor Halpert, R.L., Pickett, C.J.F., Verbrugge, C.

“…The allocation of lock objects to critical sections in concurrent programs affects both performance and correctness…”
Získat plný text

On the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Functional Faults in Concurrent Object-Oriented Software Autor Araujo, Wladimir, Briand, Lionel C., Labiche, Yvan

“…Design by contract (DbC) is a software development methodology that focuses on clearly defining the interfaces between components to produce better quality object-oriented software…”
Získat plný text