144 search results - page 5 / 29 » Modular generics |
TAP
2009
Springer
14 years 4 months ago
2009
Springer
Safety and security are claimed major concerns by the formal FoCaL development environment. In [7] we introduced a safety development cycle customised to FoCaL. In this paper, we e...
ICLP
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We provide a general and modular framework for describing inferences in Answer Set Programming (ASP) that aims at an easy incorporation of additional language constructs....
PVLDB
2010
13 years 8 months ago
2010
This demonstration presents Cloudy, a modular cloud storage system. Cloudy provides a highly flexible architecture for distributed data storage and is designed to operate with mu...
ICSE
2004
IEEE-ACM
14 years 10 months ago
2004
IEEE-ACM
Building a configuration management (CM) system is a difficult endeavor that regularly requires tens of thousands of lines of code to be written. To reduce this effort, several ex...
LOBJET
2006
13 years 9 months ago
2006
ABSTRACT. Aspect-orientation promises better modularity than pure object-oriented decomposition. A typical benefit of increased modularity is ease of maintenance, evolution and reu...