Sciweavers

7202 search results - page 47 / 1441
» Software System Engineering: A Tutorial
Sort
View
TAP
2008
Springer
144views Hardware» more  TAP 2008»
13 years 9 months ago
Integrating Verification and Testing of Object-Oriented Software
Formal methods can only gain widespread use in industrial software development if they are integrated into software development techniques, tools, and languages used in practice. A...
Christian Engel, Christoph Gladisch, Vladimir Kleb...
IUI
2004
ACM
14 years 3 months ago
Exploring the design and engineering of mixed reality systems
Emmanuel Dubois, Philip D. Gray, Daniela Trevisan,...
WCRE
1993
IEEE
14 years 2 months ago
A Framework for Reverse Engineering DoD Legacy Information Systems
Peter H. Aiken, Alice H. Muntz, Russ Richards
RE
2006
Springer
13 years 9 months ago
Fusing Quantitative Requirements Analysis with Model-based Systems Engineering
Steven L. Cornford, Martin S. Feather, Vance A. He...
ICCAD
2003
IEEE
109views Hardware» more  ICCAD 2003»
14 years 6 months ago
Large-Scale Circuit Placement: Gap and Promise
Placement is one of the most important steps in the RTLto-GDSII synthesis process, as it directly defines the interconnects, which have become the bottleneck in circuit and syste...
Jason Cong, Tim Kong, Joseph R. Shinnerl, Min Xie,...