3792 search results - page 194 / 759 » Techniques for Trusted Software Engineering |
133
Voted
AMAST
2010
Springer
14 years 11 months ago
2010
Springer
Fusion is an indispensable tool in the arsenal of techniques for program derivation. Less well-known, but equally valuable is type fusion, which states conditions for fusing an app...
103
click to vote
TASE
2010
IEEE
14 years 11 months ago
2010
IEEE
The feedforward compensation of nonlinearities, i.e., hysteresis and creep, and unwanted vibrations in micromanipulators is presented in this paper. The aim is to improve the gener...
135
Voted
METRICS
2005
IEEE
15 years 9 months ago
2005
IEEE
Studying the evolution of long lived processes such as the development history of a software system or the publication history of a research community, requires the analysis of a ...
133
click to vote
IJWIS
2006
15 years 4 months ago
2006
The World Wide Web has undergone a rapid transition from the originally static hypertext to an ubiquitous hypermedia system. Today, the Web is not only used as a basis for distribu...
124
click to vote
SIGSOFT
2005
ACM
16 years 4 months ago
2005
ACM
Software systems are complex and difficult to analyze. Reengineering is a complex activity that usually involves combining different techniques and tools. Moose is an reengineerin...