Sciweavers

6187 search results - page 213 / 1238
» Practical Software Measurement
Sort
View
EURODAC
1995
IEEE
148views VHDL» more  EURODAC 1995»
15 years 7 months ago
Software system for semiconductor devices, monolith and hybrid ICs thermal analysis
A three level software system for thermal analysis of semiconductor devices, one-chip monolith IC's, multi-chip modules (MCM) and hybrid IC's is presented. For each desig...
Konstantin O. Petrosjanc, I. A. Kharitonov, N. I. ...
144
Voted
DEXAW
2008
IEEE
124views Database» more  DEXAW 2008»
15 years 5 months ago
Weighting Influence of User Behavior in Software Validation
Validation is an essential part of software development, and testing is a practical and widely used approach. The emerging methodology is model-based testing, in which test cases ...
Antonia Bertolino, Emanuela G. Cartaxo, Patr&iacut...
CORR
2007
Springer
88views Education» more  CORR 2007»
15 years 4 months ago
A software for learning Information Theory basics with emphasis on Entropy of Spanish
In this paper, an educational software aimed to help learning Information Theory basics in a practical way is reported. The software, called IT-tutor-UV, can produce entropy analy...
Fabio G. Guerrero, Lucio A. Perez
TCAD
2008
181views more  TCAD 2008»
15 years 4 months ago
A Survey of Automated Techniques for Formal Software Verification
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
Vijay D'Silva, Daniel Kroening, Georg Weissenbache...
ICSE
2005
IEEE-ACM
15 years 9 months ago
How to teach software modeling
To enhance motivation of students to study software engineering, some way of finding balance between the scientific aspect and the practical aspect of software engineering is re...
Tetsuo Tamai