259 search results - page 26 / 52 » Requirements Specification as Executable Software Design - A... |
163
Voted
FASE
2006
Springer
15 years 6 months ago
2006
Springer
This paper describes the application of the Real-Time Maude tool to the formal specification and analysis of the CASH scheduling algorithm and its suggested modifications. The CASH...
121
Voted
CLEIEJ
2007
15 years 2 months ago
2007
The term “Self-healing” denotes the capability of a software system in dealing with bugs. Fault tolerance for dependable computing is to provide the specified service through ...
130
Voted
HICSS
2007
IEEE
15 years 9 months ago
2007
IEEE
Systems using Software Agents (or Multi-Agent Systems, MAS) are becoming more popular within the development mainstream because, as the name suggests, an Agent aims to handle task...
165
Voted
DOCENG
2011
ACM
14 years 2 months ago
2011
ACM
Many Web-based geographic applications have been developed in various domains, such as tourism, education, surveillance and military. However, developing such applications is a cu...
131
Voted
AOSE
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Nowadays, information systems have to perform in complex, heterogeneous environments, considering a variety of system users with different needs and preferences. Software...