Sciweavers

15860 search results - page 273 / 3172
» On agent-based software engineering
Sort
View
ICSE
2000
IEEE-ACM
15 years 8 months ago
Software engineering: a roadmap
This paper provides a roadmap for software engineering. It identifies the principal research challenges being faced by the discipline and brings together the threads derived from ...
Anthony Finkelstein, Jeff Kramer
IUI
2012
ACM
14 years 3 days 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...
154
Voted
ICDE
2012
IEEE
232views Database» more  ICDE 2012»
13 years 7 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 2 days 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
STEP
2003
IEEE
15 years 9 months ago
Bloom's Taxonomy Levels for Three Software Engineer Profiles
This paper is the product of a workshop held in Amsterdam during the Software Technology and Practice Conference (STEP 2003). The purpose of the paper is to propose Bloom’s taxo...
Pierre Bourque, Luigi Buglione, Alain Abran, Alain...