Sciweavers

615 search results - page 83 / 123
» Research in software engineering: an analysis of the literat...
Sort
View
EUROSYS
2006
ACM
14 years 5 months ago
A quantitative analysis of aspects in the eCos kernel
Nearly ten years after its first presentation and five years after its first application to operating systems, the suitability of AspectOriented Programming (AOP) for the devel...
Daniel Lohmann, Fabian Scheler, Reinhard Tartler, ...
SEKE
2004
Springer
14 years 2 months ago
Entering the Heart of Design: Relationships for Tracing Claim Evolution
Designers need guidance in tracing knowledge to support the iterative development of interactive software interfaces. Claims show promise in capturing design knowledge with concis...
Shahtab Wahid, C. F. Allgood, Christa M. Chewar, D...
ECOOP
1998
Springer
14 years 27 days ago
The Complexity of Type Analysis of Object Oriented Programs
One of the price tags attached to the blessings that OO brings about is a drop in efficiency due to dynamic method dispatch. Much research effort is being spent on the problem of e...
Joseph Gil, Alon Itai
ISORC
2005
IEEE
14 years 2 months ago
Proof Slicing with Application to Model Checking Web Services
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
Hai Huang, Wei-Tek Tsai, Raymond A. Paul
VL
2009
IEEE
118views Visual Languages» more  VL 2009»
14 years 3 months ago
What designers want: Needs of interactive application designers
Designers’ extensive software needs have not been adequately documented in the research literature, and are poorly supported by software. Without appropriate tools to support th...
Valentina Grigoreanu, Roland Fernandez, Kori Inkpe...