3792 search results - page 415 / 759 » Techniques for Trusted Software Engineering |
201
click to vote
AOSD
2007
ACM
15 years 10 months ago
2007
ACM
Inspired by our past manual aspect mining experiences, this paper describes a random walk model to approximate how crosscutting concerns can be discovered in the absence of domain...
134
Voted
EWSPT
1995
Springer
15 years 10 months ago
1995
Springer
A wide variety of techniques and approaches are needed to understand and improve software development processes. The critical research problem is supporting the move from completel...
200
click to vote
AVI
2004
15 years 8 months ago
2004
In a navigation-oriented interaction paradigm, such as desktop, mixed and augmented virtual reality, recognizing the user needs is a valuable improvement, provided that the system...
201
click to vote
CASCON
2006
15 years 8 months ago
2006
Model Driven Development is helping software developers rapidly engineer today's most sophisticated business applications. Tool support, such as the Eclipse Modeling Framewor...
206
click to vote
APSEC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...