Sciweavers

3837 search results - page 73 / 768
» Concurrent Engineering support in Software Engineering
Sort
View
APSEC
2008
IEEE
15 years 9 months ago
Correctness of Request Executions in Online Updates of Concurrent Object Oriented Programs
Online update is a technique that reduces the disruption caused by a software update. It does so by applying a patch to a running process as opposed to shutting down the process a...
Yogesh Murarka, Umesh Bellur
COMPSAC
2002
IEEE
15 years 8 months ago
Tool Support for Distributed Inspection
Software inspection is one of the best practices for detecting and removing defects early in the software development process. We present a tool to support geographically distribu...
Filippo Lanubile, Teresa Mallardo
AOSD
2007
ACM
15 years 7 months ago
A direction for research on virtual machine support for concern composition
This position paper suggests research directions in the area of virtual machines supporting aspect-oriented capabilities in the context of object-oriented languages. Categories an...
Harold Ossher
EDOC
2007
IEEE
15 years 9 months ago
Survey of Traceability Approaches in Model-Driven Engineering
Models have been used in various engineering fields to help managing complexity and represent information in difbstraction levels, according to specific notations and stakeholde...
Ismênia Galvão, Arda Goknil
157
Voted
ICFP
2004
ACM
16 years 3 months ago
Verification of safety properties for concurrent assembly code
Concurrency, as a useful feature of many modern programming languages and systems, is generally hard to reason about. Although existing work has explored the verification of concu...
Dachuan Yu, Zhong Shao