Sciweavers

1809 search results - page 44 / 362
» On the Purpose of Object-Oriented Analysis
Sort
View
PLDI
2012
ACM
13 years 5 days ago
Fully automatic and precise detection of thread safety violations
Concurrent, object-oriented programs often use thread-safe library classes. Existing techniques for testing a thread-safe class either rely on tests using the class, on formal spe...
Michael Pradel, Thomas R. Gross
MFPS
1989
15 years 1 months ago
Operations on Records
We define a simple collection of operations for creating and manipulating record structures, where records are intended as finite associations of values to labels. A second-order ...
Luca Cardelli, John C. Mitchell
AOSE
2007
Springer
15 years 3 months ago
A Goal-Oriented Software Testing Methodology
Abstract. Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The natural implementation for...
Duy Cu Nguyen, Anna Perini, Paolo Tonella
METRICS
2003
IEEE
15 years 3 months ago
A Metrics Suite for Measuring Reusability of Software Components
In component-based software development, it is necessary to measure the reusability of components in order to realize the reuse of components effectively. There are some product m...
Hironori Washizaki, Hirokazu Yamamoto, Yoshiaki Fu...
ECIS
2004
14 years 11 months ago
IS Process Innovation Unlearning in Organisations
This paper identifies mechanisms that affected over 200 Information System Process Innovation (ISPI) unlearning decisions in three organisational environments over a period that s...
Erja Mustonen-Ollila