Sciweavers

1308 search results - page 141 / 262
» Application of Hazard Analysis to Software Quality Modelling
Sort
View
ICWS
2009
IEEE
16 years 1 months ago
A Conceptual Modeling Approach to Business Service Mashup Development
Professional mashups that include complex choreographies, data mediation, and result publishing within Web pages are still affected by implementation and design practices that rel...
Alessandro Bozzon, Marco Brambilla, Federico Miche...
126
Voted
COMPSAC
1999
IEEE
15 years 8 months ago
Detecting Null Pointer Violations in Java Programs
The use of formal methods has been growing steadily and there have been a number of successful applications of formal methods in a range of application areas. It seems agreed that...
Xiaoping Jia, Sushant Sawant, Jiangyu Zhou, Sotiri...
159
Voted
SAC
2009
ACM
15 years 8 months ago
Towards "WYDIWYS" for MIMI using concept analysis
This paper presents a novel software engineering approach for developing a dynamic web interface that meets the quality criterion of “WYDIWYS” - What You Do Is What You See. T...
Jie Dai, Remo Mueller, Jacek Szymanski, Guo-Qiang ...
METRICS
2005
IEEE
15 years 9 months ago
Metrics of Software Architecture Changes Based on Structural Distance
Software architecture is an important form of abstraction, representing the overall system structure and the relationship among components. When software is modified from one ver...
Taiga Nakamura, Victor R. Basili
127
Voted
ACHI
2009
IEEE
15 years 10 months ago
Model-Driven Instrumentation of Graphical User Interfaces
In today’s continuously changing markets newly developed products often do not meet the demands and expectations of customers. Research on this problem identified a large gap b...
Mathias Funk, Philip Hoyer, Stefan Link