Sciweavers

74 search results - page 9 / 15
» Exceptional situations and program reliability
Sort
View
POPL
2009
ACM
14 years 10 months ago
Masked types for sound object initialization
This paper presents a type-based solution to the long-standing problem of object initialization. Constructors, the conventional mechanism for object initialization, have semantics...
Xin Qi, Andrew C. Myers
AGILEDC
2003
IEEE
14 years 3 months ago
YP and Urban Simulation: Applying an Agile Programming Methodology in a Politically Tempestuous Domain
YP is an agile programming methodology that has evolved over the past 15 years. Many of its features are common to other agile methodologies; its novel features include using a hi...
Bjørn N. Freeman-Benson, Alan Borning
ICCCN
2007
IEEE
14 years 4 months ago
Transport Protocols for Remote Programming of Network Robots within the context of Telelaboratories for Education: A Comparative
– Within the context of Tele-Laboratories for Education the use of the Internet as communication media permits any researcher/student to perform remote experiments in a simple an...
Raul Wirz, Raúl Marín, José M...
COMPSAC
2003
IEEE
14 years 3 months ago
A Strategy for Selecting Synchronization Sequences to Test Concurrent Object-Oriented Software
Testing is the most commonly used approach to the assurance of software quality and reliability. The testing of object-oriented software is much more complex than that of conventi...
Huo Yan Chen, Yu Xia Sun, T. H. Tse
ICSM
2007
IEEE
14 years 4 months ago
Analysis and Transformation of Idiomatic Crosscutting Concerns in Legacy Software Systems
Legacy software systems often suffer from code quality problems. Maintenance of legacy systems can therefore be costly, and the value of legacy systems may diminish due to a lack ...
Magiel Bruntink