Sciweavers

15824 search results - page 262 / 3165
» Specialising in Software Engineering
Sort
View
SOFTWARE
2002
15 years 5 months ago
Software Engineering is Not Enough
Much of the software engineering literature begins with an admonition that what practitioners are doing isn't enough--that the state-of-the-practice is creating bad software. ...
James A. Whittaker, Steven Atkin
ICSE
2012
IEEE-ACM
13 years 8 months ago
Detecting similar software applications
—Although popular text search engines allow users to retrieve similar web pages, source code search engines do not have this feature. Detecting similar applications is a notoriou...
Collin McMillan, Mark Grechanik, Denys Poshyvanyk
IUI
2012
ACM
14 years 1 months ago
Automatic reverse engineering of interactive dynamic web applications to support adaptation across platforms
The effort and time required to develop user interface models has been one of the main limitations to the adoption of model-based approaches, which enable intelligent processing o...
Federico Bellucci, Giuseppe Ghiani, Fabio Patern&o...
ICDE
2012
IEEE
232views Database» more  ICDE 2012»
13 years 8 months ago
Horton: Online Query Execution Engine for Large Distributed Graphs
—Large graphs are used in many applications, such as social networking. The management of these graphs poses new challenges because such graphs are too large to fit on a single ...
Mohamed Sarwat, Sameh Elnikety, Yuxiong He, Gabrie...
VMCAI
2012
Springer
14 years 1 months ago
Teaching Semantics with a Proof Assistant: No More LSD Trip Proofs
We describe a course on the semantics of a simple imperative programming language and on applications to compilers, type systems, static analyses and Hoare logic. The course is ent...
Tobias Nipkow