Sciweavers

1739 search results - page 251 / 348
» Writing Good Software Engineering Research Paper
Sort
View
FTRTFT
1998
Springer
14 years 1 months ago
On the Need for Practical Formal Methods
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
Constance L. Heitmeyer
ACMDIS
2006
ACM
14 years 2 months ago
Collaborative architecture design and evaluation
In this paper we describe a collaborative environment created to support distributed evaluation of a complex system architecture. The approach couples an interactive architecture ...
Steven R. Haynes, Amie L. Skattebo, Jonathan A. Si...
ICMCS
2007
IEEE
128views Multimedia» more  ICMCS 2007»
14 years 3 months ago
Interactive Search of Adipocytes in Large Collections of Digital Cellular Images
In the field of lipid research, the measurement of adipocyte size is an important but difficult problem. We describe an imaging-based solution that combines precise investigator...
Adam Goode, Mei Chen, Anil Tarachandani, Lily B. M...
ESEC
1997
Springer
14 years 13 days ago
Cryptographic Verification of Test Coverage Claims
The market for software components is growing, driven on the "demand side" by the need for rapid deployment of highly functional products, and on the "supply side&q...
Premkumar T. Devanbu, Stuart G. Stubblebine
ICFCA
2004
Springer
14 years 2 months ago
Automated Lattice Drawing
Lattice diagrams, known as Hasse diagrams, have played an ever increasing role in lattice theory and fields that use lattices as a tool. Initially regarded with suspicion, they no...
Ralph Freese