Sciweavers

335 search results - page 48 / 67
» Arguing safety with Problem Oriented Software Engineering
Sort
View
ICSE
2007
IEEE-ACM
15 years 9 months ago
WebSob: A Tool for Robustness Testing of Web Services
Web services are a popular way of implementing a Service-Oriented Architecture. Testing can be used to help assure both the correctness and robustness of a web service. Because ma...
Evan Martin, Suranjana Basu, Tao Xie
WCRE
2002
IEEE
15 years 2 months ago
A Methodology for Developing Transformations Using the Maintainability Soft-Goal Graph
Over the past few years, we are experiencing a surge of evolution problems related to legacy object-oriented systems. Object orientation provides means for systems to be well-desi...
Ladan Tahvildari, Kostas Kontogiannis
76
Voted
UIST
1993
ACM
15 years 1 months ago
A Toolset for Navigation in Virtual Environments
Maintaining knowledge of current position and orientation is frequently a problem for people in virtual environments. In this paper we present a toolset of techniques based on pri...
Rudolph P. Darken, John L. Sibert
WCRE
1997
IEEE
15 years 1 months ago
Program Plan Recognition for Year 2000 Tools
There are many commercial tools that address various aspects of the Year 2000 problem. None of these tools, however, addresses the closely-related leap-year problem. In this paper...
Arie van Deursen, Steven Woods, Alex Quilici
APSEC
2008
IEEE
15 years 4 months ago
A Heap Model for Java Bytecode to Support Separation Logic
Memory usage analysis is an important problem for resource-constrained mobile devices, especially under mission- or safety-critical circumstances. Program codes running on or bein...
Chenguang Luo, Guanhua He, Shengchao Qin