3799 search results - page 485 / 760 » An Engineering Approach to Formal Methods |
133
click to vote
IHM
2009
ACM
16 years 1 months ago
2009
ACM
This paper introduces a “design mixer” approach to usercentred interactive software design. This method overcomes the limits of a design process that favours the handling/mana...
157
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Adaptive websites usually change as effect of user navigational actions. Most current web engineering approaches (which consider personalization) allow to detect basic user browsin...
233
click to vote
PLDI
2003
ACM
15 years 12 months ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...
170
click to vote
AIEDAM
2007
2007
Biomimetic design through natural language analysis to facilitate cross-domain information retrieval
15 years 6 months ago
Biomimetic, or biologically inspired, design uses analogous biological phenomena to develop solutions for engineering problems. Several instances of biomimetic design result from ...
188
click to vote
SIGSOFT
2009
ACM
16 years 1 months ago
2009
ACM
Web-services are broadly considered as an effective means to achieve interoperability between heterogeneous parties of a business process and offer an open platform for developing...