194 search results - page 19 / 39 » Separation of concerns for dependable software design |
OTM
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. In this paper we present a novel approach to design and implement applications that provide location-aware services. We show how a clear separation of design concerns (e....
SAC
2005
ACM
14 years 1 months ago
2005
ACM
The server side of business software systems is commonly implemented today by an ensemble of Java classes distributed over several hosts. In this scenario, it is often necessary, ...
LCTRTS
2001
Springer
13 years 12 months ago
2001
Springer
Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks. Gio...
IEEEARES
2007
IEEE
14 years 1 months ago
2007
IEEE
Adding security functions in existing Web application servers is now vital for the IS of companies and organizations. Writing crosscutting functions in complex software should tak...
IJCAI
1993
13 years 8 months ago
1993
The paper is concerned with the design of a module system for logic programming so as to satisfy many of the requirements of software en gineering. The design is based on the la...