Using multidimensional separation of concerns to (RE) shape evolving software
- Harold Ossher
- Peri Tarr
- 2001
- Communications of the ACM
Paper
Publications
26931 results for Science
A combination fingerprint classifier
- A.W. Senior
- 2001
- IEEE Transactions on Pattern Analysis and Machine Intelligence
PaperRecent developments in micro and nanoscale thermometry
- Li Shi
- Arun Majumdar
- 2001
- Microscale Thermophysical Engineering
ReviewCoupled granular/continuous medium for thermally stable perpendicular magnetic recording
- Y. Sonobe
- D. Weller
- et al.
- 2001
- Journal of Magnetism and Magnetic Materials
Conference paperMicrostructure study of CoCrPt/Ti/NiAl perpendicular media
- Y. Ikeda
- Y. Sonobe
- et al.
- 2001
- Journal of Magnetism and Magnetic Materials
Conference paperPinning of written bits in perpendicular recording media
- S.J. Greaves
- H. Muraoka
- et al.
- 2001
- Journal of Magnetism and Magnetic Materials
Conference paperPerpendicular recording: The promise and the problems
- Roger Wood
- Yoshiaki Sonobe
- et al.
- 2001
- Journal of Magnetism and Magnetic Materials
Conference paperModel checking the garbage collection mechanism of SMV
- Cindy Eisner
- 2001
- Electronic Notes in Theoretical Computer Science
Workshop paperToward a Test-Ready Meta-model for Use Cases
- Clay E. Williams
- 2001
- UML 2001
Workshop paperDesigning Procedural 4GL Applications through UML Modeling
- Shiri Davidson
- Mila Keren
- et al.
- 2001
- UML 2001
Workshop