Sciweavers

ICSE
2007
IEEE-ACM
14 years 7 months ago
Ajaxifying Classic Web Applications
Recently, a new web development technique for creating interactive web applications, dubbed AJAX, has emerged in response to the limited degree of interactivity in large-grain sta...
Ali Mesbah
ICSE
2007
IEEE-ACM
14 years 7 months ago
SCL: Static Enforcement and Exploration of Developer Intent in Source Code
Developers are often unaware of, or fail to respect, the intentions behind a design due to poor communication of design intent. SCL (Structural Constraint Language) helps develope...
Daqing Hou
ICSE
2007
IEEE-ACM
14 years 7 months ago
Formal Software Analysis Emerging Trends in Software Model Checking
The study of methodologies and techniques to produce correct software has been active for four decades. During this period, researchers have developed and investigated a wide vari...
Matthew B. Dwyer, John Hatcliff, Robby, Corina S. ...
ICSE
2007
IEEE-ACM
14 years 7 months ago
Self-Managed Systems: an Architectural Challenge
Jeff Kramer, Jeff Magee
ICSE
2007
IEEE-ACM
14 years 7 months ago
The Challenges of Building Advanced Mechatronic Systems
Wilhelm Schäfer, Heike Wehrheim
ICSE
2007
IEEE-ACM
14 years 7 months ago
A Future for Software Engineering?
This paper suggests the need for a software engineering research community conversation about the future that the community would like to have. The paper observes that the researc...
Leon J. Osterweil