Sciweavers

8627 search results - page 136 / 1726
» Software Engineering Using RATionale
Sort
View
SIGSOFT
2007
ACM
15 years 12 months ago
Efficient checkpointing of java software using context-sensitive capture and replay
Checkpointing and replaying is an attractive technique that has been used widely at the operating/runtime system level to provide fault tolerance. Applying such a technique at the...
Guoqing Xu, Atanas Rountev, Yan Tang, Feng Qin
ICSE
2008
IEEE-ACM
15 years 12 months ago
Precise memory leak detection for java software using container profiling
A memory leak in a Java program occurs when object references that are no longer needed are unnecessarily maintained. Such leaks are difficult to understand because static analyse...
Guoqing Xu, Atanas Rountev
ICWE
2004
Springer
15 years 4 months ago
Web Engineering - Old Wine in New Bottles?
Abstract. Modern Web applications are full-fledged, complex software systems. Therefore, the development of Web applications requires a methodologically sound engineering approach ...
Gerti Kappel, Elke Michlmayr, Birgit Pröll, S...
ICSE
2010
IEEE-ACM
15 years 3 months ago
Zenet: generating and enforcing real-time temporal invariants
Generating correct specifications for real-time event-driven software systems is difficult and time-consuming. Even when such specifications have been created, they are often us...
Chris Lewis
RIAO
2000
15 years 13 days ago
Assisting requirements engineering with semantic document analysis
Requirements engineering is the first stage in the software life-cycle and is concerned with discovering and managing a software system's services, constraints and goals. Req...
Paul Rayson, Roger Garside, Peter Sawyer