Sciweavers

717 search results - page 18 / 144
» Concurrent Engineering
Sort
View
ARES
1998
Springer
13 years 12 months ago
A Model of Interaction in Concurrent and Distributed Systems
Distributed programming environments commonly restrict programmers to one form of intercomponent interaction. This forces programmers to emulate other interaction styles in terms o...
Nat Pryce, Steve Crane
CAV
2006
Springer
209views Hardware» more  CAV 2006»
13 years 11 months ago
CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools
CUTE, a Concolic Unit Testing Engine for C and Java, is a tool to systematically and automatically test sequential C programs (including pointers) and concurrent Java programs. CUT...
Koushik Sen, Gul Agha
CCECE
2006
IEEE
14 years 1 months ago
Software Architecture with Visual Frameworks
We present an overview of a software architecting method and visual language we call Visual Frameworks. The method creates concrete, strongly typed software architectures throu...
Paul Tarvydas, Norm Sanford
KBSE
1997
IEEE
13 years 12 months ago
Modular Flow Analysis for Concurrent Software
Modern software systems are designed and implemented in a modular fashion by composing individual components. Early validation of individual module designs and implementations off...
Matthew B. Dwyer
COMPSAC
2003
IEEE
14 years 1 months ago
A Strategy for Selecting Synchronization Sequences to Test Concurrent Object-Oriented Software
Testing is the most commonly used approach to the assurance of software quality and reliability. The testing of object-oriented software is much more complex than that of conventi...
Huo Yan Chen, Yu Xia Sun, T. H. Tse