Sciweavers

1631 search results - page 135 / 327
» Classifying Software Components Using Design Characteristics
Sort
View
ICSE
2003
IEEE-ACM
16 years 2 months ago
Architectural Level Risk Assessment Tool Based on UML Specifications
Recent evidences indicate that most faults in software systems are found in only a few of a system's components [1]. The early identification of these components allows an or...
T. Wang, Ahmed E. Hassan, Ajith Guedem, Walid Abde...
ICRA
2007
IEEE
111views Robotics» more  ICRA 2007»
15 years 8 months ago
Using COTS to Construct a High Performance Robot Arm
Abstract— In this paper we present a design study and technical specifications of a high performance robotic manipulator to be used for ball catching experiments using commercia...
Christian Smith, Henrik I. Christensen
134
Voted
CCS
2009
ACM
15 years 6 months ago
On voting machine design for verification and testability
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
Cynthia Sturton, Susmit Jha, Sanjit A. Seshia, Dav...
115
Voted
TSE
2011
114views more  TSE 2011»
14 years 9 months ago
Loupe: Verifying Publish-Subscribe Architectures with a Magnifying Lens
Abstract— The Publish-Subscribe (P/S) communication paradigm fosters high decoupling among distributed components. This facilitates the design of dynamic applications, but also i...
Luciano Baresi, Carlo Ghezzi, Luca Mottola
SCESM
2006
ACM
247views Algorithms» more  SCESM 2006»
15 years 8 months ago
Automating software architecture exploration with M2Aspects
An important step in the development of large-scale distributed reactive systems is the design of effective system architectures. The early availability of prototypes facilitates...
Ingolf H. Krüger, Gunny Lee, Michael Meisinge...