5766 search results - page 422 / 1154 » Reverse Engineering of Data |
140
click to vote
COMPSAC
2005
IEEE
16 years 14 days ago
2005
IEEE
We present a dialog-driven process model for the development of web-based applications that uses a graphical notation to model and iteratively refine the application’s dialog ...
149
click to vote
XPU
2005
Springer
16 years 10 days ago
2005
Springer
Executable acceptance testing allows both to specify customers’ expectations in the form of the tests and to compare those to actual results that the software produces. The resul...
158
Voted
AMAST
2004
Springer
16 years 8 days ago
2004
Springer
We present a logic for reasoning about LOTOS behaviours which allows properties involving repeated patterns over actions and data to be expressed. The semantics of the logic is giv...
188
Voted
ICSE
2010
IEEE-ACM
15 years 11 months ago
2010
IEEE-ACM
Search is a fundamental activity in software development. However, to search source code efficiently, it is not sufficient to implement a traditional full text search over a base ...
178
Voted
TACS
2001
Springer
15 years 11 months ago
2001
Springer
Parigot suggested symmetric structural reduction rules for ion to µ-abstraction in [9] to ensure unique representation of data type. We prove strong normalization of second order ...