Sciweavers

332 search results - page 28 / 67
» Instrumentality Tests Revisited
Sort
View
CORR
2008
Springer
72views Education» more  CORR 2008»
13 years 7 months ago
Design Optimization for an Electro-Thermally Actuated Polymeric Microgripper
Thermal micro-actuators are a promising solution to the need for large-displacement, gentle handling force, low-power MEMS actuators. Potential applications of these devices are mi...
R. Voicu, R. Muller, L. Eftime
SAC
2005
ACM
14 years 1 months ago
Towards the prioritization of regression test suites with data flow information
Regression test prioritization techniques re-order the execution of a test suite in an attempt to ensure that defects are revealed earlier in the test execution phase. In prior wo...
Matthew J. Rummel, Gregory M. Kapfhammer, Andrew T...
WETICE
2005
IEEE
14 years 1 months ago
Application of Lightweight Formal Methods to Software Security
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
David P. Gilliam, John D. Powell, Matt Bishop
UML
2005
Springer
14 years 1 months ago
Lessons Learned from Developing a Dynamic OCL Constraint Enforcement Tool for Java
Analysis and design by contract allows the definition of a formal agreement between a class and its clients, expressing each party’s rights and obligations. Contracts written in ...
Wojciech J. Dzidek, Lionel C. Briand, Yvan Labiche
ECIS
2004
13 years 9 months ago
Measurement of user-perceived web quality
Web sites are now considered an extension of the entire business, not just an additional channel or storefront or a simple information portal for the company. Creating an effectiv...
Ravi T. Seethamraju