2500 search results - page 391 / 500 » Logical Semantics of Modularisation |
124
click to vote
PEPM
2010
ACM
15 years 11 months ago
2010
ACM
Adapting a strictness analyser to have it take into account explicit strictness annotations can be a tricky business. Straightforward extensions of analyses based on relevance typ...
112
click to vote
SAC
2010
ACM
15 years 9 months ago
2010
ACM
Program bugs remain a major challenge for software developers and various tools have been proposed to help with their localization and elimination. Most present-day tools are base...
137
click to vote
EUROMICRO
2009
IEEE
15 years 9 months ago
2009
IEEE
—Current architectures for systems integration provide means for forming agile business processes by manually or dynamically configuring the components. However, a major challeng...
122
click to vote
SEFM
2009
IEEE
15 years 9 months ago
2009
IEEE
—Increasingly, tools and their underlying theories are able to cope with “real code” written as part of industrial grade applications almost as is. It has been our experience...
124
click to vote
ICSM
2009
IEEE
15 years 9 months ago
2009
IEEE
Within a large, object-oriented software system it is common to partition the classes into a set of packages, which implicitly serve as a set of coarsely-grained logical design un...