Sciweavers

3527 search results - page 291 / 706
» Test Automation in Practice
Sort
View
ICST
2008
IEEE
16 years 16 days ago
A Metamodel for the Measurement of Object-Oriented Systems: An Analysis using Alloy
This paper presents a MOF-compliant metamodel for calculating software metrics and demonstrates how it is used to generate a metrics tool that calculates coupling and cohesion met...
Jacqueline A. McQuillan, James F. Power
LICS
2008
IEEE
16 years 16 days ago
An Algebraic Process Calculus
We present an extension of the πI-calculus with formal sums of terms. The study of the properties of this sum reveals that its neutral element can be used to make assumptions abo...
Emmanuel Beffara
139
Voted
DATE
2007
IEEE
55views Hardware» more  DATE 2007»
16 years 14 days ago
Sensitivity analysis for fault-analysis and tolerance in RF front-end circuitry
RFIC reliability is fast becoming a major bottleneck in the yield and performance of modern IC systems, as process complexity and levels of integration continually increase. Due t...
Tejasvi Das, P. R. Mukund
ETFA
2006
IEEE
16 years 5 days ago
Performance of an Application Layer Protocol for Wireless Industrial Communications
Current wireless technologies offer a viable solution for implementing communication systems capable of satisfying the severe timing requirements often required for operations at ...
Iacopo Carreras, Daniele Miorandi, Stefano Vitturi
WCRE
2006
IEEE
16 years 4 days ago
Monitoring Requirements Coverage using Reconstructed Views: An Industrial Case Study
Requirements views, such as coverage and status views, are an important asset for monitoring and managing software development. We have developed a method that automates the proce...
Marco Lormans, Hans-Gerhard Groß, Arie van D...