The FermaT transformation system, based on research carried out over the last twelve years at Durham University and Software Migrations Ltd., is an industrial-strength formal tran...
Our research is driven by the motivation that change must be put in the center, if one wants to understand the complex processes of software evolution. We built a toolset named Sp...
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...
Tool integration has been an important research area for many years after software engineering became a key player in information industry. With the Internet establishing ubiquitou...
Consistency management is an important requirement in many complex applications, but current programming languages and database systems provide inadequate support for it. To addre...