4350 search results - page 99 / 870 » Case studies for contract-based systems |
163
Voted
SBBD
2008
15 years 5 months ago
2008
Abstract Data mining algorithms have been recently applied to software repositories to help on the maintenance of evolving software systems. In the past, information about what cla...
144
Voted
SDL
2007
15 years 5 months ago
2007
Describing an application as a simple composition of services allows advanced features that exploit different platforms to be conceived e formalized at a high abstraction level. S...
106
Voted
WEBNET
2001
15 years 5 months ago
2001
: The middle ground between distance learning and standard-issue classroom education is ripe for exploration. In particular, the Open Directory Project shows that groups of people ...
125
Voted
WICSA
2004
15 years 5 months ago
2004
COMMUNITY is a formal approach to software architecture. Its main characteristics are: a precise, yet intuitive mathematical semantics based on categorical diagrams; a clear separ...
121
Voted
JUCS
2008
15 years 3 months ago
2008
: A goal of software product lines is the economical assembly of programs in a family of programs. In this paper, we explore how theorems about program properties may be integrated...